nul and non null types

[Mildred Ki'Lya]

On 01/26/2010 02:55 PM, Pierre-Alexandre Voye wrote:
> + local : TYPE [ local =! NULL ];
>
> You want a syntax for this ?

First, it is:

+ local : TYPE [ ? { local =! NULL }; ];

(notice how many special chars requiring a special and painful key
combinaison in it). Now, Ben uses emacs, I shouldn't be surprised.

Unless I'm mistaken. And, well, I haven't been thilking about this since
contracts on locals are recent.
Does it work for slot parameters ?

Now, I would prefer a syntax for that since it is very difficult to
write, hence nobody will write it. And we will get no protection against
NULL.

Mildred

-- 
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <mildred at jabber.fr>
│ Website: <http://ki.lya.online.fr>           GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20100126/690cea4f/attachment-0001.pgp>