W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > March 2015

Re: Z Errors in Shape Expressions 1.0 Definition

From: Eric Prud'hommeaux <eric@w3.org>
Date: Thu, 19 Mar 2015 06:29:28 -0400
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Cc: Arthur Ryman <arthur.ryman@gmail.com>, public-data-shapes-wg@w3.org
Message-ID: <20150319102926.GD18240@w3.org>
* Peter F. Patel-Schneider <pfpschneider@gmail.com> [2015-03-19 01:56-0700]
> Arthur,
> 
> How are you going to handle the non-Z part of the definition?

Is it the case that Z typechecks all but the return type of recursive
invocations (which you must then test by thinking)?


> peter
> 

-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

There are subtle nuances encoded in font variation and clever layout
which can only be seen by printing this message on high-clay paper.
Received on Thursday, 19 March 2015 10:29:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:18 UTC