Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail212.stderr
index 8ceab3e..ad5985e 100644 (file)
@@ -9,20 +9,6 @@ tcfail212.hs:10:14: error:
       Expected a type, but ‘Either Int’ has kind ‘* -> *’
     • In the type signature: f :: (Maybe, Either Int)
 
-tcfail212.hs:11:6: error:
-    • Couldn't match expected type ‘Maybe’
-                  with actual type ‘Maybe Integer’
-    • In the expression: Just 1
-      In the expression: (Just 1, Left 1)
-      In an equation for ‘f’: f = (Just 1, Left 1)
-
-tcfail212.hs:11:14: error:
-    • Couldn't match expected type ‘Either Int’
-                  with actual type ‘Either Integer b0’
-    • In the expression: Left 1
-      In the expression: (Just 1, Left 1)
-      In an equation for ‘f’: f = (Just 1, Left 1)
-
 tcfail212.hs:13:7: error:
     • Expecting a lifted type, but ‘Int#’ is unlifted
     • In the type signature: g :: (Int#, Int#)
@@ -30,3 +16,25 @@ tcfail212.hs:13:7: error:
 tcfail212.hs:13:13: error:
     • Expecting a lifted type, but ‘Int#’ is unlifted
     • In the type signature: g :: (Int#, Int#)
+
+tcfail212.hs:14:6: error:
+    • Couldn't match a lifted type with an unlifted type
+      When matching types
+        a :: *
+        Int# :: TYPE 'IntRep
+    • In the expression: 1#
+      In the expression: (1#, 2#)
+      In an equation for ‘g’: g = (1#, 2#)
+    • Relevant bindings include
+        g :: (a, b) (bound at tcfail212.hs:14:1)
+
+tcfail212.hs:14:10: error:
+    • Couldn't match a lifted type with an unlifted type
+      When matching types
+        b :: *
+        Int# :: TYPE 'IntRep
+    • In the expression: 2#
+      In the expression: (1#, 2#)
+      In an equation for ‘g’: g = (1#, 2#)
+    • Relevant bindings include
+        g :: (a, b) (bound at tcfail212.hs:14:1)