diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-12 08:15:44 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-12 08:19:39 +0100 |
| commit | beb2f7434feb63fef7f0a0993104253b4169ccad (patch) | |
| tree | 579572d9072e46f04347421842e3940ca49ebf09 /compiler/codeGen | |
| parent | 9991890d284272e03f95ad9995bf21ec56ec7524 (diff) | |
| download | haskell-beb2f7434feb63fef7f0a0993104253b4169ccad.tar.gz | |
Be lazier when typechecking data type contexts (Trac #7321)
We should be lazy when type-checking the equality-contraint
part of a data constructor's type, to make the knot-tying
work out right. The fact that it's always worked before
is a fluke: no one else wrote a GADT whose type index mentions
itself
data T a wher
MkT :: T (T Int)
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions