Closed GoogleCodeExporter closed 9 years ago
Additional nodes:
we should ensure compatibility with OE. It seems the case that:
* If a comment tag-val line ends with a syntactically correct trailing qualifier, then it is treated as a trailing qualifier
* Otherwise, if the comment line contains an unescaped '{' it will either
* 1. repair this by escaping with '\'
* 2. throw an error
I revise my initial recommendation. I think we should allow trailing qualifiers
on comments (this will be useful in general), translated to axiom annotations
as usual. Unescaped trailing qualifiers are errors - we may want to provide
repairs, but this may be hard to implement as we aren't sticking to the
grammar, so I think it is fine to throw errors with unescaped '{'s.
In fact I believe this is the current behavior, so nothing need be changed in
the implementation here.
Original comment by cmung...@gmail.com
on 29 Nov 2012 at 8:28
Original comment by cmung...@gmail.com
on 29 Nov 2012 at 8:28
Original issue reported on code.google.com by
cmung...@gmail.com
on 21 Sep 2012 at 10:13