projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 162c7e7) | patch
(1) More lenient kind checking, (2) Fixed orientation problems and avoiding double...
authordimitris@microsoft.com <unknown>
Wed, 20 Oct 2010 11:55:26 +0000 (11:55 +0000)
committerdimitris@microsoft.com <unknown>
Wed, 20 Oct 2010 11:55:26 +0000 (11:55 +0000)
commitf8b7b3c6100d55125543b5f833b1a0078ad68908
tree91925c7724f7d3c12d213d03e49c7d653a16901ftree | snapshot
parent162c7e780267c73495fb245a873f7e3b8431471bcommit | diff
(1) More lenient kind checking, (2) Fixed orientation problems and avoiding double unifications, (3) Comments
compiler/typecheck/TcCanonical.lhs diff | blob | history
compiler/typecheck/TcInteract.lhs diff | blob | history
compiler/typecheck/TcSMonad.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)