I see, it's impossible to statically enforce some types when they could be assigned dynamically in some other lexical scope. Thanks!
On Wed, Jul 13, 2011 at 4:36 AM, Torsten Anders < torsten.and...@plymouth.ac.uk> wrote: > If you give a propagator an unbound variable then the compiler must not > complain, because Oz is a concurrent system and some other thread may at > some time later tell the compiler that this variable is an FD int variable > with such and such bounds. (The compiler does complain if you hand some > unfit data type to a propagator, e.g., a float or an object.) > >
_________________________________________________________________________________ mozart-users mailing list mozart-users@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-users