W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 1715] [FS] editorial: 5.11 Module Import

From: <bugzilla@wiggum.w3.org>
Date: Fri, 08 Sep 2006 02:06:33 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GLVlJ-0001nK-On@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1715


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #3 from jmdyck@ibiblio.org  2006-09-08 02:06 -------
The 2006-06 CR does not have fixes for some of the items, specifically:

Notation 3
"The rules below depend on the following auxilliary judgments."
    But no auxiliary judgments are set out.

Notation 3 / rule (2|4)
    This requires that all functions imported from a module have the same
    number of arguments (n), which is not what you want.
    (This comment dates back to April 2004.)

Notation 4 / rule 2
    It's not clear why dynEnv2 isn't used, or where statEnv2 comes from.

    (And by the way, premises 1 and 2 are identical.)
Received on Friday, 8 September 2006 02:07:05 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC