[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0

On Thu, Dec 13, 2012 at 5:38 AM, Mark H Weaver <mhw@x> wrote:
Alex Shinn <alexshinn@x> writes:
> This was revisited in item #286 in the 5th ballot, and
> we voted to revert the previous decision.

The results of #286 do not convince me that the working group changed
their minds about item #117.  #117 was a highly-focused ballot item on
this precise issue, whereas #286 was mostly about whether to add another
set of predicates.

We discussed exactly these points and made clear to the
members that #286 was allowed to overturn #117.


Scheme-reports mailing list