Bind type variable counter to Type environment

Protean-Labs / mesh

The Mesh Engine that implements the Mesh Language, a computational language for web3.

Apache License 2.0

1 stars 0 forks source link

Bind type variable counter to Type environment #44

Closed ThierryBleau closed 3 years ago

ThierryBleau commented 3 years ago

Currently the counter that assigns ids to type variables is separate from the Type environment. This can lead to difficulties when dealing with multiple type environments.

Rewriting type environments with their own counters would fix the issue.