Follow changes in [7ab62490/base] (re #7633)
authorHerbert Valerio Riedel <hvr@gnu.org>
Wed, 18 Sep 2013 11:27:14 +0000 (13:27 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Wed, 18 Sep 2013 11:27:14 +0000 (13:27 +0200)
testsuite/tests/parser/should_compile/T2245.stderr
testsuite/tests/polykinds/T6002.hs
testsuite/tests/typecheck/should_compile/tc088.hs
testsuite/tests/typecheck/should_compile/tc175.stderr [new file with mode: 0644]
testsuite/tests/warnings/minimal/WarnMinimal.stderr

index 3df2d6c..0002592 100644 (file)
@@ -1,12 +1,14 @@
 
 T2245.hs:4:10: Warning:
     No explicit implementation for
-      ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’
+      ‛+’, ‛*’, ‛abs’, ‛signum’, ‛fromInteger’, and (either ‛negate’
+                                                            or
+                                                            ‛-’)
     In the instance declaration for ‛Num T’
 
 T2245.hs:5:10: Warning:
     No explicit implementation for
-      ‛fromRational’
+      ‛fromRational’ and (either ‛recip’ or ‛/’)
     In the instance declaration for ‛Fractional T’
 
 T2245.hs:7:29: Warning:
index a7f09ef..1d4fb7f 100644 (file)
@@ -80,6 +80,7 @@ instance Num (Hidden Nat') where
   abs n = n
   Hide a + Hide b = Hide $ plus a b
   a * b = fromInteger $ toInteger a * toInteger b
+  negate a = error "negate(Hidden Nat')"
 
 instance Real (Hidden Nat') where
   toRational = toRational . toInteger
index 05faeae..b6bf497 100644 (file)
@@ -2,7 +2,8 @@
 
 module ShouldSucceed where
 
-instance Show (a->b)
+instance Show (a->b) where
+        show _ = error "attempt to show function"
 
 instance (Eq b) => Eq (a -> b) where
        (==) f g = error "attempt to compare functions"
diff --git a/testsuite/tests/typecheck/should_compile/tc175.stderr b/testsuite/tests/typecheck/should_compile/tc175.stderr
new file mode 100644 (file)
index 0000000..982cee8
--- /dev/null
@@ -0,0 +1,5 @@
+
+tc175.hs:13:10: Warning:
+    No explicit implementation for
+      either ‛showsPrec’ or ‛show’
+    In the instance declaration for ‛Show (a -> b)’
index fee6e10..09db27b 100644 (file)
@@ -38,7 +38,9 @@ WarnMinimal.hs:92:1: Warning:
 
 WarnMinimal.hs:99:10: Warning:
     No explicit implementation for
-      ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’
+      ‛+’, ‛*’, ‛abs’, ‛signum’, ‛fromInteger’, and (either ‛negate’
+                                                            or
+                                                            ‛-’)
     In the instance declaration for ‛Num Bool’
 
 WarnMinimal.hs:105:10: Warning: