projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d90023f) | patch
Preserve rigidity for GADTs when typechecking explicit tuples
authorsimonpj@microsoft.com <unknown>
Tue, 9 Jan 2007 13:53:14 +0000 (13:53 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 9 Jan 2007 13:53:14 +0000 (13:53 +0000)
commit3ee928b370511b9889a581e3e34ebe7ea9376004
treeaf4aaed71d63f03e04c8971833438764a036d5d4tree | snapshot
parentd90023f2e54e2c0b5aad169d0f55748a152feccecommit | diff
Preserve rigidity for GADTs when typechecking explicit tuples
compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)