strips/pork
2
0
Fork 0
mirror of https://github.com/GayPizzaSpecifications/pork.git synced 2025-08-03 05:10:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add check to make sure re-parsed AST is equal.

Browse Source
This commit is contained in:
Alex Zenla 2023-08-21 00:59:55 -07:00
parent 1de73ed855
commit 5f4d74008e
Signed by: alex
GPG Key ID: C0780728420EBFE5
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/kotlin/gay/pizza/pork/main.kt
View File

@ -46,8 +46,13 @@ fun main(args: Array<String>) {
} }
val generated = buildString { Printer(this).visit(program) } val generated = buildString { Printer(this).visit(program) }
val parsedAst = parse(tokenize(generated))
parse(tokenize(generated)) parse(tokenize(generated))
println(generated) println(generated)
if (program != parsedAst) {
throw RuntimeException("Equality of parsed AST from printer was not proven.")
}
} }
fun tokenize(input: String): TokenStream = fun tokenize(input: String): TokenStream =