Diverging Programs with Ocaml Exceptions:


Subject: Diverging Programs with Ocaml Exceptions:
From: Fabio Rojas (frojas@ccs.neu.edu)
Date: Mon Feb 25 2002 - 18:03:50 EST


(* if this looks familiar its because I took Galen example and
Ocamlized it *)

exception D of (exn -> exn);;

(* This will give you a warning because match does not handle all of the
possible patterns for exceptions but it will still run.*)
let d x = try (raise x) with x -> match x with D x -> x(D(x))
in d(D(d));;



This archive was generated by hypermail 2b28 : Mon Feb 25 2002 - 18:03:52 EST