13853.mlw 265 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
16
17
18
19
20
21

(*

BTS 13853

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

*)

module T

use import int.Int

exception MyExc

let rec f (x:int) : int  = {} raise MyExc {} | MyExc -> {}

with   g (x:int) : int = {}  f x {} | MyExc -> {} 


end