projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a187566) | patch
Type families: unify with family apps in checking mode
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 17 Sep 2008 06:25:48 +0000 (06:25 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 17 Sep 2008 06:25:48 +0000 (06:25 +0000)
commitc7ae8f20f93b4e36837fc3ecafccd3f49c95cb6b
treee1aab08dfaf1d73d9effcbcd7f7fb07fec2b3320tree | snapshot
parenta187566d4ce21b657fd5268373d0e3743d29d886commit | diff
Type families: unify with family apps in checking mode
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)