[project @ 1997-07-31 01:46:24 by sof]
[ghc-hetmet.git] / ghc / compiler / tests / rename / Rn016.hi
index b098b36..ab4815d 100644 (file)
@@ -1,11 +1,12 @@
-interface Rn016 where
-import X(K)
-
-class K a where
-       op1 :: a -> a -> a
-       op2 :: Int -> a
-
-instance K Int
-instance K Bool
-instance K [a]
-       
+_interface_ Rn016 1
+_exports_
+Rn016 K(op1 op2);
+_instances_
+instance {K PrelBase.Int} = $d1;
+instance {K PrelBase.Bool} = $d2;
+instance _forall_ [a] => {K [a]} = $d3;
+_declarations_
+1 $d1 _:_ {K PrelBase.Int} ;;
+1 $d2 _:_ {K PrelBase.Bool} ;;
+1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;;
+1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ;