[Bug 3211] [FS] editorial: B.2 Mapping of Overloaded Internal Functions

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





------- Comment #1 from jmdyck@ibiblio.org  2006-10-06 07:31 -------

> "The following static typing rules apply generically to all the fs:
> special functions."
>     This should be conveyed by the inference rules too. I.e., add
>         expanded-QName = (FS-URI,String)
>         String in {"plus","minus","times","idiv","div", ...}
>     (directly or indirectly) to each rule.  (leftover from Bug 1580)

    Or, each rule could have a premise saying
        expanded-QName is an overloaded internal function
    where you define that with a rule like:

        LocalPart in {
          'plus', 'minus', 'times', 'idiv', 'div', 'mod',
          'eq', 'ne', 'gt', 'lt', 'ge', 'le', 'is-same-node',
          'node-before', 'node-after', 'unary-plus, 'unary-minus' }
        ----------------
        (FS-URI,LocalPart) is an overloaded internal function

Received on Friday, 6 October 2006 07:31:59 UTC