diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-07-18 12:01:55 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-19 09:04:03 -0400 |
| commit | f594a68a5500696d94ae36425bbf4d4073aca3b2 (patch) | |
| tree | b050963956c7309530f709d738dde7a25a5464eb /testsuite/tests/partial-sigs/should_fail | |
| parent | d9c6b86e922ef786411b852bd247ef5573ee7a59 (diff) | |
| download | haskell-f594a68a5500696d94ae36425bbf4d4073aca3b2.tar.gz | |
Use level numbers for generalisation
This fixes #15809, and is covered in
Note [Use level numbers for quantification] in TcMType.
This patch removes the "global tyvars" from the
environment, a nice little win.
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14040a.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14040a.stderr b/testsuite/tests/partial-sigs/should_fail/T14040a.stderr index 31e5c8c4e7..d03d0dc32b 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14040a.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14040a.stderr @@ -1,13 +1,13 @@ T14040a.hs:34:8: error: - • Cannot apply expression of type ‘Sing wl0 - -> (forall y. p0 _0 'WeirdNil) + • Cannot apply expression of type ‘Sing wl + -> (forall y. p _0 'WeirdNil) -> (forall z (x :: z) (xs :: WeirdList (WeirdList z)). Sing x -> Sing xs - -> p0 GHC.Types.Any xs - -> p0 GHC.Types.Any ('WeirdCons x xs)) - -> p0 GHC.Types.Any wl0’ + -> p GHC.Types.Any xs + -> p GHC.Types.Any ('WeirdCons x xs)) + -> p _1 wl’ to a visible type argument ‘(WeirdList z)’ • In the sixth argument of ‘pWeirdCons’, namely ‘(elimWeirdList @(WeirdList z) @xs @p xs pWeirdNil pWeirdCons)’ |