Comment #24 on issue 2149 by d...@gnu.org: Patch: Creates non-negative-integer? predicate.
http://code.google.com/p/lilypond/issues/detail?id=2149
natural-integer? is nonsensical since integers are an arithmetic type and have different axioms than naturals (even though they are isomorphic). Makes about as much sense as natural-fraction?. And the problem that "natural" is a mathematical term without much of an agreement whether 0 is included (after all, for naturals "0" is just an arbitrary label without arithmetic meaning) is not addressed.
I'll be taking the "index?" route since it seems to be quite well matched to actual usage. I doubt that we have many cases where we would need a predicate for the _arithmetic_ properties of non-negative integers.
Sorry for forgetting this one for so long. _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
