summaryrefslogtreecommitdiff
path: root/src/Values.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-12-01Merge value and avalueSon Ho1-44/+49
2021-12-01Start factorizing valueSon Ho1-13/+37
2021-12-01Simplify the adt_value typeSon Ho1-6/+0
2021-12-01Move the var definitionSon Ho1-12/+0
2021-12-01Add various commentsSon Ho1-2/+10
2021-11-30Make minor cleanupSon Ho1-1/+1
2021-11-30Introduce [binder] and use them in place of [var] in the environmentsSon Ho1-0/+2
2021-11-30Remove the vector type for the Id moduleSon Ho1-4/+4
2021-11-30Make minor modificationsSon Ho1-2/+6
2021-11-29Derive more debugging facilitiesSon Ho1-12/+31
2021-11-29Start deriving formatters for debuggingSon Ho1-0/+1
2021-11-25Start working on eval_local_function_callSon Ho1-0/+3
2021-11-25Start working on function callsSon Ho1-1/+1
2021-11-24Implement eval_binary_opSon Ho1-13/+1
2021-11-22Implement abs_to_stringSon Ho1-2/+3
2021-11-22Implement typed_avalue_to_string_Son Ho1-4/+4
2021-11-22Start working on printing for avaluesSon Ho1-17/+29
2021-11-19Make good progress on pretty-printing for valuesSon Ho1-2/+2
2021-11-18Start working on end_borrowSon Ho1-18/+20
2021-11-18Start working on symbolic values and abstractionsSon Ho1-7/+83
2021-11-18Start working on the values for the interpreterSon Ho1-0/+47
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-3/+1
2021-11-17Also generate to_yojson functionsSon Ho1-3/+5
2021-11-17Make progress on deserializing modulesSon Ho1-2/+0
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-12/+23
2021-11-03Add Values.ml and Expressions.mlSon Ho1-0/+40