Torsten Anders wrote:
Dear all,
I just realised that IsAtom and IsRecord block on undetermined FD and
FSvariables.
{IsRecord {FD.decl}}
{IsAtom {FD.decl}}
{IsAtom {FS.var.decl}}
Is there a reason for that? I feel these functions should immediately
return false for kinded variables -- they cannot become atoms or records
anymore. However, it appears many other functions behave likewise, e.g.
{IsInt {FS.var.decl}}
This is an implementation limitation. The functions you mention require
their argument to be determined before checking their type. They
consider all variables as untyped...
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
