Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / overloadedlists / should_fail / overloadedlistsfail01.stderr
index 52658fd..dbc250d 100644 (file)
@@ -1,33 +1,38 @@
-\r
-overloadedlistsfail01.hs:5:8:\r
-    No instance for (Show a0) arising from a use of ‘print’\r
-    The type variable ‘a0’ is ambiguous\r
-    Note: there are several potential instances:\r
-      instance [safe] Show Version -- Defined in ‘Data.Version’\r
-      instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’\r
-      instance Show Ordering -- Defined in ‘GHC.Show’\r
-      ...plus 23 others\r
-    In the expression: print [1]\r
-    In an equation for ‘main’: main = print [1]\r
-\r
-overloadedlistsfail01.hs:5:14:\r
-    No instance for (IsList a0) arising from an overloaded list\r
-    The type variable ‘a0’ is ambiguous\r
-    Note: there are several potential instances:\r
-      instance IsList Version -- Defined in ‘GHC.Exts’\r
-      instance IsList [a] -- Defined in ‘GHC.Exts’\r
-    In the first argument of ‘print’, namely ‘[1]’\r
-    In the expression: print [1]\r
-    In an equation for ‘main’: main = print [1]\r
-\r
-overloadedlistsfail01.hs:5:15:\r
-    No instance for (Num (Item a0)) arising from the literal ‘1’\r
-    The type variable ‘a0’ is ambiguous\r
-    Note: there are several potential instances:\r
-      instance Num Integer -- Defined in ‘GHC.Num’\r
-      instance Num Double -- Defined in ‘GHC.Float’\r
-      instance Num Float -- Defined in ‘GHC.Float’\r
-      ...plus two others\r
-    In the expression: 1\r
-    In the first argument of ‘print’, namely ‘[1]’\r
-    In the expression: print [1]\r
+
+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 ‘main’: main = print [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 ‘main’: main = print [1]
+
+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]