> > When an instance value is passed explicitly, we still have a place in > the code that identifies which functions need to be specialised, and > what they need to be specialised against. > > If implicit resolution is guided by TLS, dictionaries must /always/ be > maintained, even if they are never used. The alternative is > specialising all of the code for each dynamic contour.
It sounds like we are saying the same thing. For specialisation to occur in any arbitrary function there must be only one global instance for any given type. It requires coherence. If instances are incoherent, you need to indicate which one to use by passing value, which prevents specialisation if the value is first class, because you don't know from which context the current function will be called. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
