projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7905ea4) | patch
[project @ 2005-10-12 13:31:12 by simonpj]
authorsimonpj <unknown>
Wed, 12 Oct 2005 13:31:12 +0000 (13:31 +0000)
committersimonpj <unknown>
Wed, 12 Oct 2005 13:31:12 +0000 (13:31 +0000)
commit9334e393c162616a61c787833b126d3bde404dfa
treee46b147ec5fbbccd894e304b0c5cb7bf78da03f0tree | snapshot
parent7905ea4159222b4bf412f60ab8bdea855809995ecommit | diff
[project @ 2005-10-12 13:31:12 by simonpj]
MERGE TO STABLE

Fix a bug in TcUnify.unifyTyConApp that made a GADT program fail.
The trouble happens if the type that we are expecting to be
a TyConApp is of form (m a b), where 'm' is refined to a type
constructor.  Then we want to get nice rigid results, and we weren't.
ghc/compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)