Parsing madness
Opened this issue · 0 comments
jesper-bengtson commented
This fails to parse
Notation "'{xml:' e '>'" := e.
Eval simpl in {xml:5>.
Notation "'<xml:' e '>'" := e.
Eval simpl in xml:5.
This parses successfully.
Notation "'{xml:' e '}'" := e.
Eval simpl in {xml:5}.
Notation "'<xml:' e '}'" := e.
Eval simpl in <xml:5}.