[Bug 3875] [FS] editorial: 3.1.2 Dynamic Context

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
  Status Whiteboard|                            |consider for 1.1




------- Comment #2 from jmdyck@ibiblio.org  2007-09-21 00:51 -------
(In reply to comment #0)
> 3.1.2 Dynamic Context
> 
> "some component of the dynamic context"
>     s/context/environment/ ?

The FS appears to use "context" and "environment" more or less interchangeably.
So, while the suggestion might be an improvement, it's not worth an erratum.
I'll consider it for FS 1.1.

> dynEnv.funcDefn
> "The dynEnv.funcDefn environment component maps an expanded function name
> and parameter signature of the form "expanded-QName (Type1, ..., Typen)"
> to the remainder of the corresponding function definition."
>     The domain of dynEnv.funcDefn should be the same as that of
>     statEnv.funcType, i.e. (expanded-QName,arity).

This proposal has been incorporated into the fix for FS erratum E006. The fix
has been committed to the source files for the next edition of the FS document.

> 'If the function is locally declared, the function definition is of the
> form "(Expr, Variable1,..., Variablen)", ...'
>     I think it would make more sense if the Variables came before the Expr.
>     (You have to bind the parameters before you can evaluate the body.)

Again, this might be an improvement, but it's not worth an erratum. I'll
consider it for FS 1.1.

Based on the outcome of the second item above, I'm marking this bug
resolved-FIXED (with a "consider for 1.1" note in the Status Whiteboard), and
then closing it.

Received on Friday, 21 September 2007 00:51:06 UTC