Hi, On Thu, 10 Sep 2015, David Malcolm wrote:
> +/* A range of source locations. > + > + Ranges are half-open: > + m_start is the first location within the range, whereas > + m_finish is the first location *after* the range. I think you eventually decided that they are closed, not half-open, at least this: > + static source_range from_location (source_location loc) > + { > + source_range result; > + result.m_start = loc; > + result.m_finish = loc; and this: > +/* Ranges are closed > + m_start is the first location within the range, and > + m_finish is the last location within the range. */ suggest so :) Ciao, Michael.