4.1.5 Function Calls DEv / rule 3 / premise 1 DEv / rule 5 / premise 6 dynEnv.funcDefn(expanded-QName() = ... Missing right paren. DEv / rule 3 / premise 3 DEv / rule 5 / premise 7 dynEnv1.varValue |- ... Malformed. Delete ".varValue" "The rule for evaluating an function imported from a module" s/an/a/ "If the function is a built-in function ..." This should also refer to overloaded fs: functions, unless those are deemed to be included under "special formal semantics function". In any case, it should include a link to C.2.
The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification).
The first item in Comment #0 has been resolved by the fix for FS erratum E006.
The remainder this issue has been entered as FS erratum E049, and the proposed fixes have been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.