diff options
| author | Escherichia | 2024-06-04 15:27:33 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-04 15:27:33 +0200 |
| commit | 5b7fc57cdc6bc5cff8373e6aa8df383278c9cf63 (patch) | |
| tree | f5444d20797c05740ff8475c63ebc913df9dd393 /compiler/InterpreterStatements.ml | |
| parent | afc4e62ce7a584da0bb0a7350533e321388be545 (diff) | |
Propagated changes to statement from Charon (#223)
Co-authored-by: Escherichia <escherichia@charlotte>
Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
Diffstat (limited to 'compiler/InterpreterStatements.ml')
| -rw-r--r-- | compiler/InterpreterStatements.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index 5ddc1ed8..283a711d 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -1021,6 +1021,7 @@ and eval_statement_raw (config : config) (st : statement) : stl_cm_fun = let eval_loop_body = eval_statement config loop_body in InterpreterLoops.eval_loop config st.span eval_loop_body ctx | Switch switch -> eval_switch config st.span switch ctx + | Error s -> craise __FILE__ __LINE__ st.span s and eval_global (config : config) (span : Meta.span) (dest : place) (gid : GlobalDeclId.id) (generics : generic_args) : stl_cm_fun = |