diff options
| author | Son Ho | 2021-11-29 23:48:42 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-29 23:48:42 +0100 |
| commit | 603fe74932fa669ed51a3c84e91710267519b133 (patch) | |
| tree | fca87afe82213809e88032e3eb37d974a7ffd365 /src/Expressions.ml | |
| parent | 12a7ca50de364518d6d3be270323378d63a76b02 (diff) | |
Derive more printing functions
Diffstat (limited to 'src/Expressions.ml')
| -rw-r--r-- | src/Expressions.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 20431f18..38ee1ff6 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -66,16 +66,19 @@ type operand_constant_value = | ConstantValue of constant_value | ConstantAdt of TypeDefId.id | Unit +[@@deriving show] type operand = | Copy of place | Move of place | Constant of ety * operand_constant_value +[@@deriving show] type aggregate_kind = | AggregatedTuple | AggregatedAdt of TypeDefId.id * VariantId.id option * erased_region list * ety list +[@@deriving show] type rvalue = | Use of operand @@ -84,3 +87,4 @@ type rvalue = | BinaryOp of binop * operand * operand | Discriminant of place | Aggregate of aggregate_kind * operand list +[@@deriving show] |