IRC log of xproc on 2008-05-08

Timestamps are in UTC.

14:52:53 [RRSAgent]
RRSAgent has joined #xproc
14:52:53 [RRSAgent]
logging to
14:53:10 [Norm]
Meeting: XML Processing Model WG
14:53:10 [Norm]
Date: 8 May 2008
14:53:10 [Norm]
14:53:10 [Norm]
Meeting: 111
14:53:10 [Norm]
Chair: Norm
14:53:11 [Norm]
Scribe: Norm
14:53:13 [Norm]
ScribeNick: Norm
14:59:44 [Zakim]
XML_PMWG()11:00AM has now started
14:59:51 [Zakim]
15:00:29 [Zakim]
MoZ, you asked to be pinged at this time
15:00:41 [MoZ]
Zakim, what is the code ?
15:00:41 [Zakim]
the conference code is 97762 (tel:+1.617.761.6200 tel:+ tel:+44.117.370.6152), MoZ
15:01:14 [Zakim]
15:01:23 [Zakim]
15:02:15 [Zakim]
15:02:27 [alexmilowski]
alexmilowski has joined #xproc
15:02:34 [Zakim]
15:02:41 [ruilopes]
Zakim, ?? is me
15:02:42 [Zakim]
+ruilopes; got it
15:03:06 [richard]
richard has joined #xproc
15:03:11 [Zakim]
15:03:20 [Vojtech]
Vojtech has joined #xproc
15:03:27 [Norm]
Zakim, who's on the phone?
15:03:27 [Zakim]
On the phone I see Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech
15:03:38 [Zakim]
15:03:50 [ht]
zakim, please call ht-781
15:03:50 [Zakim]
ok, ht; the call is being made
15:03:52 [Zakim]
15:03:52 [richard]
zakim, ? is me
15:03:54 [Zakim]
+richard; got it
15:04:03 [AndrewF]
AndrewF has joined #xproc
15:04:13 [Norm]
Zakim, who's on the phone?
15:04:15 [Zakim]
On the phone I see Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech, richard, Ht
15:04:26 [Norm]
Present: Norm, Mohamed, Paul, Alex, Rui, Vojtech, Richard, Henry, Andrew
15:04:39 [Norm]
Topic: Accept this agenda?
15:04:39 [Norm]
15:05:04 [Norm]
Henry suggests setting an end date for new features, added under Any Other Business
15:05:27 [Zakim]
15:05:34 [AndrewF]
zakim, ? is Andrew
15:05:34 [Zakim]
+Andrew; got it
15:05:58 [Norm]
Topic: Accept minutes from the previous meeting?
15:05:58 [Norm]
15:06:07 [Norm]
Norm observes that he's made the changes proposed and checked in a new draft.
15:06:08 [Norm]
15:06:37 [Norm]
Mohamed: The example in the minutes is not XProc.
15:06:40 [Norm]
Norm: Heh.
15:07:11 [Norm]
Norm to amend the minutes with the corrected example.
15:07:25 [Norm]
15:07:48 [Norm]
Topic: Next meeting 15 May 2008
15:08:22 [Norm]
Norm gives likely regrets. Henry to chair.
15:08:46 [Norm]
Topic: What PSVI properties survive going through which steps?
15:09:10 [Norm]
Norm attempts to summarize.
15:10:46 [Norm]
Henry: I think we need to get some experience in this area, we need to not violate the principle of least surprise but at the same time not constrain things too far.
15:11:03 [Norm]
Alex: The XSLT/XQuery story is draconian: you lose if you copy.
15:11:05 [Norm]
15:11:29 [Norm]
Henry: Processors are always able to say that they throw out everything.
15:12:03 [Norm]
Henry: But viewporting, by definition, doesn't change the validity properties of the portions that are viewported. We don't want to rule that out.
15:12:37 [Norm]
...There's one way that's false, actually, because the IDREF constraints are checked at document level.
15:14:21 [Norm]
Henry: In the input to a viewport, all the properties are correct except possibly the properties on the root element itself.
15:15:21 [Norm]
Richard: The suggestion that implementations can delete but MUST ensure accuracy blows away interoperability, doesn't it?
15:15:34 [Norm]
Henry: Yes, but it's not clear that that's a criticism. We'll find out.
15:16:07 [Norm]
...Even if all that you're guaranteed is that until you've gone through a step PSVI properties are there and you can put validate followed by XSLT2 and know you're going to win will be valuable.
15:16:55 [Norm]
Norm: The interoperability story is what worries me. There's at tradeoff between consistency and interesting implementation, I guess.
15:17:30 [Norm]
Alex: If I have a step that produces an infoset from whole cloth and it produces PSVI properties, it could assign those things any random value that you wanted and they could not be true.
15:17:32 [Norm]
...Is that OK?
15:18:07 [Norm]
Henry: It seems to me that it is. I'd like to be able to write a step that takes a PSVI and fixes some of the errors in the Schema 1.0 PSVI by turning them into infoset properties.
15:18:44 [Norm]
Richard: If you take Alex and Henry's position together, this would cause the next step to immediately discard the incorrect properties.
15:19:19 [Norm]
...So we really want to say that any properties that /were/ correct MUST still be correct.
15:19:22 [Norm]
Henry: Yes.
15:20:14 [Norm]
Henry: if you say you support the PSVI, that means that the pipes carry the PSVI. So if the output has PVSI properties, those properties are there on the input of the next step.
15:20:43 [Norm]
...Mohamed's response takes it one step further. If a processor says that it supports the PSVI, and it supports XPath 2.0, then you hsould be able to use type-aware XPaths in any XPath that is evaluated against the input.
15:20:47 [Norm]
...Maybe that's as far as we can go.
15:21:06 [Norm]
...The identity step won't preserve PSVI properties, but maybe that won't matter in practice.
15:22:00 [Norm]
Henry: But what about viewport?
15:22:14 [Norm]
...What about the builtin compound steps?
15:22:31 [Norm]
...Does it follow from all of this that you wrap part of a pipeline in a group, you lose the PSVI? I sure hope not.
15:23:19 [Norm]
Henry: There's no conceptual difficulty in saying that for for-each, choose, and group, the properties should be copied.
15:23:35 [Norm]
...Viewport is arguable, but I'd like to do it there too. And in try.
15:25:29 [Norm]
Norm: Yeah. Not preserving the PSVI coming out of a p:choose would make PSVI support pretty pointless.
15:25:45 [Norm]
Henry: So p:viewport is the one that seems arguable.
15:26:48 [Norm]
Norm: So viewport produces a weird mix of PSVI and not PSVI?
15:27:02 [Norm]
Henry: No. The first step in the viewport subpipeline sees the PSVI properties of its input.
15:27:10 [Norm]
...The output is clean, no PSVI.
15:28:14 [Norm]
...The next step up would be to say that if the last step in the viewport produces PSVI then the "islands" get PSVI proprties too.
15:28:53 [Norm]
Norm wonders if we can finish this on the call or if we should go back to email for a propsoal.
15:30:00 [Norm]
ACTION: Henry to draft a proposal for how PSVI support should be exposed across steps in the pipeline.
15:30:28 [Norm]
Topic: Support for other media types in p:unescape-markup
15:31:27 [Norm]
Vojtech: The first question about the content type seems ok, but then I had more questions about what should happen if the unescaping fails because the content is not WF XML or whether the XML decl should be present.
15:32:01 [Norm]
Norm: I think the step fails if the escaped markup isn't WF.
15:33:01 [Norm]
Vojtech: The way the unescape markup step works, if the root element has a default namespace, then the unescaped markup inherits it.
15:33:22 [Norm]
...But what about if the markup has a default namespace declaration?
15:33:29 [Norm]
Norm: Yes, I think that should be clear.
15:34:09 [Norm]
Alex: There's nothing funky here like DOM where there are default namespaces and such. We just parse and take what the parser gives us.
15:35:25 [Norm]
ACTION: Alex to review unescape-markup and see if any clarification seems to be needed.
15:37:01 [Norm]
Alex: As far as text/xml goes, for text embedded in another document, some folks do use text/xml.
15:38:10 [Norm]
Norm: I don't there's any support for that.
15:38:39 [Norm]
Norm: I guess if there's an escaped XML declaration, you have to just throw it out.
15:39:57 [Norm]
Richard: The obvious thing you have to do is ignore the encoding declaration.
15:40:22 [Norm]
Alex: We take the sequence of characters, if there's an XML decl in there, the parser will see it and do whatever it does. You the receiver will get it and not have anywhere to put it.
15:40:56 [Norm]
Some discussion of the encoding issues.
15:42:31 [Norm]
Henry: I'm still struggling with what it means to ignore the XML decl. One way is to say <?xml is stripped out of the decoded text before parsing. The other is to parse it and say that the properties it would set are ignored in the resulting infoset.
15:42:39 [MoZ]
ht, that's not that simple because of <?xml-stylesheet ?>
15:42:51 [Norm]
MoZ, then "<?xml " :-)
15:43:06 [MoZ]
:) you win
15:44:27 [Norm]
ACTION: Richard to attempt to clarify the prose of the unescape-markup with respect to the XML Declaration, document types, XML version, etc.
15:45:23 [Norm]
Mohamed: I think that what troubles me about the XML declaration is that escape-markup needs to clarify the meaning of the omit-xml-declaration.
15:45:31 [Norm]
Alex: No, that's a standard serialization option.
15:45:40 [Norm]
Mohamed: But it's escaping, not serializing.
15:45:59 [Norm]
Richard: Even XSLT 1.0 has an omit-xml-declaration option.
15:46:24 [Norm]
...I think 'unescape' would be better thought of as parse-from-text and escape as serialize-to-text.
15:47:33 [Norm]
More discussion of how serialization and escaping interact.
15:48:46 [Norm]
Vojtech: My question about the XML declaration was much simpler. I just wondered if it should be generated by default or not. It seems to me that the escape-markup step should probably not generate it by default.
15:49:03 [Norm]
Richard: Yes, the only useful thing you can put in it is standalone.
15:49:32 [Norm]
Alex: We don't say what the default for generating the declaration is, that's a problem.
15:50:55 [Norm]
ACTION: Alex to say what the default value for omit-xml-declaration is.
15:52:26 [Norm]
Topic: Should p:library allow p:pipeline?
15:53:22 [Norm]
Norm: Why don't we allow p:pipeline in p:library?
15:53:53 [Norm]
Alex: Now that they're equivalent, I don't see why not.
15:54:22 [Norm]
Proposal: Allow p:pipeline in library?
15:54:31 [Norm]
15:54:46 [Norm]
Topic: Deadline for new features?
15:55:02 [Norm]
Henry: I propose today.
15:55:57 [Norm]
Henry: What I meant is, if it's not on our agenda at COB CA time today, it has to be a bug or it's in v2.
15:56:10 [Norm]
Norm: Any objections?
15:56:55 [Norm]
15:57:15 [Norm]
Topic: Any other business?
15:57:19 [Norm]
None heard.
15:57:33 [Norm]
15:57:37 [Zakim]
15:57:38 [Zakim]
15:57:38 [Zakim]
15:57:38 [Zakim]
15:57:39 [Zakim]
15:57:39 [Zakim]
15:57:40 [Zakim]
15:57:42 [Zakim]
15:57:44 [Zakim]
15:57:44 [Norm]
RRSAgent, set logs world-visible
15:57:46 [Zakim]
XML_PMWG()11:00AM has ended
15:57:48 [Zakim]
Attendees were Norm, MoZ, PGrosso, alexmilowski, ruilopes, Vojtech, Ht, richard, Andrew
15:57:48 [Norm]
RRSAgent, draft minutes
15:57:48 [RRSAgent]
I have made the request to generate Norm
15:57:53 [PGrosso]
PGrosso has left #xproc
15:59:27 [ht]
ht has left #xproc
15:59:40 [ht]
ht has joined #xproc
16:06:43 [ht]
ht has joined #xproc
17:18:16 [Zakim]
Zakim has left #xproc