On Feb 21 2013, Moritz Heidkamp wrote:
Hi Jörg,
Jörg F. Wittenberger <joerg.wittenber...@softeyes.net> writes:
--> procedure type that is declared to modify locally held state
where are you quoting this from? The wiki states the (correct) opposite:
"procedure type that is declared not to modify locally held state"
see http://wiki.call-cc.org/man/4/Types
Strange enough.
I just did a "git pull" before sendind this message to not be trapped.
I'm quoting from "manual/Types" out of the source tree.
$ git status
# On branch master
…
nothing added to commit but untracked files present (use "git add" to track)
Forgive me for being a git novice.
Most of my work I'm still running from 4.7.5 plus local changes.
There "manual/Types" has the same line.
In any case, it seems inconsistent.
(DOM -> RND : TYPE) for predicates I'd expect to be pure. Wrong?
Moritz
_______________________________________________
Chicken-hackers mailing list
Chicken-hackers@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-hackers
