diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/simpl017.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/simpl017.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/simplCore/should_compile/simpl017.stderr b/testsuite/tests/simplCore/should_compile/simpl017.stderr index 5a82506164..96c8e1ea2d 100644 --- a/testsuite/tests/simplCore/should_compile/simpl017.stderr +++ b/testsuite/tests/simplCore/should_compile/simpl017.stderr @@ -1,9 +1,9 @@ simpl017.hs:50:15: error: - • Couldn't match type ‘[E m i] -> E' v0 m a’ - with ‘forall v. [E m i] -> E' v m a’ - Expected type: E m (forall v. [E m i] -> E' v m a) - Actual type: E' RValue m ([E m i] -> E' v0 m a) + • Couldn't match type: [E m i] -> E' v0 m a + with: forall v. [E m i] -> E' v m a + Expected: E m (forall v. [E m i] -> E' v m a) + Actual: E' RValue m ([E m i] -> E' v0 m a) • In the expression: E (do let ix :: [E m i] -> m i ix [i] = runE i |