[boost] Re: #include <boost/...> to #include "boost/..." transition?

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]>
wrote:

>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 
>source
> >> 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.
>
>Yes, agreed.
>
>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?

Genny.