As far as I can tell quickly, this is implementing guards but not type state. I'm not seeing anything in the logic of this that ties the checked state of a value to a sequence point. Without that you don't have type state.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
