Closed lucaswerkmeister closed 3 years ago
This switches our JSON parser from the GSON library to a custom ANTLR-generated parser, and uses the greater insight this allows us into the JSON parse tree to attach source locations to all AST nodes. See the individual commit messages for details.
This switches our JSON parser from the GSON library to a custom ANTLR-generated parser, and uses the greater insight this allows us into the JSON parse tree to attach source locations to all AST nodes. See the individual commit messages for details.