Re: An error in Section 14.4 of the final draft
On 2014-07-04 18:21:15 -0400, Michel Hack wrote:
> Let me address Vincent's points that affect my recent additions to 14.4.
>
> * 5th paragraph of §14.4:
>
> > - Shouldn't "for bare intervals for non-empty intervals" by replaced
> > by "for non-empty bare intervals"?
>
> No: the context is compressed intervals, not bare intervals. I'm saying
> that a compressed interval that represents a non-empty interval should be
> encoded as if it were a bare interval.
Then it should be rephrased to avoid the ambiguous "for ... for ...".
> > - Replace "no payload information" by "ignoring the payload"?
>
> No -- I'm elaborating on what I mean by "generic NaN".
This should really be clarified because at Level 4, a NaN has a
payload, so that this seems contradictory.
> * Next paragraph:
>
> > - In "Export and import of interchange formats normally occurs [...]",
> > is "occurs" correct, or should it be "occur"?
>
> I parse this as "(export and import) ... occurs", not "(export occurs) and
> (import occurs)" -- i.e. the concept, not the action.
OK.
> > - "There is therefore a need to" -> "It is therefore needed to"?
>
> To me, "it is needed to" is pretty awkward.
Well, "it is needed to" has 1 billion occurrences on Google.
BTW, "there is" should be avoided too:
https://owl.english.purdue.edu/owl/resource/572/04/
http://crimsonleague.com/2013/04/23/authors-bloggers-wordsmiths-did-you-know-there-is-a-way-to-avoid-weakening-your-writing/
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)