I'd be interested to know how other type-safe language compilers like GHC (Glasgow Haskell Compiler) handle this problem. I believe that .hi files (object file

I'd be interested to know how other type-safe language compilers like GHC (Glasgow Haskell Compiler) handle this problem. I believe that .hi files (object files that GHC generates from .hs Haskell source files, like C compilers generate .o's) have type info in them. But I don't know what GHC does to ensure global type consistency. Maybe it has its own equivalent of a link phase, that has to bring in all the types from the .hi's? Is that the equivalent of Ada's originally conceived program library? It never really occurred to me to look into this.