[project @ 1998-02-03 11:24:18 by simonm]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail044.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail044.stderr b/ghc/tests/typecheck/should_fail/tcfail044.stderr
index 58e3646..31a73cf 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail044.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail044.stderr
@@ -1,13 +1,17 @@
  
-tcfail044.hs:12: The type
-                    `a -> a'
-                cannot be used as an instance type
+tcfail044.hs:12:
+    Illegal instance declaration for `Num (a -> a)'
+       (the instance type must be of form (T a b c)
+        where T is not a synonym, and a,b,c are distinct type variables)
  
-tcfail044.hs:5: The type
-                   `a -> a'
-               cannot be used as an instance type
+tcfail044.hs:5:
+    Illegal instance declaration for `Eq (a -> a)'
+       (the instance type must be of form (T a b c)
+        where T is not a synonym, and a,b,c are distinct type variables)
  
-tcfail044.hs:20: No instance for: `Num (Float -> Float)'
-    arising from use of `+' at tcfail044.hs:20
+tcfail044.hs:20:
+    No instance for: `Num (Float -> Float)'
+       arising from use of `+', at tcfail044.hs:20
+
 
 Compilation had errors