projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eef96a7) | patch
[project @ 2003-07-28 12:04:27 by simonpj]
authorsimonpj <unknown>
Mon, 28 Jul 2003 12:04:27 +0000 (12:04 +0000)
committersimonpj <unknown>
Mon, 28 Jul 2003 12:04:27 +0000 (12:04 +0000)
commitea067762fb2057e43f25306ee589f56aa21aeb0e
treef1cc3bdf436ad35f815921ca04b2605b071c622dtree | snapshot
parenteef96a799e366e63b0fb42c97daf7bcb7f1a8677commit | diff
[project @ 2003-07-28 12:04:27 by simonpj]
--------------------------
  Fix an obscure but long-standing bug in Type.applyTys
   --------------------------

The interesting case, which previously killed GHC 6.0, is this
applyTys (forall a.a) [forall b.b, Int]
This really can happen, via dressing up polymorphic types with newtype
clothing.  Here's an example:
newtype R = R (forall a. a->a)
foo = case undefined :: R of

Test simplCore/should_compile/simpl0009 uses this as a test case.
ghc/compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)