testsuite/tests/polykinds/T11203.hs · 49f69f50afbfd352f0e9645b4dbe87200e63b37e · Reinier Maas / GHC

Forked from Glasgow Haskell Compiler / GHC

5864 commits behind the upstream repository.

7 years ago

This patch fixes two bugs in the treatment of SigTvs at the
kind level:

- We should always generalise them, never default them
  (Trac #14555, #14563)

- We should check if they get unified with each other
  (Trac #11203)

Both are described in TcHsType
   Note [Kind generalisation and SigTvs]

8361b2c5

History

Fix SigTvs at the kind level

Simon Peyton Jones authored 7 years ago

This patch fixes two bugs in the treatment of SigTvs at the
kind level:

- We should always generalise them, never default them
  (Trac #14555, #14563)

- We should check if they get unified with each other
  (Trac #11203)

Both are described in TcHsType
   Note [Kind generalisation and SigTvs]

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

T11203.hs 145 B