Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / overloadedlists / should_fail / overloadedlistsfail01.stderr
index 9f3a832..dbc250d 100644 (file)
@@ -1,34 +1,38 @@
 
-overloadedlistsfail01.hs:5:8:
-    No instance for (Show a0) arising from a use of ‘print’
-    The type variable ‘a0’ is ambiguous
-    Note: there are several potential instances:
-      instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
+overloadedlistsfail01.hs:5:8: error:
+    Ambiguous type variable ‘a0’ arising from a use of ‘print’
+    prevents the constraint ‘(Show a0)’ from being solved.
+    Probable fix: use a type annotation to specify what ‘a0’ should be.
+    These potential instances exist:
+      instance [safe] Show Version -- Defined in ‘Data.Version’
+      instance Show Module -- Defined in ‘GHC.Show’
       instance Show Ordering -- Defined in ‘GHC.Show’
-      instance Show Integer -- Defined in ‘GHC.Show’
-      ...plus 22 others
+      ...plus 26 others
+      (use -fprint-potential-instances to see them all)
     In the expression: print [1]
     In an equation for ‘main’: main = print [1]
 
-overloadedlistsfail01.hs:5:14:
-    No instance for (GHC.Exts.IsList a0)
-      arising from an overloaded list
-    The type variable ‘a0’ is ambiguous
-    Note: there is a potential instance available:
-      instance GHC.Exts.IsList [a] -- Defined in ‘GHC.Exts’
+overloadedlistsfail01.hs:5:14: error:
+    Ambiguous type variable ‘a0’ arising from an overloaded list
+    prevents the constraint ‘(IsList a0)’ from being solved.
+    Probable fix: use a type annotation to specify what ‘a0’ should be.
+    These potential instances exist:
+      instance IsList Version -- Defined in ‘GHC.Exts’
+      instance IsList [a] -- Defined in ‘GHC.Exts’
     In the first argument of ‘print’, namely ‘[1]’
     In the expression: print [1]
     In an equation for ‘main’: main = print [1]
 
-overloadedlistsfail01.hs:5:15:
-    No instance for (Num (GHC.Exts.Item a0))
-      arising from the literal ‘1’
-    The type variable ‘a0’ is ambiguous
-    Note: there are several potential instances:
+overloadedlistsfail01.hs:5:15: error:
+    Ambiguous type variable ‘a0’ arising from the literal ‘1’
+    prevents the constraint ‘(Num (Item a0))’ from being solved.
+    Probable fix: use a type annotation to specify what ‘a0’ should be.
+    These potential instances exist:
       instance Num Integer -- Defined in ‘GHC.Num’
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
       ...plus two others
+      (use -fprint-potential-instances to see them all)
     In the expression: 1
     In the first argument of ‘print’, namely ‘[1]’
     In the expression: print [1]