[project @ 1998-04-30 20:31:10 by sof]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc070.stderr
index 1cf473d..5734a1d 100644 (file)
@@ -1,24 +1,9 @@
-
-
-================================================================================
-Typechecked:
-FF{-r5,x-}{i} = FF{-r5,x-}{i} {}
-TT{-r4,x-}{i} = TT{-r4,x-}{i} {}
-AbsBinds [] [] [([], idb{-r6,x-}, idb_aAU)]
-    idb_aAU x_r3k = x_r3k
-AbsBinds [] [] [([], $d1{-rB4,x-}, d.Eval_aB1)]
-    d.Eval_aB1 = ({-dict-} [] [])
 ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
 _exports_
 ShouldSucceed idb Boolean(FF TT);
 _instances_
-instance {PrelBase.Eval Boolean} = $d1;
+instance {PrelBase.Eval Boolean} = $dEvalBoolean0;
 _declarations_
-1 $d1 _:_ {PrelBase.Eval Boolean} ;;
+1 $dEvalBoolean0 _:_ {PrelBase.Eval Boolean} ;;
 1 data Boolean = FF |  TT ;
 1 idb _:_ Boolean -> Boolean ;;