summaryrefslogtreecommitdiff
path: root/src/pretty_typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Implémentation de l'héritage multiple (au niveau du typage)Alex AUVOLAT2013-12-201-7/+12
* Abandon de l'héritage multiple ; héritage simple mis en place.Alex AUVOLAT2013-12-161-16/+32
* Many things. Remains : inheritance.Alex AUVOLAT2013-12-101-1/+1
* 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