X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_compile%2Ftc082.stderr;h=3b89f1c2faaeb835a66293470c4a8d5b1655ce7a;hb=189333a4701d130b7ddc445f164ae33e94bbdc46;hp=f1046b91ed3f1011216cf344226f6441c8c38f56;hpb=3848b8f3d939107055e8d1430ce799adb0463bdd;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_compile/tc082.stderr b/ghc/tests/typecheck/should_compile/tc082.stderr
index f1046b9..3b89f1c 100644
--- a/ghc/tests/typecheck/should_compile/tc082.stderr
+++ b/ghc/tests/typecheck/should_compile/tc082.stderr
@@ -1,30 +1,6 @@
-==================== Typechecked ====================
-AbsBinds [tarE] [] [([tarE], f{-r3p,x-}, f_arp)]
-    d.Normal_arG = $d1{-rs3,x-} [GHC.Void{-3T,W-}, GHC.Void{-3T,W-}]
-    normal_as2 =
-	normal{-r3q,x-} (GHC.Void{-3T,W-} -> GHC.Void{-3T,W-}) d.Normal_arG
-    f_arp x_r3f = normal_as2 PrelBase.id{-r9U,p-} GHC.Void{-3T,W-}
-AbsBinds
-[tarV, tarW]
-[]
-[([tarV, tarW], $d1{-rs3,x-}, d.Normal_arO)]
-    AbsBinds [] [] [([], normal_as4, normal_arS)]
-	normal_arS _ = PrelBase.True{-5E,w-}{i}
-    d.Normal_arO = ({-dict-} [] [normal_as4])
-normal{-r3q,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [tas1] [d.Normal_as0] []
-
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: id 1;
-_exports_
-ShouldSucceed f Normal(normal);
-_instances_
-instance _forall_ [a b] => {Normal (a -> b)} = $d1;
-_declarations_
-1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
+__export ShouldSucceed Normal{normal} f;
+instance __forall [a b] => {Normal (a -> b)} = zdfNormalZLzmzgZR;
 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
-1 f _:_ _forall_ [ta] => ta -> PrelBase.Bool ;;
+1 f :: __forall [t] => t -> PrelBase.Bool ;
+1 zddmnormal :: __forall [a] => {Normal a} -> a -> PrelBase.Bool ;
+1 zdfNormalZLzmzgZR :: __forall [a b] => {Normal (a -> b)} ;