diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-04-06 15:01:01 +0100 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-04-06 15:01:01 +0100 |
| commit | f0d10e348d29c19a439d921dfbfb0c66a02f6b75 (patch) | |
| tree | 47927277859c4c17f59736d980eae7277eecd838 | |
| parent | 3f46b1e3cb1dcf4e3ebb090284e0ca1d94f1eb17 (diff) | |
| download | haskell-f0d10e348d29c19a439d921dfbfb0c66a02f6b75.tar.gz | |
Allow promoted constructors in the typedoc production (#5948)
| -rw-r--r-- | compiler/parser/Parser.y.pp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp index 9774c245e7..fc6a95070b 100644 --- a/compiler/parser/Parser.y.pp +++ b/compiler/parser/Parser.y.pp @@ -1053,6 +1053,9 @@ typedoc :: { LHsType RdrName } | btype '->' ctypedoc { LL $ HsFunTy $1 $3 } | btype docprev '->' ctypedoc { LL $ HsFunTy (L (comb2 $1 $2) (HsDocTy $1 $2)) $4 } | btype '~' btype { LL $ HsEqTy $1 $3 } + -- see Note [Promotion] + | btype SIMPLEQUOTE qconop type { LL $ mkHsOpTy $1 $3 $4 } + | btype SIMPLEQUOTE varop type { LL $ mkHsOpTy $1 $3 $4 } btype :: { LHsType RdrName } : btype atype { LL $ HsAppTy $1 $2 } |