summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Collapse)AuthorAgeFilesLines
* Reject casts from **A to **B, even if B is a superclass of A.Alex AUVOLAT2014-01-071-0/+1
|
* Use { x with ... }, excellent !Alex AUVOLAT2014-01-061-49/+29
|
* 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