projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 006bb4c) | patch
Reject newtypes with strictness annotations; fixes read008
authorsimonpj@microsoft.com <unknown>
Wed, 30 May 2007 07:16:25 +0000 (07:16 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 30 May 2007 07:16:25 +0000 (07:16 +0000)
commit923ee9d360ed15331ac6faf8a6b4aca334fc0cee
treecab58aa28d2c27a339ef46034aa963226e88db8dtree | snapshot
parent006bb4c15e01c1521f10d1e74cea70c82363b502commit | diff
Reject newtypes with strictness annotations; fixes read008

This used to be a parse error, but ! annotations are now handled
further downstream in the compiler, and I'd forgotten to check
that newtypes do not have strictness annotations.

The test read008 is technically in the wrong place (it's a typechecker
test now) but that doesn't matter
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)