diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-05 10:39:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-06 14:18:46 +0000 |
| commit | 28299d6827b334f5337bf5931124abc1e534f33f (patch) | |
| tree | 060e0511e71fd3a0dafd05dcb2ced88807bff259 /compiler/utils/GraphOps.hs | |
| parent | 8e2ed2c7b1eab2468a061af61fe69efbe959b091 (diff) | |
| download | haskell-28299d6827b334f5337bf5931124abc1e534f33f.tar.gz | |
Always generalise a partial type signature
This fixes an ASSERT failure in TcBinds. The problem was that we
were generating NoGen plan for a function with a partial type signature,
and that led to confusion and lost invariants.
See Note [Partial type signatures and generalisation] in TcBinds
Diffstat (limited to 'compiler/utils/GraphOps.hs')
0 files changed, 0 insertions, 0 deletions