Skip to content

EPA: Duplicate AnnOpenP/AnnCloseP in DataDecl

For the code

data Proxy (a :: k) = Proxy

the parser inserts a duplicate AnnOpenP EPA for the opening paren, and likewise for the closing.

The one set is on the DataDecl, the other on KindedTyVar.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information