summaryrefslogtreecommitdiff
path: root/compiler/codeGen
diff options
context:
space:
mode:
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>2008-03-13 05:17:08 +0000
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>2008-03-13 05:17:08 +0000
commit3bbdfc759bf1f466313afab0c0c50547ccde8e24 (patch)
tree04b227ec0032286ba63046612ab3a789dd383132 /compiler/codeGen
parent11a4f9a91213e98c586feeb64c41c0e07037df66 (diff)
downloadhaskell-3bbdfc759bf1f466313afab0c0c50547ccde8e24.tar.gz
Properly normalise reduced dicts
- Another chapter in the never-ending TcSimplify.reduceContext saga: after context reduction of wanted dicts it is not sufficient to normalise them wrt to the wanted equalities. We also need to take top-level equalities into account. (In fact, we probably also have to normalise wrt to given equalities, but I have left that open for the moment - but added a TODO note.) - This finally eliminates substEqInDictInsts from TcTyFuns interface and suggest some further possible clean up (which will be in a separate patch). Thanks to Roman for the intricate example that uncovered this bug.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions