summaryrefslogtreecommitdiff
path: root/src/Contexts.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-12-08Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho1-1/+4
2021-12-07Add iterators over whole environmentsSon Ho1-1/+44
2021-12-07Implement map_frame_concreteSon Ho1-2/+24
2021-12-07Implement the visitor iter_frame_concreteSon Ho1-0/+20
2021-11-30Introduce [binder] and use them in place of [var] in the environmentsSon Ho1-4/+16
2021-11-30Remove the vector type for the Id moduleSon Ho1-3/+3
2021-11-30Debug some issues in the interpreterSon Ho1-15/+22
2021-11-29Derive more printing functionsSon Ho1-2/+5
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-2/+0
2021-11-26Make progress on evaluate_non_local_function_callSon Ho1-0/+4
2021-11-26Make good progress on eval_local_function_callSon Ho1-0/+31
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-12/+9
2021-11-25Use var instead of VarId.id in environmentsSon Ho1-7/+12
2021-11-25Start working on eval_local_function_callSon Ho1-0/+4
2021-11-25Implement the Aggregate branch of eval_rvalueSon Ho1-0/+3
2021-11-24Implement eval_unary_opSon Ho1-2/+0
2021-11-24Start refactoring the codeSon Ho1-3/+30
2021-11-24Update activate_inactivated_mut_borrowSon Ho1-2/+0
2021-11-23Implement copy_valueSon Ho1-4/+4
2021-11-23Implement formatting for eval_ctxSon Ho1-15/+27
2021-11-23Move some definitions to Contexts.ml and reactivate the warningsSon Ho1-0/+49