X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fdebugging.xml;h=ff8d4f8141303fdcdb237ecd8de7c9e2fba1e227;hb=dcf58a64367700d80dc7609b1b55ff6a8e8b97ee;hp=c5758cc5e605ceee681d1d5133046076193ac358;hpb=b9de29ac3fbf5192049a0bcaf1ab0c8bbbd57a83;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/debugging.xml b/ghc/docs/users_guide/debugging.xml index c5758cc..ff8d4f8 100644 --- a/ghc/docs/users_guide/debugging.xml +++ b/ghc/docs/users_guide/debugging.xml @@ -14,8 +14,10 @@ - pass - options + + pass + options + Make a debugging dump after pass <pass> (may be common enough to need @@ -27,28 +29,40 @@ - : + + : + + parser output - : + + : + + renamer output - : + + : + + typechecker output - : + + : + + Dump a type signature for each value defined at the top level of the module. The list is sorted @@ -60,28 +74,40 @@ - : + + : + + derived instances - : + + : + + desugarer output - : + + : + + output of specialisation pass - : + + : + + dumps all rewrite rules (including those generated by the specialisation pass) @@ -89,159 +115,187 @@ - : + + : + + simplifer output (Core-to-Core passes) - : + + : + + inlining info from the simplifier - : + + : + + UsageSP inference pre-inf and output - : + + : + + CPR analyser output - : + + : + + strictness analyser output - : + + : + + CSE pass output - : + + : + + worker/wrapper split output - : + + : + + `occurrence analysis' output - : + + : + + output of “saturate” pass - : + + : + + output of STG-to-STG passes - : + + : + + unflattened Abstract C - : + + : + + flattened Abstract C - : + + : + + same as what goes to the C compiler - : + + : + + native-code generator intermediate form - : + + : + + assembly language from the native-code generator - : + + : + + byte code compiler output - : + + : + + dump foreign export stubs - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + Show the output of the intermediate Core-to-Core and STG-to-STG passes, respectively. (Lots @@ -255,8 +309,10 @@ - : - + + : + + Show the output of each iteration of the simplifier (each run of the simplifier has a maximum @@ -266,8 +322,10 @@ - - + + + + Debugging output is in one of several “styles.” Take the printing of types, for @@ -284,8 +342,10 @@ - - + + + + In error messages, expressions are printed to a certain “depth”, with subexpressions beyond the @@ -295,8 +355,10 @@ - - + + + + Dump statistics about how many of each kind of transformation too place. If you add @@ -306,8 +368,10 @@ - - + + + + Make the renamer be *real* chatty about what it is upto. @@ -315,8 +379,10 @@ - - + + + + Print out summary of what kind of information the renamer had to bring in. @@ -324,8 +390,10 @@ - - + + + + Have the renamer report what imports does not contribute. @@ -343,8 +411,10 @@ - - + + + + Turn on heavyweight intra-pass sanity-checking within GHC, at Core level. (It checks GHC's sanity, not yours.) @@ -352,16 +422,20 @@ - : - + + : + + Ditto for STG level. (NOTE: currently doesn't work). - : - + + : + + Turn on checks around UsageSP inference (). This verifies various simple @@ -500,8 +574,10 @@ Main.skip2{-r1L6-} = - : - + + : + + Compile via vanilla ANSI C only, turning off platform-specific optimisations. NOTE: in order to use