diff options
author | Son Ho | 2022-01-28 19:03:59 +0100 |
---|---|---|
committer | Son Ho | 2022-01-28 19:03:59 +0100 |
commit | f01cae026d6ec4c9d2a0eec4719f1819e414a5b8 (patch) | |
tree | c34424126eec2ea9110835943e6a59e6ffef39d3 /src/Pure.ml | |
parent | 65435f03dba02adbaf7ba64cba6566fb01d376ef (diff) |
Finish implementing filter_unused_assignments
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index 6c9a6f67..f20cdf50 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -346,7 +346,7 @@ and typed_rvalue = { value : rvalue; ty : ty } polymorphic = false; }] -type unop = Not | Neg of T.integer_type +type unop = Not | Neg of T.integer_type [@@deriving show] type fun_id = | Regular of A.fun_id * T.RegionGroupId.id option @@ -354,6 +354,7 @@ type fun_id = if it is a forward function *) | Unop of unop | Binop of E.binop * T.integer_type +[@@deriving show] (** Meta-information stored in the AST *) type meta = Assignment of mplace * typed_rvalue |