Jorge Marques Pelizzoni <[EMAIL PROTECTED]> writes:
> If its argument is determined, FS.var.is returns false, while FD.is doesn't.
> If
> FS.var.is is really only meant for real (undetermined) variables, then we are
> short of an FS.is procedure.
Yes, but since the advent of Value.status, at least we can write:
declare
fun {FSis X}
case {Value.status S}
of det(fset) then true
[] kinded(fset) then true
else false end
end
which is not exactly what we want. If only we had WaitKinded (see previous
msg), we'd write:
declare
fun {FSis X}
{WaitKinded X}
case {Value.status S}
of det(fset) then true
[] kinded(fset) then true
else false end
end
I guess that's another argument in favor of WaitKinded :-)
Cheers,
--Denys
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
