search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Separate tag and type params #102

Closed davidweichiang closed 1 year ago

davidweichiang commented 1 year ago

This was quite a big edit. There were a number of places where it definitely improved, but a lot of places where [] got changed to [] [], which is not great.

Closes #81.

davidweichiang commented 1 year ago

The existing code consistently calls the tags tgs and uses names as (arguments), ps (parameters), and tis (type instances, I think) for the types. I believe ps was used for type variables and as was used for types that are substituted for them, but I'm not sure if there was a deliberate purpose for tis. I mostly changed everything to tis, but can change it again.