Build a symbol resolution step #5379
Labels
big
this task is hard and will take a while
code quality
compiler: collection
Everything to do with graph collection, type collection, and the collection context.
compiler: frontend
Everything to do with type checking, control flow analysis, and everything between parsing and IRgen
Refactor the way we build namespaces and type check into a separate step that resolves all the symbols to unique paths/ids before type checking.
This should help us with issues with the current approach whereby some of this is done on the fly by the namespace resolution and some of it is done by comparing type names as strings.
The idea is to have a three step process:
The text was updated successfully, but these errors were encountered: