diff options
| author | Son Ho | 2023-08-18 10:27:55 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-18 10:27:55 +0200 |
| commit | 26c25bf375742cf4d5a0ab160b9646e90c067f18 (patch) | |
| tree | 2b9363b5fe9fca6d1bdf154ea5fb4f21bc706e2a /compiler/PureUtils.ml | |
| parent | 316c386bcdbb66accdd65a311ca978b6d4606695 (diff) | |
Update following the introduction of ConstantExpr
Diffstat (limited to '')
| -rw-r--r-- | compiler/PureUtils.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml index 1c8d8921..461098f2 100644 --- a/compiler/PureUtils.ml +++ b/compiler/PureUtils.ml @@ -164,7 +164,8 @@ let fun_sig_substitute (tsubst : TypeVarId.id -> ty) *) let rec let_group_requires_parentheses (e : texpression) : bool = match e.e with - | Var _ | Const _ | App _ | Abs _ | Qualif _ | StructUpdate _ -> false + | Var _ | CVar _ | Const _ | App _ | Abs _ | Qualif _ | StructUpdate _ -> + false | Let (monadic, _, _, next_e) -> if monadic then true else let_group_requires_parentheses next_e | Switch (_, _) -> false |