[project @ 2000-05-25 12:41:14 by simonpj]

[ghc-hetmet.git] / ghc / docs / users_guide / debugging.sgml

diff --git a/ghc/docs/users_guide/debugging.sgml b/ghc/docs/users_guide/debugging.sgml
index 943315e..f711a38 100644 (file)
--- a/ghc/docs/users_guide/debugging.sgml
+++ b/ghc/docs/users_guide/debugging.sgml
@@ -204,6 +204,7 @@ renamer output
 </Para>
 </ListItem>
 </VarListEntry>
+
 <VarListEntry>
 <Term><Option>-ddump-tc</Option>:</Term>
 <ListItem>
@@ -212,6 +213,20 @@ typechecker output
 </Para>
 </ListItem>
 </VarListEntry>
+
+<VarListEntry>
+<Term><Option>-ddump-types</Option>:</Term>
+<ListItem>
+<Para>
+Dump a type signature for each value defined at the top level
+of the module.  The list is sorted alphabetically.  
+Using <Option>-dppr-debug</Option> dumps a type signature for
+all the imported and system-defined things as well; useful
+for debugging the compiler.
+</Para>
+</ListItem>
+</VarListEntry>
+
 <VarListEntry>
 <Term><Option>-ddump-deriv</Option>:</Term>
 <ListItem>