Jörg F. Wittenberger <joerg.wittenber...@softeyes.net> writes: > In any case, it seems inconsistent. > > (DOM -> RND : TYPE) for predicates I'd expect to be pure. Wrong?
Agreed, predicates should be pure. Not sure what the intention is here! Moritz _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers
