[project @ 1999-05-12 12:23:53 by keithw]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc024.stderr
index eeaa682..2f84b28 100644 (file)
@@ -2,4 +2,4 @@ ghc: module version changed to 1; reason: no old .hi file
 __export ShouldSucceed k main s;
 1 k :: __forall [t t1] => t -> t1 -> t ;
 1 main :: __forall [t] => t -> t ;
-1 s :: __forall [t t1 t2] => (t2 -> t1 -> t) -> (t2 -> t1) -> t2 -> t ;
+1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;