[project @ 2001-04-11 18:42:07 by lewie]
authorlewie <unknown>
Wed, 11 Apr 2001 18:42:07 +0000 (18:42 +0000)
committerlewie <unknown>
Wed, 11 Apr 2001 18:42:07 +0000 (18:42 +0000)
I guess it's supposed to be done *this* way...

ghc/tests/typecheck/should_compile/tc056.stderr [new file with mode: 0644]
ghc/tests/typecheck/should_compile/tc115.hs
ghc/tests/typecheck/should_compile/tc115.stderr [new file with mode: 0644]
ghc/tests/typecheck/should_compile/tc116.hs
ghc/tests/typecheck/should_compile/tc116.stderr [new file with mode: 0644]

diff --git a/ghc/tests/typecheck/should_compile/tc056.stderr b/ghc/tests/typecheck/should_compile/tc056.stderr
new file mode 100644 (file)
index 0000000..b6a09e3
--- /dev/null
@@ -0,0 +1,4 @@
+
+tc056.hs:14:
+    Warning: Duplicate class assertion `Eq' a' in the context:
+                (Eq' a, Eq' a) => ...
index 4274bee..0a12db9 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -w -fglasgow-exts #-}
+{-# OPTIONS -fglasgow-exts #-}
 
 -- !!! Functional dependencies
 -- This broke an early impl of functional dependencies
diff --git a/ghc/tests/typecheck/should_compile/tc115.stderr b/ghc/tests/typecheck/should_compile/tc115.stderr
new file mode 100644 (file)
index 0000000..7571574
--- /dev/null
@@ -0,0 +1,4 @@
+
+tc115.hs:12:
+    Warning: No explicit method nor default method for `foo'
+            in an instance declaration for `Foo'
index 725f9ca..cb29a43 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -w -fglasgow-exts #-}
+{-# OPTIONS -fglasgow-exts #-}
 
 -- !!! Functional dependencies
 -- This broke an early impl of functional dependencies
diff --git a/ghc/tests/typecheck/should_compile/tc116.stderr b/ghc/tests/typecheck/should_compile/tc116.stderr
new file mode 100644 (file)
index 0000000..d33d70c
--- /dev/null
@@ -0,0 +1,4 @@
+
+tc116.hs:12:
+    Warning: No explicit method nor default method for `foo'
+            in an instance declaration for `Foo'