From: Bardur A. <oca...@sc...> - 2004-04-26 17:18:25
|
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. -- Bardur Arantsson <ba...@im...> <ba...@sc...> - This is Mr. Death. He's a reaper. | Monty Python's The Meaning of Life |