You need whole-program compilation to trace from the top level to do that surely?
Keean. On 9 January 2015 at 09:31, William ML Leslie <[email protected]> wrote: > On 9 January 2015 at 20:05, Keean Schupke <[email protected]> wrote: > > Okay, so I still agree with what you have said. I think the difference > is I > > was considering first-class instance values, and you are just thinking > about > > some kind of second-class name label for instances? > > > > How are you going to get existential encapsulation with named instances? > > I don't mean to say that all instances need to be static constants, > only that functions that use them can be specialised statically if the > instance can be resovled statically at the call site, which is a > fairly common case. > > -- > William Leslie > > Notice: > Likely much of this email is, by the nature of copyright, covered > under copyright law. You absolutely MAY reproduce any part of it in > accordance with the copyright law of the nation you are reading this > in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without > prior contractual agreement. > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
