diff options
| author | simonpj@microsoft.com <unknown> | 2006-09-05 10:51:43 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-09-05 10:51:43 +0000 |
| commit | c18587da71e16b581c293baee8d4af119b108da7 (patch) | |
| tree | 3c13ef11c2a98a17db520a0160cd87e39a94ed19 /rts | |
| parent | c1af52e4ff204c12c7b7f871a8c007214fb44190 (diff) | |
| download | haskell-c18587da71e16b581c293baee8d4af119b108da7.tar.gz | |
Fix dependency analysis (notably bindInstsOfLocalFuns) in TcBinds
GHC 6.5 does enhanced dependency analysis for recursive bindings, to
maximise polymorphism based on type signatures. (See Mark Jones's
THIH paper.)
I didn't do the bindInstsOfLocalFuns part correctly though, and jhc
showed up the bug. (It only matters when you have a recursive group
of two or more functions with a type signature, not at top level, which
is why it hasn't shown up till now.)
Test is tc207.hs
Diffstat (limited to 'rts')
0 files changed, 0 insertions, 0 deletions