On Jul 2, 2008, at 11:09 AM, Torsten Anders wrote:
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}}
Just to mention: there are counterexamples as well. For example,
{IsList {FD.decl}}
immediately returns false, but
{IsList {FS.var.decl}}
blocks again.
Best
Torsten
--
Torsten Anders
Interdisciplinary Centre for Computer Music Research
University of Plymouth
Office: +44-1752-586219
Private: +44-1752-558917
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
