diff --git a/src/main/kotlin/gay/pizza/pork/main.kt b/src/main/kotlin/gay/pizza/pork/main.kt index 1971cf4..51fc83a 100644 --- a/src/main/kotlin/gay/pizza/pork/main.kt +++ b/src/main/kotlin/gay/pizza/pork/main.kt @@ -46,8 +46,13 @@ fun main(args: Array) { } val generated = buildString { Printer(this).visit(program) } + val parsedAst = parse(tokenize(generated)) parse(tokenize(generated)) println(generated) + + if (program != parsedAst) { + throw RuntimeException("Equality of parsed AST from printer was not proven.") + } } fun tokenize(input: String): TokenStream =