projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b57a937) | patch
Include the "stupid theta" in the type of $con2tag
authorsimonpj@microsoft.com <unknown>
Sun, 19 Sep 2010 15:22:01 +0000 (15:22 +0000)
committersimonpj@microsoft.com <unknown>
Sun, 19 Sep 2010 15:22:01 +0000 (15:22 +0000)
commite4b5abb6ddfd07a7f95455c94faf2946a1bc078e
tree5508e3be0600830a8b45c3e9d3855f62a3733ba6tree | snapshot
parentb57a93743f6d31a481bf462c6cf867196f9b60abcommit | diff
Include the "stupid theta" in the type of $con2tag
compiler/typecheck/TcGenDeriv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)