summaryrefslogtreecommitdiff
path: root/src/pretty_typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Added rudimentary support for typing class-using expressions ; bug corrections.Alex AUVOLAT2013-12-091-4/+3
* Added tests, corrected two failed tests.Alex AUVOLAT2013-12-051-60/+0
* Début du typage des expressions.Levis2013-12-051-0/+176