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 _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
