diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-24 17:01:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-24 17:01:41 +0100 |
| commit | 08ba691ad55f30e67466628125244392c48ce1ab (patch) | |
| tree | bfa0d2fcade2a1f0584e94d4951a3524ba06eda8 /testsuite/tests/gadt | |
| parent | 1221f8104bb5123c18bd5b840cde9ab2e71247d5 (diff) | |
| download | haskell-08ba691ad55f30e67466628125244392c48ce1ab.tar.gz | |
Take account of kinds in promoteTcType
One of the ASSERT failures in Trac #12762, namely the one for T4439,
showed that I had not dealt correctly with promoting the kind of
a type in promoteTcType.
Happily I could fix this by simplifying InferRes (eliminating the
ir_kind field), so things get better. And the ASSERT is fixed.
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/gadt7.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index f75e8c5bff..7678a6ab07 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -1,15 +1,15 @@ gadt7.hs:16:38: error: • Couldn't match expected type ‘p’ with actual type ‘p1’ - ‘p1’ is untouchable + ‘p’ is untouchable inside the constraints: a ~ Int bound by a pattern with constructor: K :: T Int, in a case alternative at gadt7.hs:16:33 - ‘p1’ is a rigid type variable bound by - the inferred type of i1b :: T a -> p1 -> p at gadt7.hs:16:1-44 ‘p’ is a rigid type variable bound by the inferred type of i1b :: T a -> p1 -> p at gadt7.hs:16:1-44 + ‘p1’ is a rigid type variable bound by + the inferred type of i1b :: T a -> p1 -> p at gadt7.hs:16:1-44 Possible fix: add a type signature for ‘i1b’ • In the expression: y1 In a case alternative: K -> y1 |