13853a.mlw 257 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

(*

BTS 13853 (follow-up)

https://gforge.inria.fr/tracker/?func=detail&atid=10293&aid=13853&group_id=2990

*)

module T

 type t

 exception MyExc

16
 let rec f (a:t) : t raises { MyExc } = raise MyExc
17
 with g (a:t) : t = try (f a) with MyExc -> a end
MARCHE Claude's avatar
MARCHE Claude committed
18 19

end