diff options
| author | simonpj <unknown> | 2006-01-05 10:02:58 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2006-01-05 10:02:58 +0000 |
| commit | 82e428eb5b208542dcc6c093d194932841fd9d8f (patch) | |
| tree | d25e559e1a3152de53ce8c32fbff6386c002fcfb /ghc/compiler/javaGen/PrintJava.lhs | |
| parent | acc7c96112e6554461ec6704f27fe4ae3fa7aae2 (diff) | |
| download | haskell-82e428eb5b208542dcc6c093d194932841fd9d8f.tar.gz | |
[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
Diffstat (limited to 'ghc/compiler/javaGen/PrintJava.lhs')
0 files changed, 0 insertions, 0 deletions