Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4174.stderr
index 19d3e8d..6b5ada2 100644 (file)
@@ -1,7 +1,28 @@
 
 T4174.hs:42:12:
-    Couldn't match type ‘False’ with ‘True’
-    Expected type: True
-      Actual type: GHCVersion (WayOf m) :>=: GHC6'10 Minor1
+    Couldn't match type ‘a’ with ‘SmStep’
+      ‘a’ is a rigid type variable bound by
+          the type signature for
+            testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
+          at T4174.hs:41:13
+    Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
+      Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
+    Relevant bindings include
+      testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
+        (bound at T4174.hs:42:1)
+    In the expression: sync_large_objects
+    In an equation for ‘testcase’: testcase = sync_large_objects
+
+T4174.hs:42:12:
+    Couldn't match type ‘b’ with ‘RtsSpinLock’
+      ‘b’ is a rigid type variable bound by
+          the type signature for
+            testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
+          at T4174.hs:41:13
+    Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
+      Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
+    Relevant bindings include
+      testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
+        (bound at T4174.hs:42:1)
     In the expression: sync_large_objects
     In an equation for ‘testcase’: testcase = sync_large_objects