On Wed, Jun 26, 2019 at 1:48 AM J. Gareth Moreton <[email protected]>
wrote:

> Maybe I'm misreading this, but does that mean you're not a fan of the
> "pure" directive, Jonas?
>

It seems like if anything, he may have misunderstood that in this context,
"in the hands of the user" is not intended to mean that people will be able
to just mark absolutely anything as `pure` and have it magically work
somehow.

I.E. as you've stated, functions marked `pure` will be checked, and the
compiler will give an error if it turns out they cannot actually *be*
`pure`.

In general though, IMO, something like `pure` that will be usable from all
backends is certainly more useful on a longterm basis than relying directly
on optimizations from the LLVM backend (which has rather limited platform
support.)
_______________________________________________
fpc-devel maillist  -  [email protected]
https://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel

Reply via email to