projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8732b3) | patch
Make dicts for arbitrary type equalities
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Dec 2006 20:33:00 +0000 (20:33 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Dec 2006 20:33:00 +0000 (20:33 +0000)
commit02c48cf14cd8c7771dfb41089412f35e1eaeedd5
treeb5c5f426c596b940ac9234d1c01aa03ee34773d2tree | snapshot
parentc8732b3c99e93c36ad28e23d2b901b794e89542acommit | diff
Make dicts for arbitrary type equalities
compiler/typecheck/Inst.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)