[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / printing / should_compile / Print001.stderr

diff --git a/ghc/tests/printing/should_compile/Print001.stderr b/ghc/tests/printing/should_compile/Print001.stderr
deleted file mode 100644 (file)
index aa59010..0000000
--- a/ghc/tests/printing/should_compile/Print001.stderr
+++ /dev/null
@@ -1,53 +0,0 @@
-
-==================== Typechecked ====================
-Print001.BarNil{-rb,x-} =
-    \ a{-rsr-} -> Print001.BarNil{-rb,x-} {__a a{-rsr-}}
-Print001.BarCon{-rd,x-} =
-    \ a{-rsr-} tpl_B1 tpl_B2 ->
-       Print001.BarCon{-rd,x-} {__a a{-rsr-} tpl_B1 tpl_B2}
-Print001.MkFoo{-rh,x-} =
-    \ d{-rsv-} e{-rsw-} f{-rsx-} tpl_B1 tpl_B2 tpl_B3 ->
-       Print001.MkFoo{-rh,x-} {__a d{-rsv-}
-                               __a e{-rsw-}
-                               __a f{-rsx-}
-                               tpl_B1
-                               tpl_B2
-                               tpl_B3}
-AbsBinds
-[a{-a145-}, b{-a146-}]
-[]
-[([a{-a145-}, b{-a146-}], Print001.g{-r7,x-}, g{-a142-})]
-    g{-a142-} x{-a148-} = lit_a15c
-AbsBinds
-[c{-a14q-}, a{-a14r-}, b{-a14s-}]
-[_dEq{-a14w-}, _dOrd{-a14x-}, _dIx{-a14y-}]
-[([a{-a14r-}, b{-a14s-}, c{-a14q-}],
-  Print001.f2{-r5,x-},
-  f2{-a14n-})]
-    f2{-a14n-} x{-a14u-} = x{-a14u-}
-AbsBinds
-[c{-a14T-}, a{-a14U-}, b{-a14V-}]
-[_dEq{-a14Z-}]
-[([a{-a14U-}, b{-a14V-}, c{-a14T-}],
-  Print001.f{-r3,x-},
-  f{-a14Q-})]
-    f{-a14Q-} x{-a14X-} = x{-a14X-}
-AbsBinds
-[d{-a156-}, e{-a158-}, f{-a15a-}]
-[]
-[([d{-a156-}, e{-a158-}, f{-a15a-}],
-  Print001.mkFoo{-r1,x-},
-  mkFoo{-a15b-})]
-    mkFoo{-a15b-}
-       = Print001.MkFoo{-rh,x-} [d{-a156-}, e{-a158-}, f{-a15a-}]
-lit_a15c = PrelBase.F#{-66,w-} 2.0#
-
-
-ghc: module version changed to 1; reason: no old .hi file
-__export Print001 f f2 g mkFoo Bar{BarNil BarCon} Foo{MkFoo};
-1 data Bar a = BarNil |  BarCon (Foo a a a) (Bar a) ;
-1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
-1 f :: __forall [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;
-1 f2 :: __forall [a b c] {PrelBase.Eq a, PrelBase.Ord a, Ix.Ix c} => (a -> b -> c) -> a -> b -> c ;
-1 g :: __forall [a b] => Foo PrelBase.Int (a -> b) (a -> [(a, PrelBase.Double, PrelBase.Int)]) -> PrelBase.Float ;
-1 mkFoo :: __forall [d e f] => [((d -> PrelBase.Int) -> d) -> e] -> (d -> e, e -> e) -> PrelBase.() -> Foo d e f ;