Minor wibbles to error messages, as a result of fiddling with

the handling of default declarations

testsuite/tests/indexed-types/should_compile/Class3.stderr

 
 Class3.hs:7:10:
-    Warning: No explicit method nor default method for `foo'
+    Warning: No explicit method or default declaration for `foo'
     In the instance declaration for `C ()'

testsuite/tests/indexed-types/should_compile/Simple2.stderr

 
 Simple2.hs:21:1:
-    Warning: No explicit AT declaration for `S3n'
+    Warning: No explicit associated type or default declaration for `S3n'
     In the instance declaration for `C3 Char'
 
 Simple2.hs:21:10:
-    Warning: No explicit method nor default method for `foo3n'
+    Warning: No explicit method or default declaration for `foo3n'
     In the instance declaration for `C3 Char'
 
 Simple2.hs:21:10:
-    Warning: No explicit method nor default method for `bar3n'
+    Warning: No explicit method or default declaration for `bar3n'
     In the instance declaration for `C3 Char'
 
 Simple2.hs:29:1:
-    Warning: No explicit AT declaration for `S3n'
+    Warning: No explicit associated type or default declaration for `S3n'
     In the instance declaration for `C3 Bool'
 
 Simple2.hs:29:10:
-    Warning: No explicit method nor default method for `foo3n'
+    Warning: No explicit method or default declaration for `foo3n'
     In the instance declaration for `C3 Bool'
 
 Simple2.hs:29:10:
-    Warning: No explicit method nor default method for `bar3n'
+    Warning: No explicit method or default declaration for `bar3n'
     In the instance declaration for `C3 Bool'
 
 Simple2.hs:39:1:
-    Warning: No explicit AT declaration for `S3'
+    Warning: No explicit associated type or default declaration for `S3'
     In the instance declaration for `C3 Float'
 
 Simple2.hs:39:1:
-    Warning: No explicit AT declaration for `S3n'
+    Warning: No explicit associated type or default declaration for `S3n'
     In the instance declaration for `C3 Float'
 
 Simple2.hs:39:10:
-    Warning: No explicit method nor default method for `foo3n'
+    Warning: No explicit method or default declaration for `foo3n'
     In the instance declaration for `C3 Float'
 
 Simple2.hs:39:10:
-    Warning: No explicit method nor default method for `bar3n'
+    Warning: No explicit method or default declaration for `bar3n'
     In the instance declaration for `C3 Float'

testsuite/tests/parser/should_compile/T2245.stderr

 
 T2245.hs:4:10:
-    Warning: No explicit method nor default method for `+'
+    Warning: No explicit method or default declaration for `+'
     In the instance declaration for `Num T'
 
 T2245.hs:4:10:
-    Warning: No explicit method nor default method for `*'
+    Warning: No explicit method or default declaration for `*'
     In the instance declaration for `Num T'
 
 T2245.hs:4:10:
-    Warning: No explicit method nor default method for `abs'
+    Warning: No explicit method or default declaration for `abs'
     In the instance declaration for `Num T'
 
 T2245.hs:4:10:
-    Warning: No explicit method nor default method for `signum'
+    Warning: No explicit method or default declaration for `signum'
     In the instance declaration for `Num T'
 
 T2245.hs:4:10:
-    Warning: No explicit method nor default method for `fromInteger'
+    Warning: No explicit method or default declaration for `fromInteger'
     In the instance declaration for `Num T'
 
 T2245.hs:5:10:
-    Warning: No explicit method nor default method for `fromRational'
+    Warning: No explicit method or default declaration for `fromRational'
     In the instance declaration for `Fractional T'
 
 T2245.hs:7:29:
     Warning: Defaulting the following constraint(s) to type `T'
-               (Fractional b0) arising from the literal `1e400'
-                               at T2245.hs:7:29-33
+               (Fractional b0)
+                 arising from the literal `1e400' at T2245.hs:7:29-33
                (Ord b0) arising from a use of `<' at T2245.hs:7:27
                (Read b0) arising from a use of `read' at T2245.hs:7:38-41
     In the second argument of `(<)', namely `1e400'

testsuite/tests/parser/should_compile/read014.stderr-ghc

