Commit c0644536 authored by MARCHE Claude's avatar MARCHE Claude

follow-up bug 13853

parent b87527c5
(*
BTS 13853 (follow-up)
https://gforge.inria.fr/tracker/?func=detail&atid=10293&aid=13853&group_id=2990
*)
module T
type t
exception MyExc
let rec f (a:t) : t = raise MyExc
with g (a:t) : t =
try (f a) with | MyExc -> a end
end
(*
BTS 13853 (follow-up)
https://gforge.inria.fr/tracker/?func=detail&atid=10293&aid=13853&group_id=2990
*)
module T
type t
exception MyExc
let rec f (x:t) : t = raise MyExc
with g (x:t) : t =
{} (f x) {}
end
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment