From 26a225e230e41de4c227bd2b51ee2fed304ccf25 Mon Sep 17 00:00:00 2001 From: tydeu Date: Sun, 12 Dec 2021 14:12:23 -0500 Subject: [PATCH] chore: fix tests --- tests/lean/doErrorMsg.lean.expected.out | 2 +- tests/lean/doNotation1.lean.expected.out | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/lean/doErrorMsg.lean.expected.out b/tests/lean/doErrorMsg.lean.expected.out index 107b4ac831..6ad2922f43 100644 --- a/tests/lean/doErrorMsg.lean.expected.out +++ b/tests/lean/doErrorMsg.lean.expected.out @@ -1,7 +1,7 @@ doErrorMsg.lean:3:2-3:13: error: type mismatch IO.getStdin has type - IO IO.FS.Stream : Type + BaseIO IO.FS.Stream : Type but is expected to have type IO PUnit : Type doErrorMsg.lean:15:19-15:21: error: type mismatch diff --git a/tests/lean/doNotation1.lean.expected.out b/tests/lean/doNotation1.lean.expected.out index df33977254..e51d44aaa9 100644 --- a/tests/lean/doNotation1.lean.expected.out +++ b/tests/lean/doNotation1.lean.expected.out @@ -25,7 +25,7 @@ fun x => IO.println x doNotation1.lean:51:0-51:13: error: type mismatch IO.mkRef true has type - IO (IO.Ref Bool) : Type + BaseIO (IO.Ref Bool) : Type but is expected to have type IO Unit : Type doNotation1.lean:58:2-58:20: error: type mismatch, result value has type