EqInst related clean up
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 09:50:18 +0000 (09:50 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 6 Sep 2007 09:50:18 +0000 (09:50 +0000)
commit4ba96c06f2b69ea1fe2b27718013713e94c1520c
treeb155f9b57a83eaf5e17a2be8cf626e16504a22cb
parent0bca9b76899d5baab892d26d6054db5b7189392c
EqInst related clean up
- Remove some unused and some superflous functions
- Add comments regarding ancestor equalities
- Tidied ancestor equality computation
- Replace some incorrect instToId by instToVar (but there are still some
  bad ones around as we still get warnings with -DDEBUG)
- Some cleaned up layout
NB: Code growth is just due to more comments.
compiler/typecheck/Inst.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcTyFuns.lhs
compiler/typecheck/TcUnify.lhs