ghc/tests/typecheck/should_compile/tc043.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed f A{:A :A op1} B{:B :B op2};
   4 _instances_
   5 instance {A PrelBase.Int} = $dAInt0;
   6 instance _forall_ [$a] {B $a} => {B [$a]} = $dB0;
   7 _declarations_
   8 1 $dAInt0 _:_ {A PrelBase.Int} ;;
   9 1 $dB0 _:_ _forall_ [$a] {B $a} => {B [$a]} ;;
  10 1 class A $r3P where {op1 :: $r3P} ;
  11 1 class B $r3K where {op2 :: $r3K -> PrelBase.Int} ;
  12 1 f _:_ _forall_ [$a $b] {A $b} => $a -> $b ;;