summaryrefslogtreecommitdiff
path: root/compiler/parser
diff options
context:
space:
mode:
authorAlan Zimmerman <alan.zimm@gmail.com>2018-06-26 11:07:07 +0200
committerAlan Zimmerman <alan.zimm@gmail.com>2018-06-26 11:09:50 +0200
commite53c113dcfeca9ee957722ede3d8b6a2c4c751a1 (patch)
tree0fb1d4c0e34c0371dbf321cc6a55ef9d5c7e3ea6 /compiler/parser
parent1c2c2d3dfd4c36884b22163872feb87122b4528d (diff)
downloadhaskell-e53c113dcfeca9ee957722ede3d8b6a2c4c751a1.tar.gz
API Annotations when parsing typapp
Make sure the original annotations are still accessible for a promoted type. Closes #15303
Diffstat (limited to 'compiler/parser')
-rw-r--r--compiler/parser/Parser.y4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y
index 6b0317bd9c..d038562a73 100644
--- a/compiler/parser/Parser.y
+++ b/compiler/parser/Parser.y
@@ -1930,9 +1930,9 @@ tyapp :: { Located TyEl }
| qtyconop { sL1 $1 $ TyElOpr (unLoc $1) }
| tyvarop { sL1 $1 $ TyElOpr (unLoc $1) }
| SIMPLEQUOTE qconop {% ams (sLL $1 $> $ TyElOpr (unLoc $2))
- [mj AnnSimpleQuote $1] }
+ [mj AnnSimpleQuote $1,mj AnnVal $2] }
| SIMPLEQUOTE varop {% ams (sLL $1 $> $ TyElOpr (unLoc $2))
- [mj AnnSimpleQuote $1] }
+ [mj AnnSimpleQuote $1,mj AnnVal $2] }
atype_docs :: { LHsType GhcPs }
: atype docprev { sLL $1 $> $ HsDocTy noExt $1 $2 }