ghc/tests/typecheck/should_compile/tc079.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed Foo{:Foo :Foo op2 op1};
   4 _instances_
   5 instance _forall_ [$a] {Foo $a} => {Foo [$a]} = $dFoo0;
   6 instance {Foo PrelBase.Int} = $dFooInt0;
   7 _declarations_
   8 1 $dFoo0 _:_ _forall_ [$a] {Foo $a} => {Foo [$a]} ;;
   9 1 $dFooInt0 _:_ {Foo PrelBase.Int} ;;
  10 1 $mop1 _:_ _forall_ [$a] {Foo $a} => $a -> PrelBase.Bool ;;
  11 1 $mop2 _:_ _forall_ [$a] {Foo $a} => _forall_ [$b] {PrelBase.Ord $b} => $a -> $b -> $b -> $b ;;
  12 1 class Foo $r3z where {op2 = :: _forall_ [$r3B] {PrelBase.Ord $r3B} => $r3z -> $r3B -> $r3B -> $r3B; op1 = :: $r3z -> PrelBase.Bool} ;