- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 19 Mar 2015 05:40:44 -0700
- To: Eric Prud'hommeaux <eric@w3.org>
- CC: Arthur Ryman <arthur.ryman@gmail.com>, public-data-shapes-wg@w3.org
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Yes, the parts that use evalRule', which include the ValueReference - @ construct, the AndRule - , construct, the XorRule - | construct, and the GroupRule (,) construct. peter On 03/19/2015 03:29 AM, Eric Prud'hommeaux wrote: > * 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 >> > -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJVCsPMAAoJECjN6+QThfjzhX4IAMa39MmSN6+Gs2oiiruZ6s06 WIyQ6uUReC0goptW3DerkGL4bUiqjuHrWjle8SlGzO3JCRLWXW0qw7eBXLyTpwp8 YK//i9ZkvEtr+bnoPaVYepMHtb13Zr82lRz9fbJvpV+JbBiMFAxhi70gAcP8OCF1 nfEt0pmagU6oDGoGyNc6CP+HmXFcyxLGa5I4HAfznQlgz0tDpij1IT68aC7TYk4A OEpgbA9COlIP0HbkQcqozoDjUfb2UrRlAHr7E0mt5MABZj1a5VzEg7owzFwmqS/M p3dpgbdzc8PLPFHQFzLokDxtQ1SxMcWXaKLxau3qm3eCWRoVgaENT3bBpRckomQ= =OJro -----END PGP SIGNATURE-----
Received on Thursday, 19 March 2015 12:41:14 UTC