[bitc-dev] Libraries and separate compilation

[Jonathan S. Shapiro]

On Fri, 2008-03-28 at 11:19 -0400, Sandro Magi wrote:
> Jonathan S. Shapiro wrote:
> > I don't think that works for us, because there is no single object shape
> > that can be known when the unit of compilation is compiled. Also, in
> > some cases we need to do (shape x type), because two objects of the same
> > shape may have different type class instantiations, and may therefore
> > require different expansions in our scheme.
> 
> Ah, so you're not dictionary-passing the type classes then. Are you 
> monomorphizing everything?

At compile time, yes. By polyinstantiation.


shap