tc-env-lookup-value: suggest type constructors

coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

https://coalton-lang.github.io/

MIT License

1.12k stars 67 forks source link

tc-env-lookup-value: suggest type constructors #1097

Closed jbouwman closed 3 months ago

jbouwman commented 4 months ago

On variable lookup miss, existing suggestion code has no effect because it looks at the two places just checked. Instead check the environment to see if the var names a type, meaning, maybe the user was looking for a type constructor.

Closes #1095