summaryrefslogtreecommitdiff
path: root/src/pretty_print_sail.ml
AgeCommit message (Expand)Author
2017-07-25Fixed bug where strings were not escaped correctly within stringAlasdair Armstrong
2017-07-25Improved l-expressionsAlasdair Armstrong
2017-07-24Added cons patterns to sailAlasdair Armstrong
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-07-21Improvements to sail n_constraintsAlasdair Armstrong
2017-07-19Better pretty printing for sail functions with no inline type annotationsAlasdair Armstrong
2017-07-18Added pretty-printing support for real literalsAlasdair Armstrong
2017-07-17Added pattern guards to sailAlasdair Armstrong
2017-07-13Improved type inference for let statements and assignments with type annotate...Alasdair Armstrong
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 09:32:24 +0000