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 /.gitlab-ci.yml | |
| 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 '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions