X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=a750397ea3716d0106bf4c6a00427958b62e8b37;hb=e1231b2bcb1c9294c2ecdf150e9aad72a0caa253;hp=1a20fa8ec57d76c61c8210c9994be9514a80c5f1;hpb=c2a3f5861959f9b80ee65c16212447788217223d;p=ghc-hetmet.git diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp index 1a20fa8..a750397 100644 --- a/compiler/parser/Parser.y.pp +++ b/compiler/parser/Parser.y.pp @@ -32,7 +32,7 @@ import SrcLoc ( Located(..), unLoc, getLoc, noLoc, combineSrcSpans, mkSrcLoc, mkSrcSpan ) import Module import StaticFlags ( opt_SccProfilingOn ) -import Type ( Kind, mkArrowKind, liftedTypeKind ) +import Type ( Kind, mkArrowKind, liftedTypeKind, unliftedTypeKind ) import BasicTypes ( Boxity(..), Fixity(..), FixityDirection(..), IPName(..), Activation(..), defaultInlineSpec ) import OrdList @@ -850,6 +850,7 @@ kind :: { Kind } akind :: { Kind } : '*' { liftedTypeKind } + | '!' { unliftedTypeKind } | '(' kind ')' { $2 }