projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 925f8da) | patch
Type families: fixes in the new solver
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 18 Sep 2008 10:09:34 +0000 (10:09 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 18 Sep 2008 10:09:34 +0000 (10:09 +0000)
commit619efa4035d215c16ea657f2b038362c87b769fc
tree59b8473b2464ccaed2eb55840d3989e388e11684tree | snapshot
parent925f8dad0be07440b996c89dad2cc32e76ce8070commit | diff
Type families: fixes in the new solver
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)