Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / overloadedlists / should_fail / overloadedlistsfail01.stderr
index 74ca081..dbc250d 100644 (file)
@@ -1,36 +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 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 24 others
+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’
+      ...plus 26 others
+      (use -fprint-potential-instances to see them all)
     In the expression: print [1]
-    In an equation for â\80\9bmain’: main = print [1]
+    In an equation for â\80\98main’: 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’
-    In the first argument of ‛print’, namely ‛[1]’
+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 â\80\9bmain’: main = print [1]
+    In an equation for â\80\98main’: 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:
-      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
+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 â\80\9bprintâ\80\99, namely â\80\9b[1]’
+    In the first argument of â\80\98printâ\80\99, namely â\80\98[1]’
     In the expression: print [1]