Fixes incorrect renaming of Second to TupleFirst in 79a3ba

formalsec · Jan 9, 2024 · cda2dc2 · cda2dc2
1 parent 548c5b1
commit cda2dc2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ECMA-SL/semantics/extended/compiler.ml b/ECMA-SL/semantics/extended/compiler.ml
@@ -302,15 +302,15 @@ C_s({e}(e1, ..., en) catch g) =
 *)
 let build_if_throw_basic (x : string) (s_then : Stmt.t) (at : region) : Stmt.t =
   let guard = Expr.UnOpt (TupleFirst, Expr.Var x) in
-  let s_else = Stmt.Assign (x, Expr.UnOpt (TupleFirst, Expr.Var x)) @> at in
+  let s_else = Stmt.Assign (x, Expr.UnOpt (TupleSecond, Expr.Var x)) @> at in
   Stmt.If (guard, s_then, Some s_else) @> at
 
 let build_if_throw (x : string) (g : string option) (at : region) : Stmt.t =
   match g with
   | None -> build_if_throw_basic x (Stmt.Return (Expr.Var x) @> at) at
   | Some g ->
     let args =
-      [ Expr.Var __INTERNAL_ESL_GLOBAL__; Expr.UnOpt (TupleFirst, Expr.Var x) ]
+      [ Expr.Var __INTERNAL_ESL_GLOBAL__; Expr.UnOpt (TupleSecond, Expr.Var x) ]
     in
     let call_stmt = Stmt.AssignCall (x, Expr.Val (Val.Str g), args) @> at in
     let inner_if = build_if_throw_basic x (Stmt.Return (Expr.Var x) @> at) at in