ab4815dc842d5071d7d4287814fb12bfd9e35244
[ghc-hetmet.git] / ghc / compiler / tests / rename / Rn016.hi
1 _interface_ Rn016 1
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 } ;