Re: master 0cbcc62: 'assoc' is not side-effect-free; constprop its pure subset

[Andrea Corallo]

Mattias Engdegård <mattiase@acm.org> writes:

> 31 okt. 2020 kl. 16.06 skrev Stefan Monnier <monnier@iro.umontreal.ca>:
>
>> Oh, indeed: nasty.  `assoc` *was* side-effect-free until it grew its new
>> `testfn` argument.
>
> We do have a number of functions that are pure or side-effect-free
> unless given certain arguments. I suppose we could design a system
> that encompasses these cases. Certainly wouldn't mind algebraic effect
> types!

Hi Mattias,

just ot mention, would be nice if we design this to be accessible so we
can use it in the native compiler as well maintaining it just in one
place.

  Andrea