projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b01bb1c) | patch
[project @ 2001-10-22 09:37:24 by simonpj]
authorsimonpj <unknown>
Mon, 22 Oct 2001 09:37:24 +0000 (09:37 +0000)
committersimonpj <unknown>
Mon, 22 Oct 2001 09:37:24 +0000 (09:37 +0000)
commite0f44735eb8fd4d078ffe11f396c3ab47e0b276e
tree0dd81ccf326fc9678912d38eff4fbba381cf503etree | snapshot
parentb01bb1ca7903c64668c541146a9d85d0b8e2e26fcommit | diff
[project @ 2001-10-22 09:37:24 by simonpj]
------------------------------------
Allow foralls in newtype-with-record
------------------------------------

MERGE WITH STABLE BRANCH

A simple fix to a longstanding omission.  The parser rejected

 newtype CPS a = CPS { unCPS :: forall ans . (a -> ans) -> ans }

because the production for "newconstr" said "type" instead of "ctype".
ghc/compiler/parser/Parser.y diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)