koka-lang / koka

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

more strict inference #525

Closed TimWhiting closed 1 month ago

TimWhiting commented 1 month ago

Sorry for all of the whitespace changes in TypeVar.hs due to autoformatting. The only actual change in that file is changing the import of Data.Map to Data.Map.Strict.

These changes reduce compilation time from minutes & using up all my RAM to seconds and using 2GB RAM for a simple JSON lexer generated via my koka backend for Alex.

daanx commented 1 month ago

That's awesome, thanks Tim!