X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds033.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds033.stderr;h=9fe0d0c3ab36a2671218017dd96b2708dc411fb3;hb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;hp=0000000000000000000000000000000000000000;hpb=e48474bff05e6cfb506660420f025f694c870d38;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/deSugar/ds033.stderr b/ghc/compiler/tests/deSugar/ds033.stderr
new file mode 100644
index 0000000..9fe0d0c
--- /dev/null
+++ b/ghc/compiler/tests/deSugar/ds033.stderr
@@ -0,0 +1,22 @@
+Desugared:
+Test.g1 :: for all d. d -> d
+Test.g1 = /\ o91 -> \ y.119 -> y.119
+Test.f1 :: for all d. d -> d
+Test.f1 = /\ t95 -> \ x.120 -> (Test.g1 t95) x.120
+Test.g2 :: for all d. d -> d
+Test.g2 = /\ o98 -> \ y.121 -> y.121
+Test.f2 :: for all d. d -> d
+Test.f2 = /\ t102 -> \ x.122 -> (Test.g2 t102) x.122
+{- plain CoRec -}
+Test.f3 :: for all d, e. d -> e
+Test.f3 = /\ o109 o110 -> \ x.123 -> ((Test.g3 o109) o110) x.123
+Test.g3 :: for all d, e. d -> e
+Test.g3 = /\ o109 o110 -> \ y.124 -> ((Test.f3 o109) o110) y.124
+{- end plain CoRec -}
+{- plain CoRec -}
+Test.g4 :: for all d, e. d -> e
+Test.g4 = /\ o117 o118 -> \ y.125 -> ((Test.f4 o117) o118) y.125
+Test.f4 :: for all d, e. d -> e
+Test.f4 = /\ o117 o118 -> \ x.126 -> ((Test.g4 o117) o118) x.126
+{- end plain CoRec -}
+