[project @ 2000-12-12 17:19:33 by simonmar]
[ghc-hetmet.git] / ghc / tests / rename / should_compile / Rn016.hi
index ab4815d..7048122 100644 (file)
@@ -1,12 +1,9 @@
-_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 } ;
+__interface Rn016 1 0 where
+__export Rn016 K{op1 op2};
+instance {K PrelBase.Int} = _f1;
+instance {K PrelBase.Bool} = _f2;
+instance __forall [a] => {K [a]} = _f3;
+1 _f1 :: {K PrelBase.Int} ;
+1 _f2 :: {K PrelBase.Bool} ;
+1 _f3 :: __forall [a] => {K [a]} ;
+1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a ; } ;