Re: (declare (pure ...))

[siiky]

Hi Al,

> what does (declare (pure ..)) mean to csc? Is the function supposed to be
>
> * only side-effect free, or ...
>
> * also return the same value when called with the same arguments?

I can't remember where `(declare)` is documented, but I believe this [0] 
is also relevant.

[0] https://wiki.call-cc.org/man/5/Types#purity

Good luck!
siiky