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