X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_compile%2Ftc027.stderr;h=0e2072ce8b0f74238dedc49a46cc1ce1d657c441;hb=17f2e4cee594f8922bed6c3a8101a77c7fcb1977;hp=57f4917fb0ec078696ae841562f11be57a06c9b6;hpb=80d19100a3aabd62ece8582332d6b5ea6f66bdf5;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_compile/tc027.stderr b/ghc/tests/typecheck/should_compile/tc027.stderr
index 57f4917..0e2072c 100644
--- a/ghc/tests/typecheck/should_compile/tc027.stderr
+++ b/ghc/tests/typecheck/should_compile/tc027.stderr
@@ -1,28 +1,9 @@
 
-
-================================================================================
-Typechecked:
-AbsBinds
-[tal1]
-[]
-[([tal1], f{-r3n,x-}, f_akC), ([tal1], g{-r3m,x-}, g_akD)]
-    f_akC x_r3h y_r3i = if x_r3h then y_r3i else g_akD y_r3i x_r3h
-    g_akD y_r3k x_r3l = if x_r3l then y_r3k else f_akC x_r3l y_r3k
-AbsBinds [] [] [([], h{-r3o,x-}, h_al3)]
-    h_al3 x_r3f
-	  = f{-r3n,x-} PrelBase.Bool{-34,W-} f{-r3n,x-}
-						 PrelBase.Bool{-34,W-} PrelBase.True{-5E,w-}{i}
-								       x_r3f
-					     x_r3f
-
 NOTE: Simplifier still going after 4 iterations; bailing out.
 ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
 _exports_
 ShouldSucceed f g h;
 _declarations_
-1 f _:_ _forall_ [ta] => PrelBase.Bool -> ta -> ta ;;
-1 g _:_ _forall_ [ta] => ta -> PrelBase.Bool -> ta ;;
+1 f _:_ _forall_ [a] => PrelBase.Bool -> a -> a ;;
+1 g _:_ _forall_ [a] => a -> PrelBase.Bool -> a ;;
 1 h _:_ PrelBase.Bool -> PrelBase.Bool ;;