Software Assurance Reference Dataset

[Timon Gehr via Digitalmars-d]

On 07/22/2014 05:02 AM, Walter Bright wrote:
> On 7/21/2014 3:25 PM, Timon Gehr wrote:
>> The example just uses the ST Monad which is quite similar to weakly pure
>> statements in D.
>
> D doesn't have weakly pure statements - it has weakly pure functions.

The type checker distinguishes between statements that are allowed in 
'pure'-qualified functions and statements that are not.