- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Tue, 05 May 2009 08:36:11 +0100
- To: Adrian Paschke <paschke@inf.fu-berlin.de>
- CC: 'RIF WG' <public-rif-wg@w3.org>
Any thoughts on the question in [1]? I don't see why we are restricting to ground lists rather than using the safety definition to limit use of the list operator. If we do retain ground lists then we could at least have a fn:list builtin which can be used to construct lists from elements, without having to use the ugly nested fn:insert-before(0,..) construction. Dave [1] http://lists.w3.org/Archives/Public/public-rif-wg/2009May/0007.html Adrian Paschke wrote: > I have added the restriction on ground list in Core. > > > > Syntactically Harold and I updated the EBNF to ground lists (without > variables). The semantics follows from this syntactic restriction. To > make it explicit I have added a statement about ground list terms which > are safe to the safeness definition. > > > > -Adrian >
Received on Tuesday, 5 May 2009 07:36:58 UTC