Global.t index is not unique across code units

RedPRL / cooltt

😎TT

http://www.redprl.org/

Apache License 2.0

217 stars 16 forks source link

Global.t index is not unique across code units #379

Closed jonsterling closed 2 years ago

jonsterling commented 2 years ago

Currently we compare Global.t by looking at their indices, but these indices are not unique across different code units. This results in incorrect behavior.

jonsterling commented 2 years ago

I have pushed a commit that fixes this problem, but as I don't know this part of the codebase, I'd like another pair of eyes to make sure my solution is OK.