diff options
| author | Son Ho | 2024-03-29 16:21:15 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-29 16:21:15 +0100 |
| commit | 5809c45fbbfcbb78b15a97be619dcde4ab4868b8 (patch) | |
| tree | 52b7a9136f45701c14cd377913f0f5078b80fa72 /compiler/InterpreterProjectors.ml | |
| parent | c26dcd0a0e5dd35d486d3eed374644b115574408 (diff) | |
Add some error messages
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterProjectors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterProjectors.ml b/compiler/InterpreterProjectors.ml index d7c20ae0..8b6eeb6c 100644 --- a/compiler/InterpreterProjectors.ml +++ b/compiler/InterpreterProjectors.ml @@ -502,7 +502,7 @@ let apply_proj_borrows_on_input_value (config : config) (meta : Meta.meta) (ctx : eval_ctx) (regions : RegionId.Set.t) (ancestors_regions : RegionId.Set.t) (v : typed_value) (ty : rty) : eval_ctx * typed_avalue = - cassert __FILE__ __LINE__ (ty_is_rty ty) meta "TODO: error message"; + sanity_check __FILE__ __LINE__ (ty_is_rty ty) meta; let check_symbolic_no_ended = true in let allow_reborrows = true in (* Prepare the reborrows *) |