Isn't this normal? A structure is a list if it has a head and tail and
tail is also a list. So it should fail as soon as it figures out it has no
tail which could be significantly earlier than any other data is
available...
/pavel
On Wed, 2 Jul 2008, Torsten Anders wrote:
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
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
