package hygiene - Githubissues

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

package hygiene #1183

Closed jbouwman closed 1 month ago

jbouwman commented 1 month ago

remove duplicate exports in library/classes.lisp
correct symbol type labels in codegen/ast.lisp
drop unused and misspelled exports in typechecker/types.lisp
remove orphaned ty-binding-list type declaration

The machine integer types exported there may have been intended for further context reduction steps: just a guess. Removing on the principle of minimizing hardcoded type information in the compiler.