About auto-generated constructor name for structs

koka-lang / koka

Koka language compiler and interpreter

http://koka-lang.org

Other

3.16k stars 153 forks source link

About auto-generated constructor name for structs #265

Open kamoii opened 2 years ago

kamoii commented 2 years ago

Currently, for struct named user-info, auto-generated constructor is named User-info, which is kind a weird. How about changing auto-generated name to UserInfo?