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/Invariants.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 '')
| -rw-r--r-- | compiler/Invariants.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/compiler/Invariants.ml b/compiler/Invariants.ml index 689db0c4..bae48f24 100644 --- a/compiler/Invariants.ml +++ b/compiler/Invariants.ml @@ -4,7 +4,6 @@ open Types open Values open Contexts -open Cps open TypesUtils open InterpreterUtils open InterpreterBorrowsCore @@ -876,9 +875,3 @@ let check_invariants (meta : Meta.meta) (ctx : eval_ctx) : unit = check_typing_invariant meta ctx; check_symbolic_values meta ctx) else log#ldebug (lazy "Not checking invariants (check is not activated)") - -(** Same as {!check_invariants}, but written in CPS *) -let cf_check_invariants (meta : Meta.meta) : cm_fun = - fun cf ctx -> - check_invariants meta ctx; - cf ctx |