DIP33: A standard exception hierarchy

[Ali Çehreli]

On 04/03/2013 10:01 AM, H. S. Teoh wrote:
 > On Wed, Apr 03, 2013 at 09:19:24AM -0700, Ali Çehreli wrote:

 >> Because the above is not the case today, if I write a function, I
 >> cannot put the function pre-conditions in 'in' blocks because I don't
 >> know whether my function is being called as an implementation of my
 >> module or as an API function. The API function foo() may also be used
 >> as part of the implementation of the same module. (Maybe the same
 >> pre-condition checks should be repeated in the 'in' block and in the
 >> body; as asserts and corresponding enforces.)
 >
 > This is very bad. It makes greatly diminishes the value of DbC in D.
 > What are the obstacles preventing us from fixing DMD so that contracts
 > are compiled with user code instead of library code?

The following thread is relevant but I don't remember whether it touches 
issues with dmd:

   http://forum.dlang.org/thread/kf19eh$14tv$1@digitalmars.com

Ali