On 12 Jul 2011, at 16:28, Lyle Kopnicky wrote: > I wonder if it's feasible to extend the expression parser so that it could > see when temporary variables ought to be FD variables. It would amount to a > bit of static type checking, I guess.
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.) Best wishes, Torsten -- Dr Torsten Anders Course Leader, Music Technology University of Bedfordshire Park Square, Room A315 http://strasheela.sourceforge.net http://www.torsten-anders.de _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
