summaryrefslogtreecommitdiff
path: root/src/pretty_typing.ml
Commit message (Collapse)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