@@ -366,6 +366,14 @@ is shown below :
366 main = do
366 main = do
367 putStrLn $ show $ factorial 3
367 putStrLn $ show $ factorial 3
369+To compile the generated C with debugging information e.g. to use
370+``gdb`` to debug segmentation faults in Idris programs, use the
371+``%flag C`` pragma to include debugging symbols, as is shown below :
373+.. code-block:: idris
369JavaScript Target
377JavaScript Target
370=================
378=================