summaryrefslogtreecommitdiff
path: root/src/Contexts.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the env frame iterators to prepare support for abstractionsSon Ho2021-12-081-50/+21
|
* Generate iterators for Contexts.envSon Ho2021-12-081-4/+39
|
* Rename env_value to env_elemSon Ho2021-12-081-12/+10
|
* Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho2021-12-081-1/+4
| | | | distinct
* Add iterators over whole environmentsSon Ho2021-12-071-1/+44
|
* Implement map_frame_concreteSon Ho2021-12-071-2/+24
|
* Implement the visitor iter_frame_concreteSon Ho2021-12-071-0/+20
|
* 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