diff options
| author | Son Ho | 2023-08-02 14:10:15 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-02 14:10:15 +0200 |
| commit | a1e24c2a13713b015abc9a93e6915b6d4a6f22fe (patch) | |
| tree | 7cbbe7f86da8f646d8bcac7ea506d70655a25bb9 /compiler/InterpreterExpansion.ml | |
| parent | 59ec03d37d2ad51cf77e456622703c4c84780f48 (diff) | |
Make progress
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterExpansion.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/InterpreterExpansion.ml b/compiler/InterpreterExpansion.ml index 3b196571..81e73e3e 100644 --- a/compiler/InterpreterExpansion.ml +++ b/compiler/InterpreterExpansion.ml @@ -707,7 +707,8 @@ let greedy_expand_symbolics_with_borrows (config : C.config) : cm_fun = | T.Adt ((Tuple | Assumed Box), _, _, _) | T.Ref (_, _, _) -> (* Ok *) expand_symbolic_value_no_branching config sv None - | T.Adt (Assumed (Vec | Option | Array | Slice | Str), _, _, _) -> + | T.Adt (Assumed (Vec | Option | Array | Slice | Str | Range), _, _, _) + -> (* We can't expand those *) raise (Failure |