+ local : TYPE [ local =! NULL ];<br><br>You want a syntax for this ?<br><br><div class="gmail_quote">2010/1/26 Mildred Ki'Lya <span dir="ltr"><<a href="mailto:ml.mildred593@gmail.com">ml.mildred593@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Hi,<br>
<br>
<br>
<br>
earlier, we discussed the possibility to specify in the type of a local<br>
(possibly a parameter to a function) if it should be allowed to be null<br>
or not.<br>
<br>
I recently found an interesting syntax, but we have to spend a special<br>
character for it (it shouldn't be ambiguous though). It comes from the<br>
vala language: <a href="http://www.vala-project.org/doc/vala/types.html#nullabletypes" target="_blank">http://www.vala-project.org/doc/vala/types.html#nullabletypes</a><br>
<br>
<br>
local : TYPE?<br>
(local is allowed to be NULL)<br>
<br>
local : TYPE<br>
(local must never be NULL, if it is, it's an error, either<br>
compile-time or run-time)<br>
<br>
<br>
That was my idea of the moment.<br>
<font color="#888888"><br>
--<br>
Mildred Ki'Lya<br>
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────<br>
│ Jabber, GoogleTalk: <<a href="mailto:mildred@jabber.fr">mildred@jabber.fr</a>><br>
│ Website: <<a href="http://ki.lya.online.fr" target="_blank">http://ki.lya.online.fr</a>> GPG ID: 9A7D 2E2B<br>
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B<br>
<br>
</font><br>_______________________________________________<br>
Lisaac-devel mailing list<br>
<a href="mailto:Lisaac-devel@lists.alioth.debian.org">Lisaac-devel@lists.alioth.debian.org</a><br>
<a href="http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel" target="_blank">http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br>---------------------<br>Isaac Project - <a href="http://www.lisaac.org/">http://www.lisaac.org/</a><br>