10:11:30 RRSAgent has joined #ixml 10:11:30 logging to https://www.w3.org/2022/02/15-ixml-irc 10:11:35 rrsagent, help 15:13:19 RRSAgent has joined #ixml 15:13:19 logging to https://www.w3.org/2022/02/15-ixml-irc 15:13:27 Zakim has joined #ixml 15:13:50 Zakim, this will be ixml 15:13:50 ok, cmsmcq 15:13:58 scribe: cmsmcq 15:13:59 john has joined #ixml 15:14:25 Meeting: Invisible XML community group 15:14:41 Chair: Steven 15:15:43 Previous meeting: https://www.w3.org/2022/02/08-ixml-minutes 15:15:54 Date: 15 February 2022 15:16:32 Agenda: https://lists.w3.org/Archives/Public/public-ixml/2022Feb/0150.html 15:25:30 Regrets: Tomos Hillman 15:26:38 \me a test comment from john 15:27:08 s/\me a test comment from john// 15:27:32 rrsagent, make minutes 15:27:32 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html Steven 15:32:31 tovey-walsh has joined #ixml 15:32:49 topic: Review of actions 15:33:19 Tom's action about the repo is done. 15:33:27 Steven's action to draft wording on #24 is done. 15:33:48 Topic: Status of implementations 15:34:09 NDW has written a Saxon extension function and should announce it this week. 15:34:22 JL, BTW: nothing to report. 15:35:14 MSM has made progress: his test harness is now finding more errors in the test case than in the test harness. 15:36:04 Topic: Status of testing and test suites 15:36:30 MSM working on a new collection of tests based on grammars collected in 2018/2019 15:37:34 SP: I've converted a grammar of Pascal to ixml. 15:37:50 NDW: I'll make a test case out of my grammar for Java property files. 15:38:59 Property files are simple at first glance, but there are a lot of complications relating to continuations, escaping, and so on. 15:39:36 The description is very procedural, so it has been a challenge to make a declarative version. 15:39:56 JL: would it be helpful to have a number of test cases that are big? To test size limits, for example. 15:40:01 NDW: Yes. 15:40:23 SP: Pascal has been interesting, in part because the published grammar is ambiguous and has unreachable rules. 15:41:17 The ambiguity is due perhaps to Wirth's assumption that the lexer would make appropriate choices. 15:41:51 rrsagent, make logs public 15:42:05 rrsagent, make minutes 15:42:05 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html Steven 15:42:39 MSM: I'd propose that we make a collection of grammars of common notations. 15:42:47 JL: like Gunther Rademacher's. 15:43:03 The collection of grammars for REx is very useful. 15:44:02 MSM proposes ixml/grammars directory 15:44:22 ACTION: MSM to make an ixml/grammars directory for grammars of published notations. 15:44:37 Topic: Issue #24 prefix recognition 15:44:59 https://lists.w3.org/Archives/Public/public-ixml/2022Feb/0149.html 15:45:37 norm has joined #ixml 15:45:41 https://lists.w3.org/Archives/Public/public-ixml/2022Feb/0149.html 15:47:32 BTW: Is the clause "determining in the process ..." necessary, or entailed by the word "parse"? 15:56:07 We discussed the proposed text point by point. 15:57:29 Issue: Should marking the root symbol with an "@" be an error 16:00:38 JL: is there ever a case in which ixml:state="..." would be part of the prescribed output? 16:03:16 MSM: right now, we cannot generate namespace-qualified attributes at all, so it's an out-of-band signal and no ambiguity is possible. 16:03:46 If and when we add namespace support, we can reserve the ixml namespace. 16:05:56 NDW: or another signal could be devised. 16:06:41 msm: perhaps "if the parse failed, but a parse exists for a proper prefix of the input, ..." 16:07:07 * Processors must parse the input using the grammar. 16:07:07 * If the input is unambiguously described by the grammar, the resulting parse tree must be serialized to an XML document. 16:07:07 * If more than one parse tree describes the input, the processor must serialize one of them. It is not defined how this choice is made, but the resulting parse should be marked as ambiguous by including on the document element of the serialisation the attribute ixml:state="ambiguous". 16:07:08 * If the parse fails, the processor must produce some XML document with ixml:state="failed" on the document element, with helpful information about where and why it failed; it may be a partial parse tree that includes parts of the parse that succeeded. 16:07:08 * If the parse succeeded, but without consuming the entirety of the input, processors may choose either to produce a failure document as described above, or to serialize the resulting parse tree with the attribute ixml:state="prefix", or if the parse is ambiguous ixml:state="ambiguous prefix". 16:07:12 * Processors may provide user options for behaviors such as parsing the largest, or smallest, prefix of the input that is described by the grammar, or supporting invocation with input streams of indeterminate length. 16:07:15 * Processors may provide a user option to suppress the ixml:state="ambiguous" attribute; they may also provide a user option to produce more than one parse tree in the case of ambiguity. 16:07:18 * The form in which XML documents are produced is not constrained by this specification; processors should be capable of producing serialized XML as a character stream, but other forms (e.g. DOM instances or XDM instances) may also be used. 16:07:21 * If the root node in the grammar is marked as an attribute, processors must ignore that marking whenever serializing the rule as the root. 16:11:47 SP: the item about prefix matching will be rewritten, but not in real time. 16:12:11 RESOLVED: accept the proposal as revised (and as to be further revised). 16:12:32 Action: SP to integrate resolution of #24 into the spec, and close #24. 16:14:39 Topic: Conformance issue: which grammars to accept and reject (et al.) 16:15:43 JL: for the case of non-XML characters in names, sometimes you can detect the problem statically, sometimes you can statically the *possibility* of such errors, and sometimes you don't know until you see the data. 16:17:17 SP: are we unhappy with the idea of dynamic errors? 16:18:16 MSM: I think we are happy with distinguishing dynamic and static errors, 16:18:49 but the current wording that requires conforming processors to reject non-conforming grammar needs to be updated. 16:19:07 JL, NDW: Several classes of errors: 16:19:18 (1) nongrammatical against spec grammar. 16:19:34 (2) grammatical but statically wrong (e.g. two rules for same nonterminal) 16:19:59 (3) statically correct but dynamic error (e.g. non-XML output) 16:21:42 msm (And the third item is why I will raise an issue about @root ...) 16:22:26 NDW: if we make multiple same-named attributes illegal, @root should be illegal, too 16:29:44 Consensus: we will distinguish static and dynamic errors in grammars, and you are allowed to detect dynamic errors statically. 16:30:22 RRSAgent, make minutes 16:30:22 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html cmsmcq 16:30:44 JL volunteers to scribe next week. 16:30:56 RRSAgent, make minutes 16:30:56 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html cmsmcq 16:34:47 s/Consensus:/RESOLVED:/ 16:35:05 s/you are allowed/processors are allowed/ 16:35:09 RRSAgent, make minutes 16:35:09 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html cmsmcq 16:36:45 norm has left #ixml 16:37:21 s/accept the proposal as revised (and as to be further revised)/accept the proposal for issue #24 as revised (and with further revision of the item on prefix matching)/ 16:37:23 RRSAgent, make minutes 16:37:23 I have made the request to generate https://www.w3.org/2022/02/15-ixml-minutes.html cmsmcq 17:37:36 Zakim has left #ixml 17:41:12 rrsagent, bye 17:41:12 I see 2 open action items saved in https://www.w3.org/2022/02/15-ixml-actions.rdf : 17:41:12 ACTION: MSM to make an ixml/grammars directory for grammars of published notations. [1] 17:41:12 recorded in https://www.w3.org/2022/02/15-ixml-irc#T15-44-22 17:41:12 ACTION: SP to integrate resolution of #24 into the spec, and close #24. [2] 17:41:12 recorded in https://www.w3.org/2022/02/15-ixml-irc#T16-12-32