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 fd3eb03f..c1dbaa13 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -505,7 +505,8 @@ and switch_body = | If of texpression * texpression | SwitchInt of integer_type * (scalar_value * texpression) list * texpression | Match of match_branch list -(* TODO: we could (should?) merge SwitchInt and Match *) +(* TODO: merge SwitchInt and Match. In order to do that, + * we need to add constants to lvalues. *) and match_branch = { pat : typed_lvalue; branch : texpression } |