X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fdebugging.sgml;h=340d7d82512d3d4361689ea1bf88aaa133d5167e;hb=2dfd507259664e6f28df4a9467a8de34d01d70a0;hp=308a5f5d4f007427cbf7f8590d82eda86510c6cd;hpb=dc801dc275fb8f81d482535b4d6317e234bb10f8;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/debugging.sgml b/ghc/docs/users_guide/debugging.sgml
index 308a5f5..340d7d8 100644
--- a/ghc/docs/users_guide/debugging.sgml
+++ b/ghc/docs/users_guide/debugging.sgml
@@ -5,7 +5,7 @@
HACKER TERRITORY. HACKER TERRITORY. (You were warned.)
-
+ Dumping out compiler intermediate structuresdumping GHC intermediates
@@ -246,9 +246,9 @@
STG-to-STG passes, respectively. (Lots
of output!) So: when we're really desperate:
-
+
% ghc -noC -O -ddump-simpl -dverbose-simpl -dcore-lint Foo.hs
-
+
@@ -384,9 +384,9 @@
Let's do this by commenting an example. It's from doing
on this code:
-
+
skip2 m = m : skip2 (m+2)
-
+
Before we jump in, a word about names of things. Within GHC,
variables, type constructors, etc., are identified by their
@@ -403,7 +403,7 @@ skip2 m = m : skip2 (m+2)
usually printed out when debugging, in some form or another. So
here we go…
-
+
Desugared:
Main.skip2{-r1L6-} :: _forall_ a$_4 =>{{Num a$_4}} -> a$_4 -> [a$_4]
@@ -473,7 +473,7 @@ Main.skip2{-r1L6-} =
{- end CoRec -}
} in skip2.t3Ja
-
+(“It's just a simple functional language” is an
unregisterised trademark of Peyton Jones Enterprises, plc.)
@@ -512,7 +512,7 @@ Main.skip2{-r1L6-} =
-
+