[project @ 1999-02-15 17:57:29 by sof]

Empty export list regression test

ghc/tests/reader/should_compile/Makefile

@@ -7,5 +7,6 @@ SRC_HC_OPTS += -noC -dcore-lint
 read004_HC_OPTS = -fno-implicit-prelude
 read012_HC_OPTS += -O -funfold-casms-in-hi-file -fglasgow-exts
 read013_HC_OPTS += -O -funfold-casms-in-hi-file -fglasgow-exts
+read014_HC_OPTS += -Wall
 
 include $(TOP)/mk/target.mk

ghc/tests/reader/should_compile/read014.hs

+-- !!! Empty export lists are legal (and useful.)
+module T () where
+
+ng1 x y = negate y
+
+instance (Num a, Num b) => Num (a,b)
+  where
+   negate (a,b) = (ng 'c' a, ng1 'c' b)   where  ng x y = negate y

ghc/tests/reader/should_compile/read014.stderr

+
+read014.hs:2: Warning: definition but no type signature for `ng1'
+
+read014.hs:4: Warning: Defined but not used: x
+
+read014.hs:8: Warning: Defined but not used: x
+
+
+
+read014.hs:8:
+    Warning: No explicit method nor default method for `fromInteger'
+	     in an instance declaration for `Num'
+
+read014.hs:8:
+    Warning: No explicit method nor default method for `signum'
+	     in an instance declaration for `Num'
+
+read014.hs:8:
+    Warning: No explicit method nor default method for `abs'
+	     in an instance declaration for `Num'
+
+read014.hs:8:
+    Warning: No explicit method nor default method for `*'
+	     in an instance declaration for `Num'
+
+read014.hs:8:
+    Warning: No explicit method nor default method for `+'
+	     in an instance declaration for `Num'
+
+