projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dd1836) | patch
Type families: consider subst rules both way
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 29 Sep 2008 14:10:40 +0000 (14:10 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 29 Sep 2008 14:10:40 +0000 (14:10 +0000)
commit8a680445dbd48735792e1f29ceec168ff59df3fd
tree23d0bb20ffcb9796d626017a3bb75559ce44cecdtree | snapshot
parent6dd1836974634f9ef0bc417230deb5f757e1c618commit | diff
Type families: consider subst rules both way
- applySubstFam, applySubstVarVar & applySubstVarFam need to return their
  second argument -to be put into the todo list- if the rule would be
  applicable if the equalities would be supplied in the opposite order.

MERGE TO 6.10
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)