Jörg F. Wittenberger <[email protected]> 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
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-hackers

Reply via email to