[project @ 2000-07-03 21:17:21 by panne]
[ghc-hetmet.git] / ghc / tests / rename / should_compile / Rn016.hi
1 __interface Rn016 1 0 where
2 __export Rn016 K{op1 op2};
3 instance {K PrelBase.Int} = _f1;
4 instance {K PrelBase.Bool} = _f2;
5 instance __forall [a] => {K [a]} = _f3;
6 1 _f1 :: {K PrelBase.Int} ;
7 1 _f2 :: {K PrelBase.Bool} ;
8 1 _f3 :: __forall [a] => {K [a]} ;
9 1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a ; } ;