While pseudo-linkage (#40) is sufficient for using our polyfill system, we need a way to deal with the more complex notions of linkage that arise in our source languages. This work can potentially be made part of the Cairo compiler proper, giving Cairo a notion of cross-module linkage and separate compilation.
Description
While pseudo-linkage (#40) is sufficient for using our polyfill system, we need a way to deal with the more complex notions of linkage that arise in our source languages. This work can potentially be made part of the Cairo compiler proper, giving Cairo a notion of cross-module linkage and separate compilation.