summaryrefslogtreecommitdiff
path: root/src/Contexts.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Introduce [binder] and use them in place of [var] in the environmentsSon Ho2021-11-301-4/+16
* Remove the vector type for the Id moduleSon Ho2021-11-301-3/+3
* Debug some issues in the interpreterSon Ho2021-11-301-15/+22
* Derive more printing functionsSon Ho2021-11-291-2/+5
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-2/+0
* Make progress on evaluate_non_local_function_callSon Ho2021-11-261-0/+4
* Make good progress on eval_local_function_callSon Ho2021-11-261-0/+31
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-12/+9
* Use var instead of VarId.id in environmentsSon Ho2021-11-251-7/+12
* Start working on eval_local_function_callSon Ho2021-11-251-0/+4
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-0/+3
* Implement eval_unary_opSon Ho2021-11-241-2/+0
* Start refactoring the codeSon Ho2021-11-241-3/+30
* Update activate_inactivated_mut_borrowSon Ho2021-11-241-2/+0
* Implement copy_valueSon Ho2021-11-231-4/+4
* Implement formatting for eval_ctxSon Ho2021-11-231-15/+27
* Move some definitions to Contexts.ml and reactivate the warningsSon Ho2021-11-231-0/+49