afcc264ed8f37fbfeae63aa5bc9a178f62a5b996
[ghc-hetmet.git] / 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 a where {op1 :: a} ;
11 1 class B b where {op2 :: b -> PrelBase.Int} ;
12 1 f _:_ _forall_ [a b] {A b} => a -> b ;;