Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Static exception analysis or alternative to using exceptions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Peter Ronnquist <pronnquist@y...>
Subject: Re: [Caml-list] Static exception analysis or alternative to using exceptions

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