[project @ 1999-05-12 12:23:53 by keithw]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc048.stderr
index 4d6ad93..4a33211 100644 (file)
@@ -3,7 +3,7 @@ __export ShouldSucceed AFE{MkAFE} FG{MkFG} OL{MkOL} mAp ranAFE ranOAL sNd;
 1 data AFE n a b = MkAFE (OL (n, FG a b)) ;
 1 data FG a b = MkFG (OL (a, b)) ;
 1 data OL a = MkOL [a] ;
-1 mAp :: __forall [t t1] => (t1 -> t) -> [t1] -> [t] ;
+1 mAp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
 1 ranAFE :: __forall [n a b] => AFE n a b -> [FG a b] ;
 1 ranOAL :: __forall [a v] => OL (a, v) -> [v] ;
-1 sNd :: __forall [t t1] => (t1, t) -> t ;
+1 sNd :: __forall [t t1] => (t, t1) -> t1 ;