Ignore tail remarks in the express schema parser

2026-08-11 02:02:22 +00:00 · 2015-08-13 14:18:59 +02:00
parent 17f6e67706
commit 810d3eab1e
1 changed files with 1 additions and 0 deletions
@@ -173,6 +173,7 @@ import implementation
 import latebound_header
 import latebound_implementation

+syntax.ignore("--" + restOfLine)
 syntax.ignore(Regex(r"\((?:\*(?:[^*]*\*+)+?\))"))
 ast = syntax.parseFile(sys.argv[1])
 schema = schema.Schema(ast)