diff options
author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2008-03-13 05:17:08 +0000 |
---|---|---|
committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2008-03-13 05:17:08 +0000 |
commit | 3bbdfc759bf1f466313afab0c0c50547ccde8e24 (patch) | |
tree | 04b227ec0032286ba63046612ab3a789dd383132 /compiler/codeGen | |
parent | 11a4f9a91213e98c586feeb64c41c0e07037df66 (diff) | |
download | haskell-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