diff options
| author | Escherichia | 2024-05-23 23:21:12 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-23 23:21:12 +0200 |
| commit | 239435fc667fa0d18979e603ce3fd4caa128cd54 (patch) | |
| tree | 8e4b2d55689ce25179342a7e1759c49e4179af2e /compiler/SynthesizeSymbolic.ml | |
| parent | b52ac5d0e35d2f622271ad4ffbeb82b07cfdbdac (diff) | |
Update the interpreter so that it is not written in CPS style (#120)
* Start turning the compiler in a style which is less CPS
* Update a function in InterpreterExpressions.ml
* WIP work on cps
* WIP
* WIP, currently on InterpreterStatements.ml
* WIP
* Finished CPS-related modification
* Fixed some warning related to documentation comments
* Finished loop support, fixed a loop
* fixed a typed value
* Fixed check_disappeared related error
* cleaned check_disappeared related error
* Start cleaning up
* Do more cleanup
* Make some cleanup and fix an issue
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Do more cleanup
* Rename a function
* Do more cleanup
* Cleanup the loops code and fix some bugs
* Cleanup assign_to_place
* Make a minor cleanup
---------
Co-authored-by: Son Ho <hosonmarc@gmail.com>
Diffstat (limited to 'compiler/SynthesizeSymbolic.ml')
| -rw-r--r-- | compiler/SynthesizeSymbolic.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/SynthesizeSymbolic.ml b/compiler/SynthesizeSymbolic.ml index 576b2809..8e578a50 100644 --- a/compiler/SynthesizeSymbolic.ml +++ b/compiler/SynthesizeSymbolic.ml @@ -200,5 +200,3 @@ let synthesize_loop (loop_id : LoopId.id) (input_svalues : symbolic_value list) let save_snapshot (ctx : Contexts.eval_ctx) (e : expression option) : expression option = match e with None -> None | Some e -> Some (Meta (Snapshot ctx, e)) - -let cf_save_snapshot : Cps.cm_fun = fun cf ctx -> save_snapshot ctx (cf ctx) |