Require -d and -r to name existing recursive types

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Require -d and -r to name existing recursive types #62

Closed ccshan closed 2 years ago

ccshan commented 2 years ago

Now compiler.exe -r Flips doesn't silently defunctionalize Flips_inst0. Instead it says No recursive datatype named Flips (did you mean Flips_inst0?)