> Hi,
>
> Shouldn't the implementation of Global.isdef return true
> iff the global has been set (the documentation sates that
> this is the intended behaviour)? If so, then the
> implementation is currently wrong:
>
> (from CVS global.ml):
>
> let isdef (r,_) = !r = None
>
> Returns true iff the global has NOT been set.
You're true, implementation is wrong :)
Fixed now,
Thanks for the report.
Nicolas Cannasse
-------------------------------------------------------
This SF.net email is sponsored by: The Robotic Monkeys at ThinkGeek
For a limited time only, get FREE Ground shipping on all orders of $35
or more. Hurry up and shop folks, this offer expires April 30th!
http://www.thinkgeek.com/freeshipping/?cpg=12297
|
Try Searching:
servers, voip, java, networking, microsoft ...
|
|
|
| 
