diff options
| author | Son Ho | 2024-03-29 16:13:13 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-29 16:13:13 +0100 |
| commit | c26dcd0a0e5dd35d486d3eed374644b115574408 (patch) | |
| tree | d7c10bdc9e03d026d722181b580fe5ea376efd48 /compiler/InterpreterStatements.ml | |
| parent | 9403920e1e46157089f78bc42c553eec38181fa9 (diff) | |
Add some missing error messages
Diffstat (limited to 'compiler/InterpreterStatements.ml')
| -rw-r--r-- | compiler/InterpreterStatements.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index 7e6236b1..1cf1c5ef 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -440,7 +440,7 @@ let eval_box_new_concrete (config : config) (meta : Meta.meta) (* Required type checking *) cassert __FILE__ __LINE__ (input_value.ty = boxed_ty) - meta "TODO: Error message"; + meta "The input given to Box::new doesn't have the proper type"; (* Move the input value *) let cf_move = @@ -1431,7 +1431,7 @@ and eval_function_call_symbolic_from_inst_sig (config : config) (fun ((arg, rty) : typed_value * rty) -> arg.ty = Subst.erase_regions rty) args_with_rtypes) - meta "TODO: Error message"; + meta "The input arguments don't have the proper type"; (* Check that the input arguments don't contain symbolic values that can't * be fed to functions (i.e., symbolic values output from function return * values and which contain borrows of borrows can't be used as function |