nul and non null types

[Pierre-Alexandre Voye]

+ local : TYPE [ local =! NULL ];

You want a syntax for this ?

2010/1/26 Mildred Ki'Lya <ml.mildred593 at gmail.com>

> Hi,
>
>
>
> earlier, we discussed the possibility to specify in the type of a local
> (possibly a parameter to a function) if it should be allowed to be null
> or not.
>
> I recently found an interesting syntax, but we have to spend a special
> character for it (it shouldn't be ambiguous though). It comes from the
> vala language:
> http://www.vala-project.org/doc/vala/types.html#nullabletypes
>
>
> local : TYPE?
>    (local is allowed to be NULL)
>
> local : TYPE
>    (local must never be NULL, if it is, it's an error, either
> compile-time or run-time)
>
>
> That was my idea of the moment.
>
> --
> 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
>
>
> _______________________________________________
> Lisaac-devel mailing list
> Lisaac-devel at lists.alioth.debian.org
> http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel
>
>


-- 
---------------------
Isaac Project - http://www.lisaac.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20100126/9d3de546/attachment.htm>