koka icon indicating copy to clipboard operation
koka copied to clipboard

Published 20 hours ago • verified publisher icon koka-lang

Type variables not unique

Open TimWhiting opened this issue 3 months ago • 0 comments

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

TimWhiting avatar May 19 '24 15:05 TimWhiting