diff options
Diffstat (limited to 'testsuite/tests/parser/should_fail/T7848.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/T7848.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/parser/should_fail/T7848.stderr b/testsuite/tests/parser/should_fail/T7848.stderr index f7617ee606..e1a64e4668 100644 --- a/testsuite/tests/parser/should_fail/T7848.stderr +++ b/testsuite/tests/parser/should_fail/T7848.stderr @@ -1,9 +1,9 @@ T7848.hs:6:1: error: • Occurs check: cannot construct the infinite type: - t ~ t0 -> t1 -> A -> A -> A -> A -> t2 -> t + t ~ t2 -> t1 -> A -> A -> A -> A -> t0 -> t • When checking that: - t0 -> t1 -> A -> A -> A -> A -> forall t2. t2 -> t + t2 -> t1 -> A -> A -> A -> A -> forall t4. t4 -> t is more polymorphic than: t • Relevant bindings include x :: t (bound at T7848.hs:6:1) |