projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9892daf) | patch
Type families: need to instantiate flexible skolems before other flexibles
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 30 Sep 2008 05:35:59 +0000 (05:35 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 30 Sep 2008 05:35:59 +0000 (05:35 +0000)
commit291813f135a24ee6b48c1d9ddcbac9836cd17296
tree8dcf4a585fcd93a0a6accf5c9a7f181fb4012660tree | snapshot
parent9892daf7fac4087813c6f5fedfc3de5d19410689commit | diff
Type families: need to instantiate flexible skolems before other flexibles

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