summaryrefslogtreecommitdiff
path: root/src/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-29Implement more utilities to print statements and expressionsSon Ho1-3/+9
2021-11-29Implement DefCtxCfimAst.{type_def_to_string, fun_def_to_string}Son Ho1-27/+108
2021-11-29Make modifications to fun_def_to_stringSon Ho1-4/+16
2021-11-29Implement fun_def_to_stringSon Ho1-3/+57
2021-11-29Implement eval_ctx_to_ast_formatterSon Ho1-0/+23
2021-11-29Implement expression_to_stringSon Ho1-0/+48
2021-11-29Make various improvements in PrintSon Ho1-15/+49
2021-11-29Make more cleanupSon Ho1-72/+75
2021-11-29Rename a functionSon Ho1-10/+9
2021-11-29Make more progress on cleaningSon Ho1-43/+43
2021-11-29Make progress on cleaningSon Ho1-19/+15
2021-11-29Start cleaning Print.mlSon Ho1-25/+24
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-3/+176
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-23/+22
2021-11-24Implement eval_binary_opSon Ho1-13/+1
2021-11-24Start refactoring the codeSon Ho1-2/+2
2021-11-23Implement formatting for eval_ctxSon Ho1-1/+84
2021-11-23Change the way exceptions are usedSon Ho1-2/+2
2021-11-22Implement end_borrow_get_borrow_in_envSon Ho1-0/+2
2021-11-22Implement abs_to_stringSon Ho1-0/+13
2021-11-22Implement typed_avalue_to_string_Son Ho1-7/+106
2021-11-22Start working on printing for avaluesSon Ho1-15/+19
2021-11-22Finish the function typed_value_to_stringSon Ho1-2/+26
2021-11-19Make good progress on pretty-printing for valuesSon Ho1-125/+247
2021-11-19Start working on pretty-printingSon Ho1-0/+133
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 13:18:23 +0000