14:50:50 <RRSAgent> RRSAgent has joined #forms
14:50:54 <RRSAgent> logging to https://www.w3.org/2023/02/24-forms-irc
14:50:54 <trackbot> RRSAgent, make logs public
14:50:55 <Zakim> Zakim has joined #forms
14:50:55 <trackbot> Meeting: XForms Users Community Group Teleconference
14:50:55 <trackbot> Date: 24 February 2023
14:51:56 <Steven> Agenda: https://lists.w3.org/Archives/Public/public-xformsusers/2023Feb/0010
14:52:02 <Alain> Alain has joined #forms
14:52:13 <Steven> Previous Meeting: https://www.w3.org/2022/02/10-forms-minutes
14:52:19 <Steven> Chair: Steven
14:52:30 <Steven> rrsagent, make minutes
14:52:31 <RRSAgent> I have made the request to generate https://www.w3.org/2023/02/24-forms-minutes.html Steven
14:57:53 <ebruchez> ebruchez has joined #forms
14:59:14 <Steven> Present: Alain, Erik, Steven
15:01:18 <Steven> Topic: Proposed fix for incorrect function signatures
15:01:18 <Steven> https://lists.w3.org/Archives/Public/public-xformsusers/2023Feb/0006
15:01:50 <Steven> Steven: What to do?
15:02:02 <Steven> Erik: It depends on backwards compatibility...
15:02:54 <Steven> ...
15:03:28 <Steven> ... If you have a numeric result, it duplicates the signature once for each numeric type...
15:03:54 <Steven> ... so it is not a runtime type.
15:04:59 <Steven> ... I don't think XPath supprts functions that return an integer OR a NaN.
15:05:09 <Steven> Alain: What about Unions
15:05:32 <Steven> Erik: I didn't read it that way, but maybe I'm wrong
15:06:01 <ebruchez> https://www.w3.org/TR/xpath-31/#GLdt-numeric
15:06:27 <ebruchez> "An operator whose operands and result are designated as numeric might be thought of as representing four operators, one for each of the numeric types. For example, the numeric + operator might be thought of as representing the following four operators:"
15:07:06 <ebruchez> https://www.w3.org/TR/xpath-31/#mapping
15:07:11 <Steven> Steven: We're not actually talking about operators
15:07:14 <Steven> Erik: True
15:09:02 <Steven> Erik: The functions and operators spec might match what we want
15:09:05 <ebruchez> https://www.w3.org/TR/xpath-functions-31/#numeric-types
15:10:37 <Steven> Erik: It seems like it is less restrictive than for operators
15:11:00 <Steven> "When the return type of a function is given as xs:numeric, the actual value returned will be an instance of one of the three member types (and perhaps also of types derived from these by restriction). The rules for the particular function will specify how the type of the result depends on the values supplied as arguments. In many cases, for the functions in this specification, the result is defined to be the same type as the first argument."
15:11:33 <Steven> Steven: It looks like that solves our problem
15:11:46 <Steven> Alain: Not in XPath 2 though
15:12:25 <ebruchez> https://www.w3.org/TR/xquery-operators/#func-numeric-add
15:14:46 <Steven> Erik: Erik: It looks like it is suggesting four functions, one for each numeric type
15:16:28 <Steven> "he parameters and return types for the above operators are the basic numeric types: xs:integer, xs:decimal, xs:float and xs:double, and types derived from them. The word "numeric" in function signatures signifies these four types. For simplicity, each operator is defined to operate on operands of the same type and return the same type. The exceptions are op:numeric-divide, which returns an xs:decimal if called with two xs:integer operan[CUT]
15:16:28 <Steven> op:numeric-integer-divide which always returns an xs:integer."
15:17:18 <Steven> Erik: Worst-case use you could return a union
15:17:52 <Steven> Steven: and use = NaN?
15:18:05 <ebruchez> index('foo') instance of xs:double
15:18:09 <Steven> Erik: Not sure, or otherwise "instance-of"
15:18:25 <ebruchez> or index('foo') = xs:double('NaN')
15:18:35 <Steven> s/"he/"The/
15:18:50 <Steven> Erik: Let me try it out.
15:19:04 <Steven> ... on an XPath 2 implementation
15:19:28 <Steven> ... I can do a comparison I think
15:20:03 <ebruchez> 42 = xs:double('NaN')
15:20:34 <ebruchez> xs:double('NaN') = xs:double('NaN')
15:21:32 <Steven> Steven: Does that mean we can use 'numeric', to mean the XPath 2 version for XPath 2, and the XPath 3 version for XPath 3?
15:22:18 <Steven> ACTION: Erik to investigate the treatment of NaN in XPath 2 and 3
15:22:25 <trackbot> Created ACTION-2337 - Investigate the treatment of nan in xpath 2 and 3 [on Erik Bruchez - due 2023-03-03].
15:22:41 <Steven> Topic: ACTION-2335: Work on creating a context attribute set [Steven]
15:22:42 <Steven> https://lists.w3.org/Archives/Public/public-xformsusers/2023Feb/0009
15:25:17 <Steven> Steven: Either we split COmmon into Common and Context, or say that @model and @context have no effect on >model/> <instance/> or <form/>
15:25:23 <Steven> s/CO/Co/
15:25:35 <Steven> s/>m/<m/
15:26:35 <Steven> Erik: What happens if you put @value on <model/>?
15:27:45 <Steven> Steven: Depends on whether the processor uses a schema or not. It's not mandated to disallow it
15:31:38 <Steven> Erik: I think it's good to split COmmon up, and be explicit about where @context and @model are allowed
15:31:44 <Steven> s/CO/Co/
15:32:24 <Steven> ACTION: Steve to implement the Common/Context attribute sets
15:32:25 <trackbot> Error finding 'Steve'. You can review and register nicknames at <https://www.w3.org/2005/06/tracker/xforms/users>.
15:32:58 <Steven> ACTION: Steven to implement the Common/Context attribute sets
15:32:58 <trackbot> Created ACTION-2338 - Implement the common/context attribute sets [on Steven Pemberton - due 2023-03-03].
15:33:12 <Steven> RESOLUTION: Split Common into Common and Context attribute sets
15:33:22 <Steven> Topic: AOB
15:33:38 <Steven> [None]
15:33:52 <Steven> [ADJOURN]
15:33:58 <Steven> rrsagent, make minutes
15:33:59 <RRSAgent> I have made the request to generate https://www.w3.org/2023/02/24-forms-minutes.html Steven
15:48:00 <ebruchez> ebruchez has joined #forms