Split `TpVar` into one case for type/tag variables (which can be unified and bound, but don't take parameters) and one case for datatype names (which can't be unified or bound, but take type parameters). - Githubissues

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Split `TpVar` into one case for type/tag variables (which can be unified and bound, but don't take parameters) and one case for datatype names (which can't be unified or bound, but take type parameters). #84

Closed davidweichiang closed 1 year ago