- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 08 Sep 2006 02:06:33 +0000
- To: public-qt-comments@w3.org
- CC:
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