something i was always curious about:  why do you need to 
specify the "rec" in a "let rec" function definition?  as opposed
to, say, having the compiler figure out when a function is recursive?

is it a compiler/grammar optimization?  or to help the user, forcing them
to be precise with recursion?  or required by the type system?

do other ML's do it this way?

just curious.

----
Garry Hodgson, Senior Hacker, AT&T Labs

No act is more patriotic than speaking out when your government 
is doing the wrong thing in your name.  This is not your right
but your sacred duty.  And none are more treasonous than those
who would silence these voices.

-------------------
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