search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Allow empty tuple () #55

Closed davidweichiang closed 2 years ago

davidweichiang commented 2 years ago

Hopefully @HerbertMcSnout can tell just by looking whether I did this correctly! Tests (#13) would be really helpful for the rest of us.

davidweichiang commented 2 years ago

Should we allow let () = e in e?

colin-mcd commented 2 years ago

While we don't have any automatic integration with GitHub, there is a make tests command that gets stuck on code/dyck.ppl. When I run ./compiler.exe -c code/dyck.ppl, the refunctionalized Nat datatype seems to have infinitely nested (((((((....

davidweichiang commented 2 years ago

Yeah, I was wondering about that…do you know why it’s happening?

Edit: fixed

davidweichiang commented 2 years ago

OK, I think this is ready to go now.