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.
