Generic memory allocation in D

[Walter Bright]

On 3/4/2024 12:38 PM, Paul Backus wrote:
> For example, you have this:
> 
>      // true means success
>      if (f.isPure())
>          // it's pure
>      else
>          // it's impure
> 
> ...but also this:
> 
>      // true means failure
>      if (f.checkPurity(loc, sc))
>          // it's impure
>      else
>          // it's pure

I know there are inconsistencies in the DMD code base. It shows the effects of 
many people working on it over decades.

However, "isPure" asks a question. "checkPurity" does not, and so it isn't 
implicit how the logic should go.