15:10:00 RRSAgent has joined #ixml 15:10:00 logging to https://www.w3.org/2022/01/18-ixml-irc 15:10:10 RRSAgent, make logs public 15:10:18 Meeting: ixml Group Teleconference 15:10:36 Date: 18 January 2022 15:10:43 Chair: Steven 15:11:34 Agenda: https://lists.w3.org/Archives/Public/public-ixml/2022Jan/0114 15:11:41 rrsagent, make minutes 15:11:41 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 15:13:15 tovey-walsh has joined #ixml 15:14:18 norm has joined #ixml 15:19:57 john has joined #ixml 15:27:24 Present: Dave, John, Steven 15:29:27 Present+Norm 15:30:30 Present+Bethan 15:33:00 Present+MSM 15:33:33 Present+Tom 15:34:06 Topic: Review of agenda 15:34:18 [No comments][ 15:34:19 Topic: Previous Actions 15:34:45 ACTION (2021-10-001): Steven Pemberton to draft a mediatypes proposal 15:34:45 Sorry, but no Tracker is associated with this channel. 15:35:19 Steven: I did draft a reply; should go on a future agenda 15:36:08 ACTION (2022-01-001): Dave Pawson to propose terminology to separate 15:36:08 Sorry, but no Tracker is associated with this channel. 15:36:08 document inputs and outputs. 15:36:51 Dave: I have updated it with everyone's comments. 15:37:15 ... an issue will still be replied to 15:37:25 ... I believe the action is complete 15:38:41 Topic: Issues 15:39:10 MSM: I would like to handle some issues, so can we time-box something before talking about pragmas, or vice versa 15:39:39 Tom: to top of hour 15:39:46 ... discussing issues 15:40:19 Topic: issue #27 Should ixml elide the difference between dstring and sstring? 15:40:19 https://github.com/invisibleXML/ixml/issues/27 15:41:30 RESOLUTION: Remove the difference between dstring and sstring 15:41:42 Topic: issue #5 Whitespace / comments in awkward places 15:41:42 https://github.com/invisibleXML/ixml/issues/5 15:42:01 MSM: I reopened an old issue of Tom's. 15:42:18 ... eg a comment in the middle of a range 15:42:45 Steven: Oh yes, a bug in the grammar, and I believe it is now fixed. 15:43:03 ... I will commit with a comment 15:43:34 John: where does the comment end up? 15:43:48 MSM: Now in the attribute, shortly in the XML. 15:44:04 Topic: issue #22 Clarify the spec by making "empty" more explicit 15:44:04 https://github.com/invisibleXML/ixml/issues/22 15:44:45 Norm: as a new user, I missed the empty alternatives. 15:45:11 MSM: Either () or nonterminal, "empty". 15:45:36 Steven: I can live with that. 15:46:10 ACTION Steven: make empty visible in the icxml grammar 15:46:10 Sorry, but no Tracker is associated with this channel. 15:46:24 ACTION Steven: Commit new version 15:46:24 Sorry, but no Tracker is associated with this channel. 15:46:41 Topic: issue #24 Does ixml have to match the whole input? 15:46:41 https://github.com/invisibleXML/ixml/issues/24 15:48:39 Steven: How about the proposal of a state that says we have found a parse, but with leftover input. 15:49:02 Norm: I'm not sure I can support that. 15:50:11 Dave: I think it should be a fail if there is input left over. 15:51:38 Steven: An example case is if there is a trailing newline that the grammar doesn't accept. 15:52:47 MSM: 15:53:05 Tom_ has joined #ixml 15:54:00 Michael proposes that the spec says an implmentation 15:54:14 ... the spec should say the processor may add user option to allow the consumption of a prefix of the input. 15:54:21 MAY allow the user to specify a mode where it parses the largest possible prefix of the input 15:55:19 John: With a streaming input, with repeats of the same, it would be helpful 15:56:08 Tom: streaming would eb ice 15:56:14 MSM: Not as easy as you think 15:56:21 s/ eb / be / 15:57:04 Tom: I would like to rely on the grammar to tell me where the end of the input is. 15:57:29 Norm: Leave the status quo, and spec it later. 15:58:18 MSM: We need to decide whether to mention it or not. 15:59:31 Steven: I have an example of a URL that ends with a # part, but the grammar doesn't specify the hash part. 15:59:45 ... is that a fail, or a match with left-over input? 15:59:50 Dave: A fail. 16:00:02 Bethan: I like having an option. 16:00:17 Tom: I agree. 16:01:18 Steven: The advantage of a state is that it means the user can decide if it is a fail or not. 16:01:44 MSM: a* vs "aaa". 16:02:33 Bethan: You should stop when you've reached a point where you can't parse any more. 16:02:48 Topic: Pragmas proposal 16:03:04 (but you should not stop unless you cannot consume any more of the input) 16:03:26 Tom: For good reasons or bad, we aren't talking about just pragmas, but entangled them iwth namespaces. 16:03:32 s/iwth/with/ 16:03:55 ... we haven't reached consensus on whether namespaces should be in v1. 16:04:33 John: Any work on pragmas will have to disambiguate pragmas 16:05:10 Norm: If you accept that pragmas doesn't deal with disambiguation, there is no need for namespaces. 16:05:34 Tom: Legacy is forever 16:06:05 ... We need to decide whether to disambiguate. 16:06:10 ... Then how to do it. 16:06:55 John: Regardless of pragmas, I believe we will need namespaces in v1. 16:07:55 Steven: It wasn't in the original requirements, in fact it was an anti-requirement 16:09:03 John: But what if you want to produce SVG mixed with something. 16:09:08 Steven: Post-process 16:09:54 ... XML is only one of the possible targets. 16:10:14 Tom: I understand Steven's argument and agree with it up to a point. 16:11:22 ... the extent of that argument is remove attributes. 16:12:01 C. M. Sperberg-McQueen17:11 16:12:01 Sometimes I wonder if Steven is unconsciously slipping from "it is not a requirement to do X" to "it is a requirement that we not do X". I think John's remark illustrates the point that users will have their own ideas about our requirements. 16:12:44 Dave: Can the two issues be spearated, the use of SVG in HTML and pragma disambiguation 16:13:56 s/spear/separ/ 16:15:17 Dave: 1) Accept namespaces. 16:15:27 Steven: It's not as easy as that 16:15:33 Tom: Or as clear-cut 16:16:44 Tom: We have a pragma proposal 16:17:21 MSM: Can you expound on where you think the complications are? 16:17:54 ... I believe a syntax that allows definition of namespaces, then we can produce namespaced XML, and everything is straightforward. 16:18:10 ... it seems to be simple enough. 16:20:02 Steven: I don't think it's as easy as you think. Design takes time. 16:21:30 Tom: I wonder what objections you have to the existing proposal. 16:21:36 Steven: I said those last week. 16:22:52 Bethan: The only thing that comes in are namespaces and pragmas. 16:23:26 ... can we attempt to say let us act as though we do want namespaces and see whether it works. 16:23:31 No objection to that. 16:23:42 s/No/Steven: No/ 16:24:20 ... maybe we can satisfy everyone. 16:24:35 ... I like the pragmas proposal. 16:24:52 Michael: Those comments apply to the pragmas proposal, but not visibly to the part of the proposal that addresses namespaces. And the syntax of namespace declarations is explicitly mentioned as something that the CG could change, so I don't understand "I don't like the syntax chosen" as an argument. Propose a new syntax for namespace declarations, then? 16:25:01 ("Those comments" meaning "what Steven just said, summarizing his objections") 16:25:20 Dave: Question for MSM and TOm, do you have pragmas and namespace inclusion. 16:25:23 Tom: Yes. 16:25:37 Dave: Then that answers Bethan's point. 16:25:44 s/TOm/Tom/ 16:26:18 Tom: The pragma proposal addresses the namespace issue. 16:27:00 MSM: Those of us who think that there is a namespaces solution outside of pragmas should propose that. 16:27:14 Dave: Is that sensible. 16:27:30 s/ble./ble?/ 16:27:44 MSM: I believe that pragmas make sense only with QNames 16:28:30 ... which is why we proposed what we did 16:28:58 ... but namespaces don't require pragmas. Maybe separating them might be advantageous. 16:29:39 Norm: There are a lot of weighty issues around these two topics. Let us focus on the syntax next week. 16:29:59 ... If we could start agreeing on strings it might help. 16:30:15 [ADJOURN] 16:30:44 rrsagent, make minutes 16:30:44 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 16:32:06 ACTION Steven: remove dstring and sstring differentiation from grammar 16:32:06 Sorry, but no Tracker is associated with this channel. 16:32:36 s/icxml/ixml/ 16:33:28 bethan has joined #ixml 16:43:08 s/… maybe we can satisfy everyone./Bethan: maybe we can satisfy everyone./ 16:43:13 rrsagent, make minutes 16:43:13 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 16:44:15 i/… maybe we can satisfy everyone./Bethan: .../ 16:44:17 rrsagent, make minutes 16:44:17 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 16:44:47 rrsagent, help 16:46:45 bethan has joined #ixml 16:47:16 dpawson has joined #ixml 16:47:25 finally! 16:48:25 i/... maybe we can satisfy everyone./Bethan: ... 16:48:27 rrsagent, make minutes 16:48:27 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 16:49:13 s/pragmas and namespace inclusion./pragmas and namespace inclusion?/ 16:49:28 rrsagent, make minutes 16:49:28 I have made the request to generate https://www.w3.org/2022/01/18-ixml-minutes.html Steven 17:20:56 norm has left #ixml 17:26:58 bethan has joined #ixml 18:18:22 bethan has joined #ixml 18:31:06 bethan has joined #ixml 19:03:30 bethan has joined #ixml 20:17:48 bethan has joined #ixml 21:55:27 bethan has joined #ixml 23:27:00 bethan has joined #ixml