-
-read014.hs:4:1:
-    Warning: Top-level binding with no type signature:
-               ng1 :: forall t a. Num a => t -> a -> a
-
-read014.hs:4:5: Warning: Defined but not used: `x'
-
-read014.hs:6:10:
-    Warning: No explicit method nor default method for `+'
-    In the instance declaration for `Num (a, b)'
-
-read014.hs:6:10:
-    Warning: No explicit method nor default method for `*'
-    In the instance declaration for `Num (a, b)'
-
-read014.hs:6:10:
-    Warning: No explicit method nor default method for `abs'
-    In the instance declaration for `Num (a, b)'
-
-read014.hs:6:10:
-    Warning: No explicit method nor default method for `signum'
-    In the instance declaration for `Num (a, b)'
-
-read014.hs:6:10:
-    Warning: No explicit method nor default method for `fromInteger'
-    In the instance declaration for `Num (a, b)'
-
-read014.hs:8:53: Warning: Defined but not used: `x'
+
+read014.hs:4:1:
+    Warning: Top-level binding with no type signature:
+               ng1 :: forall t a. Num a => t -> a -> a
+
+read014.hs:4:5: Warning: Defined but not used: `x'
+
+read014.hs:6:10:
+    Warning: No explicit method or default declaration for `+'
+    In the instance declaration for `Num (a, b)'
+
+read014.hs:6:10:
+    Warning: No explicit method or default declaration for `*'
+    In the instance declaration for `Num (a, b)'
+
+read014.hs:6:10:
+    Warning: No explicit method or default declaration for `abs'
+    In the instance declaration for `Num (a, b)'
+
+read014.hs:6:10:
+    Warning: No explicit method or default declaration for `signum'
+    In the instance declaration for `Num (a, b)'
+
+read014.hs:6:10:
+    Warning: No explicit method or default declaration for `fromInteger'
+    In the instance declaration for `Num (a, b)'
+
+read014.hs:8:53: Warning: Defined but not used: `x'

testsuite/tests/simplCore/should_compile/simpl020.stderr

 
 Simpl020_A.hs:25:10:
-    Warning: No explicit method nor default method for `toGUIObject'
+    Warning: No explicit method or default declaration for `toGUIObject'
     In the instance declaration for `GUIObject ()'
 
 Simpl020_A.hs:25:10:
-    Warning: No explicit method nor default method for `cset'
+    Warning: No explicit method or default declaration for `cset'
     In the instance declaration for `GUIObject ()'

testsuite/tests/th/T5362.stderr

-f_0 :: GHC.Tuple.()
-f_0 = GHC.Err.undefined g_1
-g_1 :: GHC.Tuple.()
-g_1 = GHC.Err.undefined
+f_0 :: ()
+f_0 = GHC.Err.undefined g_1
+g_1 :: ()
+g_1 = GHC.Err.undefined

testsuite/tests/typecheck/should_compile/tc115.stderr-ghc

 
 tc115.hs:12:10:
-    Warning: No explicit method nor default method for `foo'
-	     In the instance declaration for `Foo [m a] (m a)'
+    Warning: No explicit method or default declaration for `foo'
+    In the instance declaration for `Foo [m a] (m a)'

testsuite/tests/typecheck/should_compile/tc116.stderr-ghc

 
 tc116.hs:12:10:
-    Warning: No explicit method nor default method for `foo'
-	     In the instance declaration for `Foo [m a] (m a)'
+    Warning: No explicit method or default declaration for `foo'
+    In the instance declaration for `Foo [m a] (m a)'

testsuite/tests/typecheck/should_compile/tc125.stderr-ghc

 
 tc125.hs:16:10:
-    Warning: No explicit method nor default method for `add'
-	     In the instance declaration for `Add Z a a'
+    Warning: No explicit method or default declaration for `add'
+    In the instance declaration for `Add Z a a'
 
 tc125.hs:17:10:
-    Warning: No explicit method nor default method for `add'
-	     In the instance declaration for `Add (S a) b (S c)'
+    Warning: No explicit method or default declaration for `add'
+    In the instance declaration for `Add (S a) b (S c)'
 
 tc125.hs:21:10:
-    Warning: No explicit method nor default method for `mul'
-	     In the instance declaration for `Mul Z a Z'
+    Warning: No explicit method or default declaration for `mul'
+    In the instance declaration for `Mul Z a Z'
 
 tc125.hs:22:10:
-    Warning: No explicit method nor default method for `mul'
-	     In the instance declaration for `Mul (S a) b d'
+    Warning: No explicit method or default declaration for `mul'
+    In the instance declaration for `Mul (S a) b d'
 
 tc125.hs:29:10:
-    Warning: No explicit method nor default method for `add'
-	     In the instance declaration for `Add (Q a b) (Q c d) (Q ad_bc bd)'
+    Warning: No explicit method or default declaration for `add'
+    In the instance declaration for `Add (Q a b) (Q c d) (Q ad_bc bd)'

testsuite/tests/typecheck/should_compile/tc126.stderr-ghc

 
 tc126.hs:15:25:
-    Warning: No explicit method nor default method for `bug'
-	     In the instance declaration for `Bug (Int -> r) Int r'
+    Warning: No explicit method or default declaration for `bug'
+    In the instance declaration for `Bug (Int -> r) Int r'
 
 tc126.hs:16:10:
-    Warning: No explicit method nor default method for `bug'
+    Warning: No explicit method or default declaration for `bug'
     In the instance declaration for `Bug f (c a) (c r)'

testsuite/tests/typecheck/should_compile/tc161.stderr-ghc

 
 tc161.hs:17:10:
-    Warning: No explicit method nor default method for `op'
-	     In the instance declaration for `Foo Int'
+    Warning: No explicit method or default declaration for `op'
+    In the instance declaration for `Foo Int'

testsuite/tests/typecheck/should_compile/tc254.stderr

 
 tc254.hs:8:1:
-    Warning: No explicit AT declaration for `Typ'
+    Warning: No explicit associated type or default declaration for `Typ'
     In the instance declaration for `Cls Int'