Re: (declare (pure ...))

[Pietro Cerutti]

On 9 Feb 2024, at 21:06, Al <frm.ml@mailgw.com> wrote:

Hi,


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?

Back to your original question, to make sure I understand: can you show an example of a function which respects only one of those two points?

-- 

Pietro Cerutti

I've pledged to give 10% of income to effective charities and invite you to join me.

https://givingwhatwecan.org

Sent from a small device - please excuse brevity and typos.