I am Martin Bodin, a postdoc at the CMM in Santiago de Chile, and I am
currently in the process of formalising (a part of) the R language into
the Coq proof assistant. This work makes me look frequently at the
source code of R.
The line 70 “REAL(x) == REAL(x)” doesn’t make any sense for me:
are we looking for NaN values here? I think that it should be
“REAL(x) == REAL(y)” instead (and the same applies for the next
I didn’t searched for any R program that may be affected by this typo,
but I have the feeling that it may lead to unexpected behaviours.
From what I understood, the bug reporting tool for R is closed for
non-members, and I am thus sending this possible bug report in this
list. Please redirect me if I am not reporting in the right place.