The page http://www.digitalmars.com/d/dbc.html describes contract inheritance but it doesn't seem to be working as of 1.007. Perhaps a comment should be added to this effect? Sean