]> On Thu, Dec 26, 2002 at 09:55:09PM -0600, Gurr, David (MED, self) wrote: > try "ocamlc -dlambda foo.ml" Wow. That outputs something that looks a lot like LISP. And -dlambda seems to be undocumented, at least in the man page and the HTML user's manual. What is it intended for? Just in case anyone's interested, here are the two programs and the results of calling the above command on them: -- foo1.ml ---------------------------------------------------------- let foo = function | i when i >= 500 -> true | i -> false in for i = 1 to 100000 do ignore (foo (Random.int 1000)) done --------------------------------------------------------------------- bash-2.05a$ ocamlc -dlambda foo1.ml (setglobal Foo1! (seq (let (foo/56 (function i/57 (if (>= i/57 500) 1a 0a))) (for i/59 1 to 100000 (ignore (apply foo/56 (apply (field 4 (global Random!)) 1000))))) (makeblock 0))) -- foo2.ml ---------------------------------------------------------- let foo i = if i >= 500 then true else false in for i = 1 to 100000 do ignore (foo (Random.int 1000)) done --------------------------------------------------------------------- bash-2.05a$ ocamlc -dlambda foo2.ml (setglobal Foo2! (seq (let (foo/56 (function i/57 (if (>= i/57 500) 1a 0a))) (for i/58 1 to 100000 (ignore (apply foo/56 (apply (field 4 (global Random!)) 1000))))) (makeblock 0))) I note that the output is identical except on the fourth line: i/59 vs. i/58 . What does that notation represent, by the way? -- Matt Gushee When a nation follows the Way, Englewood, Colorado, USA Horses bear manure through mgushee@havenrock.com its fields; http://www.havenrock.com/ When a nation ignores the Way, Horses bear soldiers through its streets. --Lao Tzu (Peter Merel, trans.) ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners