-profile

[bearophile]

Anthony Goins:

> What is the error here :)
> 1. dmd profiletest.d
>    should fail because balancedParens is not nothrow
>    even though it is called from a contract.
>
> 2. dmd -profile profiletest.d
>   should succeed because nothrow, @safe, pure don't apply to 
> contracts

I think -profile and pre-conditions should not be correlated. 
That's why I have reported this bug as a dmd bug instead just of 
a Phobos bug.
I am not sure what's the right answer. I think the right answer 
is 1.

Bye,
bearophile