search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Mutually recursive types #73

Closed davidweichiang closed 1 year ago

davidweichiang commented 1 year ago

If two types are mutually recursive, we defunctionalize/refunctionalize both of them even though only one of them needs to be.

davidweichiang commented 1 year ago

@ccshan commented in #70 that this is probably not worth caring about.