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}}
Thank you!
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
