projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ef52f1) | patch
Type families: apply flattening coercions in the right order
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 05:51:36 +0000 (05:51 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 16 Sep 2008 05:51:36 +0000 (05:51 +0000)
commit447c0b257a0e8df3b79422b17ec2cf1d952027f3
treef48f375aef3441d4d225b363970220235a422e63tree | snapshot
parent7ef52f1d8104b990b2f0b2da240f45ecf2de7bf0commit | diff
Type families: apply flattening coercions in the right order
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)