[project @ 1998-04-17 15:58:37 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 302
3 _instance_modules_
4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
5 _usages_
6 PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqInt0 1 $dEqOrdering0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdInt0 1 $dOrdOrdering0 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 :: $dEqDouble0 1 $dOrdDouble0 1;
8 _exports_
9 ShouldSucceed Foo(:Foo :Foo op2 op1);
10 _instances_
11 instance _forall_ [a] {Foo a} => {Foo [a]} = $dFoo0;
12 instance {Foo PrelBase.Int} = $dFooInt0;
13 _declarations_
14 1 $dFoo0 _:_ _forall_ [a] {Foo a} => {Foo [a]} ;;
15 1 $dFooInt0 _:_ {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 {op2 = :: _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b; op1 = :: a -> PrelBase.Bool} ;