> On 9 Feb 2024, at 21:06, Al <frm...@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.