diff options
author | Son Ho | 2023-03-07 23:31:57 +0100 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | fa76f1b94e1f68d520b02c0dc1072cb73fa9d8be (patch) | |
tree | 6d301b14dc1909beff34691796c4abae88490408 /compiler/PureUtils.ml | |
parent | a946df8b716695f4d387d852b7e74cf288ddb03e (diff) |
Add a special expression for structure creation/update
Diffstat (limited to 'compiler/PureUtils.ml')
-rw-r--r-- | compiler/PureUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml index 40005671..1f5d1ed8 100644 --- a/compiler/PureUtils.ml +++ b/compiler/PureUtils.ml @@ -157,7 +157,7 @@ let fun_sig_substitute (tsubst : TypeVarId.id -> ty) (sg : fun_sig) : *) let rec let_group_requires_parentheses (e : texpression) : bool = match e.e with - | Var _ | Const _ | App _ | Abs _ | Qualif _ -> false + | Var _ | Const _ | App _ | Abs _ | Qualif _ | StructUpdate _ -> false | Let (monadic, _, _, next_e) -> if monadic then true else let_group_requires_parentheses next_e | Switch (_, _) -> false |