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/InterpreterLoopsFixedPoint.mli | |
| 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/InterpreterLoopsFixedPoint.mli')
| -rw-r--r-- | compiler/InterpreterLoopsFixedPoint.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/InterpreterLoopsFixedPoint.mli b/compiler/InterpreterLoopsFixedPoint.mli index 4fc36598..d367c94c 100644 --- a/compiler/InterpreterLoopsFixedPoint.mli +++ b/compiler/InterpreterLoopsFixedPoint.mli @@ -80,7 +80,9 @@ val compute_loop_entry_fixed_point : config -> Meta.meta -> loop_id -> - Cps.st_cm_fun -> + (* This function is the function to evaluate the loop body (eval_statement applied + to the proper arguments) *) + Cps.stl_cm_fun -> eval_ctx -> eval_ctx * ids_sets * abs SymbolicAst.region_group_id_map |