diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2018-06-24 22:00:22 +0200 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2018-06-24 22:42:17 +0200 |
| commit | 5db9f9129e7519db0c9841fbe7c14f350c23284c (patch) | |
| tree | ad9b970ad91c3f03e671d1f94f6b1a1791339971 /compiler/parser/Parser.y | |
| parent | 33724fc75499a3dfaf2ffcc4bf5db6d505df58f4 (diff) | |
| download | haskell-5db9f9129e7519db0c9841fbe7c14f350c23284c.tar.gz | |
Tweak API Annotations for ConDeclGADT
Diffstat (limited to 'compiler/parser/Parser.y')
| -rw-r--r-- | compiler/parser/Parser.y | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y index 0e93dd043b..6b0317bd9c 100644 --- a/compiler/parser/Parser.y +++ b/compiler/parser/Parser.y @@ -1882,7 +1882,8 @@ is connected to the first type too. type :: { LHsType GhcPs } : btype { $1 } - | btype '->' ctype {% ams (sLL $1 $> $ HsFunTy noExt $1 $3) + | btype '->' ctype {% ams $1 [mu AnnRarrow $2] -- See note [GADT decl discards annotations] + >> ams (sLL $1 $> $ HsFunTy noExt $1 $3) [mu AnnRarrow $2] } |