Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Proposed disposition of comments



Michel,

9.7.5 definitely was changed, and the intent, based on conversations
between John and me, was to do so everywhere appropriate, to make
the document consistent.  Evidently not changing it in 8.3 was
an editorial oversight that I should have caught by proofreading
John's work, but didn't.

John: Is this right?  Does the PDF correspond to your latest version?

Baker

On 04/29/2015 09:05 AM, Michel Hack wrote:
On Thu, 16 Apr 2015 11:45:05 -0500, Baker wrote:
Speaking informally, I am wondering if there is any real controversy
here.  IMO the clean fix would be to simply replace the first paragraph
of 8.3 by "A flavor shall provide the decoration com, with the following
propagation rule for library arithmetic operations."

Reading the rules for submission to REVCOM, I note the Sponsor can submit
the draft to REVCOM (before April 24 for the June REVCOM meeting) WHILE a
recirculation is in progress, provided the 75% approval has already been
achieved.  Perhaps the easy thing to do would be to have another
recirculation in progress while the materials are submitted to REVCOM.

In the 2nd recirculation draft, P1788_MAIN-D9p7,pdf, the 1st paragraph
of 8.3 still says "A flavor may provide the decoration com...".

So what has changed since the 1st recirculation?

I'll also remind you of what I wrote in reply, also on April 16:

| It occurred to me that there may be another way out of the "com"-required
| discrepancy:  Say that "com" always exists at Level 1!

This elicited no comments.

Michel.
---Sent: 2015-04-29 14:16:12 UTC



--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------