projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acc7c96) | patch
[project @ 2006-01-05 10:02:58 by simonpj]
authorsimonpj <unknown>
Thu, 5 Jan 2006 10:02:58 +0000 (10:02 +0000)
committersimonpj <unknown>
Thu, 5 Jan 2006 10:02:58 +0000 (10:02 +0000)
commit82e428eb5b208542dcc6c093d194932841fd9d8f
treed25e559e1a3152de53ce8c32fbff6386c002fcfbtree | snapshot
parentacc7c96112e6554461ec6704f27fe4ae3fa7aae2commit | diff
[project @ 2006-01-05 10:02:58 by simonpj]
'newtype' declarations are now parsed exactly like data type declarations,
so that you can declare newtypes using GADT syntax.  But that means we
must check all the newtype restrictions separately, and I mised one.
This commit checks that there is no existential context on the newtype.

Test is tcfail156
ghc/compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)