diff options
author | Son Ho | 2022-01-28 21:12:13 +0100 |
---|---|---|
committer | Son Ho | 2022-01-28 21:12:13 +0100 |
commit | 21dddf2fc6c09495de56250961ab69b2b6506112 (patch) | |
tree | be3782fe67059aa7b395a3bd5cabaf98702075d7 /src/Pure.ml | |
parent | dae758e940e3bf023c25d86f7d05b8cea80c1ed5 (diff) |
Make the scrutinee in Pure.Switch an expression rather than a value
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index f20cdf50..dc35a181 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -479,7 +479,7 @@ type expression = ... ``` *) - | Switch of typed_rvalue * mplace option * switch_body + | Switch of expression * switch_body | Meta of meta * expression (** Meta-information *) and call = { |