diff options
author | Son Ho | 2022-05-15 21:30:49 +0200 |
---|---|---|
committer | Son Ho | 2022-05-15 21:30:49 +0200 |
commit | a25d820b6eb02f573ad2c274a35e3496a9dacd40 (patch) | |
tree | d491994904b8f57b4b5ed993f61cec2127ebe20c /src/Expressions.ml | |
parent | f8f07a3135e69529407dfd9359197cb09e78776f (diff) |
Treat integer casts in a general manner
Diffstat (limited to 'src/Expressions.ml')
-rw-r--r-- | src/Expressions.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 61a2f95c..6bf14c66 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -18,7 +18,13 @@ type projection_elem = type projection = projection_elem list [@@deriving show] type place = { var_id : VarId.id; projection : projection } [@@deriving show] type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving show] -type unop = Not | Neg [@@deriving show, ord] + +type unop = + | Not + | Neg + | Cast of integer_type * integer_type + (** Cast an integer from a source type to a target type *) +[@@deriving show, ord] (** A binary operation |