diff options
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 1f66906d..566ba46b 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -74,7 +74,8 @@ type var_or_dummy = Var of var | Dummy (** Ignored value: `_` *) (** A left value (which appears on the left of assignments *) type lvalue = | LvVar of var_or_dummy - | LvTuple of lvalue list (** Rk.: for now we don't support general ADTs *) + | LvTuple of typed_lvalue list + (** Rk.: for now we don't support general ADTs *) and typed_lvalue = { value : lvalue; ty : ty } |