search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

Type variables not unique #526

Open TimWhiting opened 1 month ago

TimWhiting commented 1 month ago

This change to substitution does not seems safe and could be the cause of several bugs:

https://github.com/koka-lang/koka/blob/533bb36163edcc1c2294512abbddd374e9b48ac4/src/Type/TypeVar.hs#L447