I don't mean to imply anything, but: Should I be expecting responses to either of my last two messages anytime soon? Or did you drop the subject?
On Wed, Jul 16, 2014 at 2:47 AM, Matt Oliveri <[email protected]> wrote: > Does BitC actually have an effect or mode or something to rule out > dynamic checks? I seem to remember some discussion of a no-throw > effect. How do you deal with the [range check is part of the > operation] approach there? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
