Commit 55889253 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

bug #13515 is not bug #13853, and not yet fixed

parent 7d674cf5
......@@ -1763,7 +1763,7 @@ and expr_desc gl env loc ty = function
let c = type_c env c in
Eany c, c.c_result_type, c.c_effect
and triple ?(sat_exn=false) gl env (p, e, q) =
and triple ?(sat_exn=true) gl env (p, e, q) =
let e = expr gl env e in
let q = if sat_exn then saturation e.expr_loc e.expr_effect q else q in
let ef = e.expr_effect in
module ExcepAndRec
use import int.Int
exception E
let rec f (x:int) : int =
if x = 42 then raise E else
let n = f (x-1) in
with E -> 42
module Test
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