diff options
author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-07-05 14:21:43 -0400 |
---|---|---|
committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-07-10 19:07:23 -0400 |
commit | 042df603cbb5a77ec13ccfec2ce7bad2bb940aae (patch) | |
tree | dcd4c2290e9f24f9d378a42a1c6eb601de3d0afd /testsuite/tests/typecheck/should_compile/T2494.stderr | |
parent | 8ec2946048123f9278cf68eaf520104319a1f569 (diff) | |
download | haskell-042df603cbb5a77ec13ccfec2ce7bad2bb940aae.tar.gz |
Unwrap casts before checking vars in eager unifier
Previously, checking whether (tv |> co) ~ (tv |> co) got deferred,
because we looked for vars before stripping casts. (The left type
would get stripped, and then tv ~ (tv |> co) would scare the occurs-
checker.)
This opportunity for improvement presented itself in other work.
This is just an optimization. Some programs can now report more
errors simultaneously.
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T2494.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T2494.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 4a9d3c0978..5cf4fde746 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -20,11 +20,11 @@ T2494.hs:15:14: error: x :: Maybe a (bound at T2494.hs:14:65) T2494.hs:15:30: error: - • Couldn't match type ‘a’ with ‘b’ - ‘a’ is a rigid type variable bound by + • Couldn't match type ‘b’ with ‘a’ + ‘b’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:(12,1)-(15,33) - ‘b’ is a rigid type variable bound by + ‘a’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:(12,1)-(15,33) Expected type: Maybe (m b) -> Maybe (m a) |