summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Handle EQIdent (expressions such as A::x and A::f(x, y)Alex AUVOLAT2014-01-051-2/+33
* Implémentation de l'héritage multiple (au niveau du typage)Alex AUVOLAT2013-12-201-67/+102
* Transforme tabs en espacesAlex AUVOLAT2013-12-171-491/+491
* Abandon de l'héritage multiple ; héritage simple mis en place.Alex AUVOLAT2013-12-161-97/+166
* Corrected parsing bug ; give unique identifiers to functions.Alex AUVOLAT2013-12-161-16/+45
* Correct error message error.Alex AUVOLAT2013-12-101-1/+1
* Many things. Remains : inheritance.Alex AUVOLAT2013-12-101-99/+102
* Added rudimentary support for typing class-using expressions ; bug corrections.Alex AUVOLAT2013-12-091-127/+348
* CleanupAlex AUVOLAT2013-12-091-4/+4
* Corrected many bugs, improved error reporting.Alex AUVOLAT2013-12-061-90/+110
* Messages d'erreur plus explicites.Alex AUVOLAT2013-12-051-17/+22
* Meilleur gestion des erreurs.Alex AUVOLAT2013-12-051-66/+47
* Added tests, corrected two failed tests.Alex AUVOLAT2013-12-051-6/+1
* Début du typage des expressions.Levis2013-12-051-0/+393