[project @ 1998-03-13 21:08:04 by sof]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc092.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc092.stderr b/ghc/tests/typecheck/should_compile/tc092.stderr
index b66c1f4..141189d 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc092.stderr
+++ b/ghc/tests/typecheck/should_compile/tc092.stderr
@@ -1,17 +1,18 @@
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_
-Addr ArrBase Foreign IO PrelNum
+IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
 _usages_
-PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
+PrelBase 1 :: $d12 1 $d13 1 $d2 1 $d20 1 $d21 1 $d26 1 $d28 1 $d29 1 $d31 1 $d33 1 $d36 1 $d37 1 $d38 1 $d39 1 $d41 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
 PrelNum 1 :: $d17 1 $d18 1;
 _exports_
 ShouldSucceed e0 e1 e2 q Empty(Empty);
 _instances_
-instance _forall_ [q :: (* -> *)] => {PrelBase.Eval (Empty q)} = $d1;
+instance _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} = $d1;
 _declarations_
-1 $d1 _:_ _forall_ [q :: (* -> *)] => {PrelBase.Eval (Empty q)} ;;
+1 $d1 _:_ _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} ;;
+1 data Empty q :: (* -> *) = Empty (_forall_ [a] {PrelBase.Ord a} => q a) ;
 1 e0 _:_ Empty PrelBase.[] ;;
 1 e1 _:_ Empty PrelBase.[] ;;
 1 e2 _:_ Empty PrelBase.[] ;;
-1 q _:_ _forall_ [ta] {PrelBase.Ord ta} => [ta] ;;
+1 q _:_ _forall_ [a] {PrelBase.Ord a} => [a] ;;