X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=a827ee4c5e52b360568c6bc40f0e505f6e5d4076;hp=bd93101b921934351dc88f7b4326a042529ab90d;hb=HEAD;hpb=9241ac84d10f7e6b23841da2c0765275072ad7c1 diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp index bd93101..a827ee4 100644 --- a/compiler/parser/Parser.y.pp +++ b/compiler/parser/Parser.y.pp @@ -1032,6 +1032,7 @@ atype :: { LHsType RdrName } | '(' ctype ',' comma_types1 ')' { LL $ HsTupleTy Boxed ($2:$4) } | '(#' comma_types1 '#)' { LL $ HsTupleTy Unboxed $2 } | '[' ctype ']' { LL $ HsListTy $2 } + | '<{' ctype '}>' '@' tyvar { LL $ HsModalBoxType (unLoc $5) $2 } | '<[' ctype ']>' '@' tyvar { LL $ HsModalBoxType (unLoc $5) $2 } | '[:' ctype ':]' { LL $ HsPArrTy $2 } | '(' ctype ')' { LL $ HsParTy $2 }