Built-in Natural literals in Core
[ghc.git] / testsuite / tests / ado / T13242a.stderr
index dc4564f..a8e6495 100644 (file)
@@ -1,8 +1,7 @@
 
 T13242a.hs:10:5: error:
     • Couldn't match expected type ‘a0’ with actual type ‘a’
-        because type variable ‘a’ would escape its scope
-      This (rigid, skolem) type variable is bound by
+      ‘a’ is a rigid type variable bound by
         a pattern with constructor: A :: forall a. Eq a => a -> T,
         in a pattern binding in
              'do' block
@@ -28,10 +27,10 @@ T13242a.hs:13:11: error:
       These potential instances exist:
         instance Eq Ordering -- Defined in ‘GHC.Classes’
         instance Eq Integer
-          -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
-        instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base
-        ...plus 22 others
-        ...plus five instances involving out-of-scope types
+          -- Defined in ‘integer-gmp-1.0.2.0:GHC.Integer.Type’
+        instance Eq () -- Defined in ‘GHC.Classes
+        ...plus 21 others
+        ...plus six instances involving out-of-scope types
         (use -fprint-potential-instances to see them all)
     • In a stmt of a 'do' block: return (x == x)
       In the expression: