projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e40d88) | patch
Add types of implicit parameters as untouchable
authorsimonpj@microsoft.com <unknown>
Fri, 17 Sep 2010 14:01:38 +0000 (14:01 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 17 Sep 2010 14:01:38 +0000 (14:01 +0000)
commit6eff70f0286a307a7266c87358493478b5f54933
treec67d36ec235e1dcf6a9ef40eff33e03f55a84dddtree | snapshot
parent4e40d888c15e84922c3ca02a9dda67b1d75a02f9commit | diff
Add types of implicit parameters as untouchable

This is a tricky point:
   see Note [Implicit parameter untouchables]
compiler/typecheck/TcBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)