diff options
author | Son Ho | 2022-02-03 19:22:30 +0100 |
---|---|---|
committer | Son Ho | 2022-02-03 19:22:30 +0100 |
commit | 1dd71ca1d37d5ca7fae5a7e9766e03194dfb764f (patch) | |
tree | 97bc2a333ff32c0288d7266d76b3836b1145a8d1 /src/Expressions.ml | |
parent | a7fe9ad55a25567bb851959051c2e39137be583c (diff) |
Implement extraction of function calls
Diffstat (limited to 'src/Expressions.ml')
-rw-r--r-- | src/Expressions.ml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 6e2b20d0..816870cd 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -47,6 +47,26 @@ type binop = | Shr [@@deriving show, ord] +let all_binops = + [ + BitXor; + BitAnd; + BitOr; + Eq; + Lt; + Le; + Ne; + Ge; + Gt; + Div; + Rem; + Add; + Sub; + Mul; + Shl; + Shr; + ] + (** Constant value for an operand It is a bit annoying, but rustc treats some ADT and tuple instances as |