[project @ 1997-12-16 17:15:04 by simonm]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc079.stderr
1 ghc: module version changed to 1; reason: no old .hi file
2 _interface_ ShouldSucceed 1
3 _instance_modules_
4 Addr ArrBase Foreign IO PrelBounded PrelNum
5 _usages_
6 PrelBase 1 :: $d12 1 $d13 1 $d20 1 $d21 1 $d26 1 $d28 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 && 1 Eq 1 Ord 1 Ordering 1;
7 PrelNum 1 :: $d17 1 $d18 1;
8 _exports_
9 ShouldSucceed Foo(op1 op2);
10 _instances_
11 instance _forall_ [a] {Foo a} => {Foo [a]} = $d1;
12 instance {Foo PrelBase.Int} = $d2;
13 _declarations_
14 1 $d1 _:_ _forall_ [a] {Foo a} => {Foo [a]} ;;
15 1 $d2 _:_ {Foo PrelBase.Int} ;;
16 1 $mop1 _:_ _forall_ [a] {Foo a} => a -> PrelBase.Bool ;;
17 1 $mop2 _:_ _forall_ [a] {Foo a} => _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b ;;
18 1 class Foo a where {op1 = :: a -> PrelBase.Bool; op2 = :: _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b} ;