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'.Received on Friday, 18 May 2007 18:00:19 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:18 UTC