summaryrefslogtreecommitdiff
path: root/src/PureMicroPasses.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-28Move some definitions to a new PureUtils.ml fileSon Ho1-7/+6
2022-01-28Finish implementing to_monadicSon Ho1-13/+41
2022-01-28Add a commentSon Ho1-0/+1
2022-01-28Implement get_expression_min_var_counterSon Ho1-3/+16
2022-01-28Start working on to_monadic and make the expression visitors anSon Ho1-7/+45
2022-01-28Remove the Return and Fail variants from Pure.expression and add aSon Ho1-10/+10
2022-01-28Change the type of [Pure.call.args] to [expression list] rather thanSon Ho1-8/+5
2022-01-28Make minor modificationsSon Ho1-1/+8
2022-01-28Simplify the let-bindings in the pure ASTSon Ho1-18/+23
2022-01-28Make substantial simplifications to the pure ASTSon Ho1-76/+54
2022-01-28Make minor modificationsSon Ho1-29/+31
2022-01-28Apply the micro-passes to the pure ASTsSon Ho1-0/+16
2022-01-28Make a lot of small modificationsSon Ho1-0/+20
2022-01-28Finish the function PureMicroPasses.compute_pretty_namesSon Ho1-2/+14
2022-01-28Make more progress on PureMicroPassesSon Ho1-14/+65
2022-01-28Make good progress on PureMicroPasses.compute_pretty_namesSon Ho1-3/+140
2022-01-28Implement visitors for Pure.expression and make minor modificationsSon Ho1-17/+54
2022-01-27Rename the meta-places to [mplace] and update some commentsSon Ho1-2/+21
2022-01-27Make minor modifications and create PureMicroPasses.mlSon Ho1-0/+43
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 02:13:20 +0000