Wibbles to "...plus N others" error message about instances in scope
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 13 May 2014 11:42:58 +0000 (12:42 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 28 Aug 2014 10:14:12 +0000 (11:14 +0100)
I this this arises from my de-orphaning the Enum Word instance

testsuite/tests/annotations/should_fail/annfail10.stderr
testsuite/tests/ghci.debugger/scripts/break006.stderr
testsuite/tests/ghci.debugger/scripts/print019.stderr
testsuite/tests/ghci/scripts/Defer02.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr
testsuite/tests/typecheck/should_compile/holes2.stderr
testsuite/tests/typecheck/should_fail/tcfail008.stderr
testsuite/tests/typecheck/should_fail/tcfail072.stderr
testsuite/tests/typecheck/should_fail/tcfail133.stderr

index 17d380e..4723db1 100644 (file)
@@ -19,7 +19,6 @@ annfail10.hs:9:11:
     Note: there are several potential instances:
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
-      instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
+      instance Num Int -- Defined in ‘GHC.Num’
       ...plus 11 others
     In the annotation: {-# ANN f 1 #-}
index bd0d45d..6f4cbdf 100644 (file)
@@ -7,9 +7,8 @@
     Note: there are several potential instances:
       instance Show Double -- Defined in ‘GHC.Float’
       instance Show Float -- Defined in ‘GHC.Float’
-      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus 23 others
+      instance Show () -- Defined in ‘GHC.Show’
+      ...plus 22 others
     In a stmt of an interactive GHCi command: print it
 
 <interactive>:8:1:
@@ -20,7 +19,6 @@
     Note: there are several potential instances:
       instance Show Double -- Defined in ‘GHC.Float’
       instance Show Float -- Defined in ‘GHC.Float’
-      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus 23 others
+      instance Show () -- Defined in ‘GHC.Show’
+      ...plus 22 others
     In a stmt of an interactive GHCi command: print it
index e364f06..883768b 100644 (file)
@@ -8,5 +8,5 @@
       instance Show Unary -- Defined at ../Test.hs:37:29
       instance Show a => Show (MkT2 a) -- Defined at ../Test.hs:20:12
       instance Show a => Show (MkT a) -- Defined at ../Test.hs:17:13
-      ...plus 31 others
+      ...plus 30 others
     In a stmt of an interactive GHCi command: print it
index 7635c8f..ba2354b 100644 (file)
@@ -71,9 +71,8 @@
     Note: there are several potential instances:
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
-      instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus three others
+      instance Num Int -- Defined in ‘GHC.Num’
+      ...plus two others
     In the first argument of ‘myOp’, namely ‘23’
     In the expression: myOp 23
     In an equation for ‘j’: j = myOp 23
index cfa2b94..c5338bc 100644 (file)
@@ -5,9 +5,8 @@ overloadedlistsfail01.hs:5:8:
     Note: there are several potential instances:
       instance Show Double -- Defined in ‘GHC.Float’
       instance Show Float -- Defined in ‘GHC.Float’
-      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus 23 others
+      instance Show () -- Defined in ‘GHC.Show’
+      ...plus 22 others
     In the expression: print [1]
     In an equation for ‘main’: main = print [1]
 
@@ -28,9 +27,8 @@ overloadedlistsfail01.hs:5:15:
     Note: there are several potential instances:
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
-      instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus three others
+      instance Num Int -- Defined in ‘GHC.Num’
+      ...plus two others
     In the expression: 1
     In the first argument of ‘print’, namely ‘[1]’
     In the expression: print [1]
index 0c7e566..6161433 100644 (file)
@@ -5,9 +5,8 @@ holes2.hs:3:5: Warning:
     Note: there are several potential instances:
       instance Show Double -- Defined in ‘GHC.Float’
       instance Show Float -- Defined in ‘GHC.Float’
-      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus 23 others
+      instance Show () -- Defined in ‘GHC.Show’
+      ...plus 22 others
     In the expression: show _
     In an equation for ‘f’: f = show _
 
index c633a15..38682cc 100644 (file)
@@ -6,9 +6,8 @@ tcfail008.hs:3:5:
     Note: there are several potential instances:
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
-      instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus three others
+      instance Num Int -- Defined in ‘GHC.Num’
+      ...plus two others
     In the first argument of ‘(:)’, namely ‘1’
     In the expression: 1 : 2
     In an equation for ‘o’: o = 1 : 2
index dc301a8..37bb8b3 100644 (file)
@@ -7,10 +7,10 @@ tcfail072.hs:23:13:
       at tcfail072.hs:22:6-38
     The type variable ‘q0’ is ambiguous
     Note: there are several potential instances:
-      instance Integral a => Ord (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
       instance Ord () -- Defined in ‘GHC.Classes’
       instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’
-      ...plus 22 others
+      instance (Ord a, Ord b, Ord c) => Ord (a, b, c)
+        -- Defined in ‘GHC.Classes’
+      ...plus 21 others
     In the expression: g A
     In an equation for ‘g’: g (B _ _) = g A
index b23b944..058b063 100644 (file)
@@ -10,7 +10,7 @@ tcfail133.hs:68:7:
       instance Show One -- Defined at tcfail133.hs:9:28
       instance (Show a, Show b, Number a, Digit b) => Show (a :@ b)
         -- Defined at tcfail133.hs:11:54
-      ...plus 26 others
+      ...plus 25 others
     In the expression: show
     In the expression: show $ add (One :@ Zero) (One :@ One)
     In an equation for ‘foo’: