summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorEscherichia2024-05-23 23:21:12 +0200
committerGitHub2024-05-23 23:21:12 +0200
commit239435fc667fa0d18979e603ce3fd4caa128cd54 (patch)
tree8e4b2d55689ce25179342a7e1759c49e4179af2e /backends/lean/Base
parentb52ac5d0e35d2f622271ad4ffbeb82b07cfdbdac (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 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions