From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2004-01-03 23:34:57
"Dan W." <danw_at_[hidden]> wrote in message
> Thorsten Ottosen wrote:
> > I trust you. If you mess up once, all your customers will disappear.
> >>And if, technically, I might have just given you a document extracted
> >>from my cpp file that contains them, is your compiler able to read this
> >>document to verify contract correctness?
> > the compiler should be able to read the ojbect files.
> No, the contracts cannot be in the object file. How would your linker be
> able to remove them when building your final app?
A assumed that a linker that can remove unused code and that can optimize
could somehow also
keep track of otherr types of code.
But you're right, I don't know for sure.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk