search

koka-lang / koka

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

Fix aliases #369

Closed TimWhiting closed 10 months ago

TimWhiting commented 11 months ago

Fixes mutually recursive alias and type definitions

Previously, it would infer that the alias was a TCon instead of the proper TSyn.

daanx commented 10 months ago

Ah great! Thanks so much :-)