search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

freeVars/subst don't look at datatypes #116

Closed davidweichiang closed 2 years ago

davidweichiang commented 2 years ago

In anticipation of #103, I think it will be simpler to reduce the kinds of variables that freeVars and subst look at. There was already substDatatypes which duplicated functionality with subst; this adds freeDataTypes.