diff options
| author | Son Ho | 2022-01-18 23:03:55 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-18 23:03:55 +0100 |
| commit | c0f230dc6c331e9eb120900e8c31a03e1f5ab476 (patch) | |
| tree | 16ff97c6af5e85baab2e7f1af5456bd2854e057b /src/InterpreterUtils.ml | |
| parent | cdef093fedaadcc5694cb9f7d63a4bf9814d5573 (diff) | |
Remove ty_has_regions and use ty_has_borrows instead
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index e00e7dcf..ca437593 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -81,6 +81,8 @@ let mk_typed_value_from_symbolic_value (svalue : V.symbolic_value) : Checks if the projector will actually project some regions. If not, returns [AIgnored] (`_`). + + TODO: update to handle 'static *) let mk_aproj_loans_value_from_symbolic_value (regions : T.RegionId.Set.t) (svalue : V.symbolic_value) : V.typed_avalue = |