Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T3613.stderr
index 6d3c703..a221a95 100644 (file)
@@ -14,9 +14,9 @@ T3613.hs:17:24: error:
         Actual type: IO ()
     • In a stmt of a 'do' block: bar
       In the first argument of ‘fooThen’, namely
-        ‘(do { bar;
-               undefined })’
+        ‘(do bar
+             undefined)’
       In the expression:
         fooThen
-          (do { bar;
-                undefined })
+          (do bar
+              undefined)