Re: -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