Richard Jones wrote: "... All in all, this is not ideal for writing correct programs. Some sort of exception analysis would be most welcome."
Doesn't the "catch me if you can" library provide this? Among the listed features are: * case coverage (i.e. the compiler can tell you if you forgot a case or sometimes if you wrote useless ones) Isn't it so that the "catch me if you can" library solves most (all?) problems related to error handling through exceptions in ocaml? (The "Batteries included" project has listed it as a possible inclusion for future versions (http://www.cocan.org/osr/batteriesincluded) Regards Peter R _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
