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

Re: Proposed disposition of comments



Michel,

Yes.  That is indeed an inconsistency with the "core
specification".  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.

Please excuse me for not recognizing this option right
away; I'm new as "Sponsor" chair.

If we do submit for a second recirculation, I will need an
updated draft from John, along with a "diff" file from
Christian, as before, and I'll need to go through the
same submittal process.

It should go smoothly, especially if the issues are resolved
to everyone's satisfaction and it is easy for REVCOM to see
that.

Baker

On 04/16/2015 11:18 AM, Michel Hack wrote:
On Thu, 16 Apr 2015 10:59:44 -0500, Baker wrote:
Wait a minute ... Look at line 39, page 19 of the balloted draft.

As I mentioned earlier:
One point mentioned by Vincent was 7.1 (d), but that's in a summary,
with details given later, so its not a requirement on its own.

Please remind me where the inconsistency is.

It's 8.3, which explicitly makes "com" optional in a single-flavor
context.

Michel.

P.S.  I see that my post did reach the listserver, and just now
       (almost two hours late) I received the reflection.
---Sent: 2015-04-16 16:24:08 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
---------------------------------------------------------------