Sean Kelly and others: > For what is worth, I also like contracts :) I too like them. At the moment in D I expecially like class contracts used as invariants. So I'd like to see the compiler manage contracts in a smarter way. Bye, bearophile