summaryrefslogtreecommitdiff
path: root/src/Substitute.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+2
|
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-6/+3
| | | | definitions
* Factorize type_var and region_varSon Ho2021-12-011-1/+1
|
* Reimplement [erase_regions] with the substitution functionsSon Ho2021-12-011-0/+4
|
* Move some definitions to new filesSon Ho2021-12-011-1/+2
|
* Move the var definitionSon Ho2021-12-011-2/+2
|
* Merge statements and expressions into statementsSon Ho2021-12-011-17/+11
|
* Remove the vector type for the Id moduleSon Ho2021-11-301-11/+6
|
* Test the unit functionsSon Ho2021-11-291-1/+1
|
* Make various improvements in PrintSon Ho2021-11-291-18/+0
|
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
|
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-0/+1
|
* Implement type substitution for function definitions (and expressions,Son Ho2021-11-251-1/+122
| | | | etc.)
* Start working on function callsSon Ho2021-11-251-4/+23
|
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-1/+9
|
* Implement various substitution functionsSon Ho2021-11-251-42/+54
|
* Commit Substitute.ml (forgotten in previous commit)Son Ho2021-11-251-0/+72
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 00:40:23 +0000