14:55:05 RRSAgent has joined #ixml 14:55:09 logging to https://www.w3.org/2023/01/10-ixml-irc 14:55:15 RRSAgent, make logs public 14:55:24 Meeting: ixml Group Teleconference 14:55:31 Date: 10 Jan 2023 14:55:40 Chair: Steven 14:55:53 Previous meeting: https://www.w3.org/2022/12/13-ixml-minutes 14:56:15 Scribe: norm 14:56:28 Agenda: https://lists.w3.org/Archives/Public/public-ixml/2023Jan/0007 14:56:41 rrsagent, make minutes 14:56:42 I have made the request to generate https://www.w3.org/2023/01/10-ixml-minutes.html Steven 15:01:23 Present: Steven, Norm, Bethan, Michael, John, Joel 15:02:56 tovey-walsh has joined #ixml 15:02:58 Topic: Review of previous action items 15:03:03 cmsmcq has joined #ixml 15:03:11 rrsagent, set logs world readable 15:04:05 ACTION (2022-06-21): Tom isn't here 15:04:05 Sorry, but no Tracker is associated with this channel. 15:04:22 trackbot, bye 15:04:22 trackbot has left #ixml 15:04:25 ACTION (2022-11-15): Completed by Joel. 15:04:39 ACTION: Norm to put the information about Joel's implementation on the home page 15:04:49 Norm ACTION (2022-11-15): Done. 15:05:31 mjoel has joined #ixml 15:06:11 https://github.com/invisibleXML/ixml/pull/146/files 15:06:12 https://github.com/ndw/ixml/blob/ebnf-to-bnf/misc/ebnf-to-bnf.md 15:07:40 Norm will merge pull request 15:07:53 ACTION: Michael to take another pass on the EBNF to BNF document 15:08:10 Norm (2022-11-15): completed 15:08:23 Norm (2022-12-13): completed 15:08:53 Steven (2022-12-13): continued 15:09:03 Steven (2022-12-13): continued 15:09:27 Steven (2022-12-13): completed 15:10:25 ACTION: Steven to expand the tests in PR 169. 15:11:01 combining grammars: https://lists.w3.org/Archives/Public/public-ixml/2023Jan/0004.html 15:11:16 Steven (2022-12-13): PR 167, compelted. Steven agrees. 15:11:30 Michael (2022-12-13): completed 15:11:48 Norm (2022-12-13) partially completed 15:11:56 Topic: Status reports 15:12:07 Joel: I'd love some help on my implementation. 15:12:17 Steven: How does it do against the test suite? 15:12:25 Joel: It's just about ready to start running tests. 15:12:54 John: When I was implementing my parser, I didn't find the parsing tricky. Threading your way back up to where you started was the hard part. 15:13:32 Norm: I have some quite complicated data structures for managing the state. 15:13:43 Steven: How about you Bethan? 15:13:56 Bethan: My thesis is coming along nicely! 15:14:13 Topic: Testing and test suites 15:14:28 Norm: I've got PR 169 but Steven's already agreed to extend that. 15:14:58 Norm: How about we commit #169 and you add more? 15:14:59 https://github.com/invisibleXML/ixml/pull/169 : Character set tests (including LC) 15:15:07 Steven: That's ok by me. 15:15:44 Micheal: The inventory of characters in any class (and possibly known classes) may vary from version to version of Unicode. Strictly speaking, we ought to label the tests with the versions of Unicode that they pass. 15:16:25 ACTION: Micheal to work out the metadata for identifying the Unicode version(s) associated with a test. 15:18:04 Some discussion of what the parameters of the tests are. 15:18:16 Steven: I want to have one character from each class and each block. 15:18:25 Micheal: That's incomplete unless you identify the Unicode version. 15:18:54 Joel: Is it the case that a test we write today would become invalid? 15:19:26 Michael: If anyone can show me a commitment to that kind of stability on the Unicode site, I'll believe they intend that. But they've got it wrong in the past! 15:19:43 Norm: I don't see any problem with having the metadata. 15:19:58 Micheal: When any spec refers to another spec, the question arises of what version is referenced. 15:20:02 http://www.unicode.org/policies/stability_policy.html 15:20:25 Michael: I think our current state is that the version of Unicode is implementation defined, but we don't say that. 15:20:46 s/Micheal/Michael/G 15:21:14 Some discussion of the stability policy linked above. 15:23:23 Java 11 looks like it uses Unicode 10.0 15:23:32 John: Can I suggest in two months time we try to get to a position where we can publish test reports. 15:24:12 Michael: The test suite schema also defines a report format. 15:24:31 John: Some of the tests with high ambiguity are problems for my implementation. 15:25:06 Topic: Issue #147, are control characters allowed? 15:25:08 https://github.com/invisibleXML/ixml/issues/147 : Are control characters allowed in an ixml grammar? 15:25:30 Steven: We agreed to the change, but not the errata. 15:25:39 Micheal: I've been persuaded that "cannot" is an acceptable verb. 15:26:28 Michael: The erratum is currently listed as proposed. 15:26:37 Norm: If we accept it, I'll move it! 15:26:41 Michael: I propose we accept it. 15:26:49 Steven: Agreed. 15:26:56 ACTION: Norm to merge it and close #147 15:26:57 https://github.com/invisibleXML/ixml/issues/147 : Are control characters allowed in an ixml grammar? 15:27:06 Topic: Pull request #146, EBNF 15:27:07 https://github.com/invisibleXML/ixml/pull/146 : First draft of EBNF to BNF conversion document 15:27:25 Norm: We've agreed that to merge that and hand it to Michael 15:27:29 Steven: Ok 15:28:00 Topic: Issue #139, continued action on Steven 15:28:01 https://github.com/invisibleXML/ixml/issues/139 : https://github.com/invisibleXML/ixml/blob/master/samples/URI/rfc-3987.ixml 15:28:12 Topic: Issue #137, document the XML tag set 15:28:14 https://github.com/invisibleXML/ixml/issues/137 : We should document the XML tag set that results from parsing an ixml grammar with the ixml specification grammar 15:28:35 Michael: We publish an XML grammar, people including myself use it, so it's useful to document it. 15:29:12 Michael: Norm has produced mock ups and I have not attempted to read them in full. Mostly, the descriptions are elided. 15:29:24 Michael: The formatting looks great. 15:30:04 Michael: With one exception, either the generic identifiers need to be visually distinct, or description needs to be indented more. 15:30:40 Michael: And generally, my instinct is to put the short description and paragraphs before the formal definition. 15:31:33 Norm: I did it that way out of habit; that's the way the DocBook document does it. 15:32:32 John: Is there any sense that this could get out-of-sync? 15:32:39 Norm: No. It's generated from the spec. 15:32:57 ACTION: Norm and Michael to do a bit of revision to improve it for further discussion. 15:33:09 Topic: Combining grammars 15:34:15 Norm gives a brief outline of his sketch 15:35:47 Steven: My one main objection is that if you import something and then the author changes the grammar you're importing. 15:36:00 Norm: That's just like any API, surely? 15:36:15 Steven: We could have a mechanism for defining what's exported. 15:36:22 Norm: That's more complex, but sure. 15:37:02 Michael: I think there's going to be a curve where the more complex the needs get, the more complex the syntax. 15:37:47 Steven: A while back, I sent a message with questions about the requirements. Are we importing text, or parsed grammars? There are lots of questions. 15:38:01 Steven: I think a requirements document is necessary. 15:38:37 Michael: Are questions about how the grammar appears in the imported grammar, requirements or implementation details? 15:38:43 John: I think they're implementation details. 15:39:54 Michael: I suppose the fact that if I hand an iXML grammar to a processor as the input string, specifying the iXML spec grammar as the input grammar, the visible XML version is currently just what you'd get for that parse. 15:41:30 Michael: I think an argument that will come up is saying that the imported rules should be included in the XML output requires ad hoc processing for certain elements, so we might want not to do that. It loses the current invariant that processing a grammar as a string produces the expected XML. 15:42:13 Michael: I think Steven has made a good point that we should think hard about whether or not import and export will solve problems we have. I think some capability for overriding is important. 15:42:55 Michael: In some cases, modularity will also be important to avoid name conflicts. I think that a useful set of capabilities is exhibited for us by the rules for imports and inclusions in RELAX NG grammars. 15:43:36 My mail on requirements: https://lists.w3.org/Archives/Public/public-ixml/2022Sep/0032.html 15:44:07 Michael: Maybe we need to assign some actions for use cases. And I'll take an action to review RELAX NG's rules. 15:45:00 ACTION: Norm to start a use cases and requirements document. 15:45:09 ACTION: Michael to review RELAX NG rules and report back. 15:46:02 ACTION: Michael to close issues #29 and #30. 15:46:03 https://github.com/invisibleXML/ixml/issues/29 : Are there any constraints on how or what a pragma can change in a conforming processor? 15:46:04 https://github.com/invisibleXML/ixml/issues/30 : Can pragmas be nested? 15:46:57 Topic: Next meeting 15:47:07 Steven: I have a conflict for 14 February. 15:47:22 Norm: I'd prefer 7 to 21. 15:47:31 So agreed 15:47:34 The next meeting is 7 February 2023. 15:48:19 rrsagent, make minutes 15:48:21 I have made the request to generate https://www.w3.org/2023/01/10-ixml-minutes.html Steven 15:56:04 rrsagent, make logs public 16:14:45 cmsmcq_ has joined #ixml