projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 762c243) | patch
Fix Trac #4401: meta-tyvars allocated by the constraint solver are always touchable
authorsimonpj@microsoft.com <unknown>
Fri, 15 Oct 2010 13:08:18 +0000 (13:08 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 15 Oct 2010 13:08:18 +0000 (13:08 +0000)
commit27225b0c9f799a251c96242f502e8cfd6bf76d7c
treefd09e9f2c38c79f011ec2350f2550bb0bd455e3ctree | snapshot
parent762c24327f4a2f874fb8a4b2d6717d36aa6c5e02commit | diff
Fix Trac #4401: meta-tyvars allocated by the constraint solver are always touchable

  See Note [Touchable meta type variables] in TcSMonad
compiler/typecheck/TcMType.lhs diff | blob | history
compiler/typecheck/TcSMonad.lhs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)