Skip to content

parser: API Annotations : guardquals1 does not annotate commas properly

The guardquals1 production includes

    : guardquals1 ',' qual  {% addAnnotation (gl $ last $ unLoc $1) AnnComma
                                             (gl $2) >>
                               return (sLL $1 $> ($3 : unLoc $1)) }

The AnnComma should be attached to (gl $ head $ unLoc $1), rather than last.

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