projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e5de09) | patch
Cleanup of equality rewriting and no swapInsts for wanteds
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 11:58:18 +0000 (11:58 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 11:58:18 +0000 (11:58 +0000)
commit4db20c6efe4213f815cabcd3d1c78529aa6490df
tree08b1b386c16844975ba3e6208e43ea03888280a1tree | snapshot
parent1e5de096a2eb4b8ebf3fb0659f13d7ef346fb7cbcommit | diff
Cleanup of equality rewriting and no swapInsts for wanteds
- Removed code duplication
- Added comments
- Took out swapInsts for wanteds.  With the recent extension to swapInsts
  it does mess up error messages if applied to wanteds and i should not be
  necessary.
NB: The code actually shrunk.  Line increase is due to comments.
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)