Remove some allocations in value_typing

formalsec · Jan 15, 2024 · 126a39c · 126a39c
1 parent 3b8f520
commit 126a39c
Show file tree

Hide file tree

Showing 6 changed files with 168 additions and 194 deletions.
diff --git a/ECMA-SL/dune b/ECMA-SL/dune
@@ -95,8 +95,6 @@
   T_Constraint
   T_Pattern
   ;   symbolic
-  args_typing_unop
-  args_typing_binop
   choice_monad_intf
   choice_monad
   extern_func
@@ -113,7 +111,6 @@
   symbolic_memory2
   s_object_branch_get
   symbolic_value
-  type_of_val
   value_intf
   value_reducer
   value_translator

diff --git a/ECMA-SL/functorial/args_typing_binop.ml b/ECMA-SL/functorial/args_typing_binop.ml
diff --git a/ECMA-SL/functorial/args_typing_unop.ml b/ECMA-SL/functorial/args_typing_unop.ml
diff --git a/ECMA-SL/functorial/type_of_val.ml b/ECMA-SL/functorial/type_of_val.ml