projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e35422) | patch
Ensure the orientation of var-var equalities is correct for instatiation
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 15 Mar 2009 06:57:09 +0000 (06:57 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 15 Mar 2009 06:57:09 +0000 (06:57 +0000)
commit0ae16401a0c73548ba4c08f588174f618c363a73
tree9c730767be399dffe55a9846a9039c35b504a129tree | snapshot
parent4e3542263207ae49963811aeb84927027e7bb61dcommit | diff
Ensure the orientation of var-var equalities is correct for instatiation
- During fianlisation we use to occasionally swivel variable-variable equalities
- Now, normalisation ensures that they are always oriented as appropriate for
  instantation.
- Also fixed #1899 properly; the previous fix fixed a symptom, not the cause.
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
compiler/utils/MonadUtils.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)