diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-14 15:26:19 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-27 16:57:19 +0000 |
| commit | 4efe5fed407067d4b27000e0cf4092cfb6f7502b (patch) | |
| tree | 73b9e91b589ff78dc2206391267ed7e6901daf7e /docs/users_guide/utils.py | |
| parent | 00b96b27d9a014a5d788960eea7edb811a48570e (diff) | |
| download | haskell-4efe5fed407067d4b27000e0cf4092cfb6f7502b.tar.gz | |
Check quantification for partial type signatues
Trac #14449 showed that we were failing to check that the
quantified type variables of a partial type signature remained
distinct.
See Note [Quantified variables in partial type signatures]
in TcBinds.
A little refactoring along the way.
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions