From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2002-07-22 16:42:44
On Mon, 22 Jul 2002 16:17:16 -0400, Beman Dawes <bdawes_at_[hidden]>
>At 05:01 PM 7/20/2002, Mark Rodgers wrote:
> >From: "Beman Dawes" <bdawes_at_[hidden]>
> >> As Gennaro Prota mentioned, the only headers are C++ Standard Library
> >> headers. The standard has no notion of a user header, only a user
> >> file.
> >I'm not sure how you arrive at that conclusion. As I noted in a another
> >message, my interpretation is different.
> >However, I don't think the standard is clear, and you may be right that
> >that is the intention of the standard, even though I don't think it is
> >spelled out. I personally don't believe it is the intention, since user
> >headers are widely (universally?) supported and widely used.
And they would still be supported if we called them 'source files'.
This discussion has nothing to do with that ;-)
> >But how can we be sure? Perhaps a DR along the lines of "the standard is
> >unclear..." would sort it out one way or the other.
>I'll write up a Defect Report and submit it.
Good :-) But I would ask: according to your experience, can we set our
hopes on a clarification?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk