dyck.ppl hangs on compilation

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Closed davidweichiang closed 2 years ago

davidweichiang commented 2 years ago

From @HerbertMcSnout: When I run ./compiler.exe -c code/dyck.ppl, the refunctionalized Nat datatype seems to have infinitely nested (((((((....

davidweichiang commented 2 years ago

Oops, sorry, I didn't realize this was specific to #56