> So moving them into explicit little features makes the language more

The two little features I am talking about are:
- a halt() somewhere like in core.bitop or std.intrinsic or the default object 
module to replace assert(0);
- And to use class_instance.invariant() to replace assert(class_instance).

Bye,
bearophile

Reply via email to