[Bug 3194] [FS] editorial: 5.15 Function Declaration

From: <bugzilla@wiggum.w3.org> Date: Fri, 18 May 2007 17:59:56 +0000 CC: To: public-qt-comments@w3.org Message-Id: <E1Hp6k8-0004xF-EZ@wiggum.w3.org> · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:18 UTC


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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|simeon@us.ibm.com           |jmdyck@ibiblio.org
             Status|ASSIGNED                    |NEW


------- Comment #2 from jmdyck@ibiblio.org  2007-05-18 17:59 -------
In the Rec, the rule in question now appears in section 5. There, all of the
above points have been implemented, except for this:

5 Modules and Prologs
Notation 3 / rule 4 / premise 8
"statEnv1 = statEnv + funcType(expanded-QName => FunctionSig)"
    Missing arity. Change 'expanded-QName' to 'expanded-QName,n'.