14:47:59 RRSAgent has joined #xproc 14:47:59 logging to http://www.w3.org/2009/05/28-xproc-irc 14:48:00 Zakim has joined #xproc 14:48:04 Zakim, this will be xproc 14:48:04 ok, Norm; I see XML_PMWG()11:00AM scheduled to start in 12 minutes 14:48:15 Meeting: XML Processing Model WG 14:48:15 Date: 28 May 2009 14:48:15 Agenda: http://www.w3.org/XML/XProc/2009/05/28-agenda 14:48:15 Meeting: 145 14:48:15 Chair: Norm 14:48:16 Scribe: Norm 14:48:18 ScribeNick: Norm 14:53:41 MoZ has joined #xproc 14:56:03 PGrosso has joined #xproc 14:59:51 Zakim, this will be xproc 14:59:51 ok, MoZ; I see XML_PMWG()11:00AM scheduled to start in 1 minute 14:59:57 Zakim, what is the code ? 14:59:57 the conference code is 97762 (tel:+1.617.761.6200 tel:+33.4.89.06.34.99 tel:+44.117.370.6152), MoZ 15:00:43 ht_gone_home has joined #xproc 15:01:00 zakim, please call ht-781 15:01:00 ok, ht; the call is being made 15:01:01 XML_PMWG()11:00AM has now started 15:01:02 +Ht 15:01:30 +[ArborText] 15:01:45 +Vojtech 15:03:12 ht, can you run through the administrivia while I struggle to get off this other call? 15:03:23 sure 15:03:25 thx 15:03:39 zakim, who is on the call? 15:03:39 On the phone I see Ht, PGrosso, Vojtech 15:03:52 Moz, you calling in? 15:05:39 +Norm 15:06:03 Regrets: Alex 15:06:09 Zakim, who's on the phone? 15:06:09 On the phone I see Ht, PGrosso, Vojtech, Norm 15:06:19 Present: Henry, Paul, Vojtech, Norm 15:06:26 Topic: Accept this agenda? 15:06:26 -> http://www.w3.org/XML/XProc/2009/05/28-agenda 15:06:38 Accepted 15:06:53 Topic: Accept minutes from the previous meeting? 15:06:53 -> http://www.w3.org/XML/XProc/2009/05/14-minutes 15:07:02 +MoZ 15:07:06 Accepted 15:07:12 Present: Henry, Paul, Vojtech, Norm, Mohamed 15:07:28 Topic: Next meeting: telcon 4 June 2009 15:07:56 Paul is at risk, so is Norm 15:08:18 Henry gives regrets for 11 June 15:08:23 Henry to chair 4 June in Norm's absence 15:09:16 Topic: New public draft 15:09:18 Is expected today. 15:11:11 Topic: Face-to-face meeting 15:11:30 Is expected in Santa Clara at the upcoming W3C Technical Plenary meeting during the first week of November, 2009. 15:11:39 Topic: The question of unbound options 15:11:58 -> http://lists.w3.org/Archives/Public/xproc-dev/2009May/0116.html 15:12:13 Norm: I think I've mostly come to terms with the fact that there's no pretty way out of this in V1. 15:12:31 Henry: I agree; so the question is which of the ugly ways do we move forward. 15:13:02 Norm: I think Vojtech's observation that try/catch conflates this case with other errors motivates me. 15:13:09 Henry: I'm motivated too. 15:13:31 Norm: I think the lowest hanging fruit solution is a new XPath extension function, p:option-available. 15:14:33 Norm summarizes 15:14:43 Henry: I don't have any problem with p:option-avaialable. 15:15:01 Henry: I'm prepared to make the case that we don't need to go back to last call if we add this as a "feature at risk" 15:15:07 s/avaialable/available/ 15:15:31 Norm/Vojtech: This is easy to implement. 15:16:34 Henry: We haven't heard from James Fuller, but we haven't heard from him about anything recently. 15:17:20 Norm: Proposal: add this new extension function? 15:17:28 Accepted. 15:17:50 Norm: The other proposal was Mohamed's bound-like-this-option attribute on p:with-option 15:18:18 Henry: I couldn't see how that didn't just push the problem one level down. 15:20:32 Norm attempts to explain 15:22:06 Mohamed: It's a very particular use case that this covers. 15:22:54 Vojtech: In Mohamed's proposal, it takes the name of the option. What if we say that it takes an XPath expression and if that expression raises an error then the step will get an undefined value. 15:23:33 Norm: That will also mask other sorts of errors, like wrong number of function arguments 15:24:07 Henry: If we go that far, I want two additional attributes on p:with-option, @protected and @fallback. 15:24:21 ...@protected is a boolean, if it's true then XPath errors in the select expression don't blow the pipeline. 15:24:48 ...If @protected is true and there's no @fallback, you get undefined 15:24:57 ...If @protected is true and there's an @fallback, you get the fallback. 15:25:08 ...If @protected is false, you get the current behavior. 15:25:33 Henry: So to get what Mohamed proposes you write "protected=true' select='$foo'" 15:26:04 Norm: I'm a little more comfortable that way. 15:26:19 Vojtech: I don't think people will be using this feature a lot. 15:27:12 Norm argues that maybe we don't want to go *this* far in V1. 15:28:02 Henry: All this adds up to is: I think we should only do the p:option-available() and not Mohamed's suggestion or any of its refinements. 15:28:15 Norm: I agree. 15:28:52 Norm: Does anyone want to argue for more than p:option-available in V1? 15:28:56 None heard 15:29:08 Norm: Let's nail down the semantics just a little bit. 15:29:23 1. p:option-available() takes a single QName argument 15:29:44 2. It returns true if and only if there is an option with that name and that option has a value 15:29:51 s/a value/an in-scope value/ 15:31:32 Henry: It should be p:value-available() or p:reference-valid or something like that if it works for any option/variable in scope. 15:31:54 Norm: I see. I guess value-available works for me. 15:32:12 Accepted. 15:33:18 Norm: I think the last question is... 15:33:36 scribenick: ht 15:33:57 Norm: does this return 'false' or throw an error if the supplied QName is not in scope at all? 15:34:17 HST: Hunh? Oh yes, right -- well, helps the user more if it is an error 15:34:26 ... How hard is that? 15:35:24 Vojtech: It's easy for me, but is it right? 15:35:51 Mohamed: I think an error is the right thing . . . 15:36:16 ... Being consistent with other ...-available would be good 15:36:28 ... step-available doesn't support this distinction 15:37:15 Vojtech: value-available would do more, because it checks a) if there is a var/opt and b) if it has a value 15:37:25 Mohamed: OK, so, two functions? 15:37:59 Vojtech: Perhaps, or perhaps a second argument to control the error . . . 15:38:28 HST: I'm happy with all three options: hard semantics, two functions or a 2nd argument 15:38:37 Vojtech: I'd prefer a 2nd argument 15:38:46 Mohamed: Fine with me. . . 15:39:10 HST: So, what is the 2nd argument called? 15:39:57 HST: Do we have optional args in XPath 15:40:09 p:value-available('foo') 15:40:23 I want that to work 15:40:39 ... with whatever semantics we agree for the 2nd arg 15:41:18 ... So I guess I propose to call the 2nd arg 'allow-unknowns', with default False 15:42:35 Vojtech: We've used fail-if-... elsewhere 15:42:50 Mohamed: So 'fail-if-unknown' with default True 15:42:57 HST: Works for me 15:45:37 Norm: I don't fully see why this is necessary, but I can live with it 15:46:08 Vojtech: I had some sense of dynamically-generated option names being tested 15:46:16 scribenick: norm 15:46:18 Norm: I guess I would have just had it be 'soft' 15:46:45 Vojtech: I also wonder if the function throws an error, if we need a special error code. 15:46:54 Henry: We should be able to reuse an existing error. 15:47:18 s/Henry:/Vojtech:/ 15:47:54 Norm: I'm happy either way. 15:48:03 Mohamed: I think the existing error is fine. 15:48:42 Vojtech: If we went this far, maybe there would be value in having a unique error code. 15:48:52 Mohamed: I'm ok either way. 15:49:01 Norm: Error codes are cheap, let's give it a new one. 15:49:49 Vojtech: There was another bug reported on xproc-dev. 15:50:24 ...If an unused option refers to an unbound option, is that ok? 15:51:57 Norm: If you put a select expression is used in an option declaration, it's not evaluated then, it's evaluated when a step of that type is instantiated. 15:52:06 Norm: We don't have lazy eval of options and I don't think we need to add it. 15:52:09 Vojtech/Henry: No! 15:52:39 ACTION: Norm to clarify "is needed" in 5.7.2 15:53:22 Topic: Any other business 15:53:28 Norm: Our new draft has been publish. 15:53:45 Adjourned. 15:53:50 -PGrosso 15:53:51 -Norm 15:53:51 -Ht 15:53:53 -Vojtech 15:53:53 XML_PMWG()11:00AM has ended 15:53:54 Attendees were Ht, PGrosso, Vojtech, Norm, MoZ 15:53:57 RRSAgent, set logs world-visible 15:54:00 RRSAgent, draft minutes 15:54:00 I have made the request to generate http://www.w3.org/2009/05/28-xproc-minutes.html Norm 15:54:05 PGrosso has left #xproc 17:29:33 Zakim has left #xproc