nul and non null types
Mildred Ki'Lya
ml.mildred593 at gmail.com
Tue Jan 26 15:22:13 UTC 2010
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
╭───────── mildred593@online.fr ──────────
│ 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>
More information about the Lisaac-devel
mailing list