0cbcd0b248ab10c07a00be204a8bacfcdbfd07ac
[ghc-hetmet.git] / ghc / tests / rename / should_compile / Rn016.hi
1 _interface_ Rn016 1 302
2 _exports_
3 Rn016 K(op1 op2);
4 _instances_
5 instance {K PrelBase.Int} = $d1;
6 instance {K PrelBase.Bool} = $d2;
7 instance _forall_ [a] => {K [a]} = $d3;
8 _declarations_
9 1 $d1 _:_ {K PrelBase.Int} ;;
10 1 $d2 _:_ {K PrelBase.Bool} ;;
11 1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;;
12 1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ;