Writing Bug-Free C/D Code

[David B. Held]

Derek Parnell wrote:
> [...]
> The trouble is that D's typedef does not allow you to extend the semantics
> of the base type, but that's what structs and classes are for, no?
> 
> The Euphoria language has a slightly different type construction mechanism
> which has its good side and bad side, but maybe something like it could be
> used to extend D's typedef mechanism.
> [...]

My understanding is that Contracts in D allow you to implement Ada-like 
SubRanges.  This is actually one of the things I really liked about the 
DbC support.  Is that not the case?

Dave