Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T3613.stderr
index f230fc4..a221a95 100644 (file)
@@ -1,16 +1,22 @@
 
-T3613.hs:14:20:
-    Couldn't match type ‘IO’ with ‘Maybe’
-    Expected type: Maybe ()
-      Actual type: IO ()
-    In the first argument of ‘(>>)’, namely ‘bar’
-    In the first argument of ‘fooThen’, namely ‘(bar >> undefined)’
+T3613.hs:14:20: error:
+    • Couldn't match type ‘IO’ with ‘Maybe’
+      Expected type: Maybe b
+        Actual type: IO b
+    • In the first argument of ‘fooThen’, namely ‘(bar >> undefined)’
+      In the expression: fooThen (bar >> undefined)
+      In the expression:
+        let fooThen m = foo >> m in fooThen (bar >> undefined)
 
-T3613.hs:17:24:
-    Couldn't match type ‘IO’ with ‘Maybe’
-    Expected type: Maybe ()
-      Actual type: IO ()
-    In a stmt of a 'do' block: bar
-    In the first argument of ‘fooThen’, namely
-      ‘(do { bar;
-             undefined })’
+T3613.hs:17:24: error:
+    • Couldn't match type ‘IO’ with ‘Maybe’
+      Expected type: Maybe ()
+        Actual type: IO ()
+    • In a stmt of a 'do' block: bar
+      In the first argument of ‘fooThen’, namely
+        ‘(do bar
+             undefined)’
+      In the expression:
+        fooThen
+          (do bar
+              undefined)