summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Collapse)AuthorAgeFilesLines
* Reject redefinition of virtual methods with different return type.Alex AUVOLAT2014-01-091-4/+6
|
* Added tests for multiple inheritance.Alex AUVOLAT2014-01-081-24/+28
|
* Merge branch 'master' into codegen-alexAlex AUVOLAT2014-01-071-0/+1
|\
| * Reject casts from **A to **B, even if B is a superclass of A.Alex AUVOLAT2014-01-071-0/+1
| |
* | Merge branch 'master' into codegen-alexAlex AUVOLAT2014-01-061-49/+29
|\| | | | | | | | | Conflicts: src/typing.ml
| * Use { x with ... }, excellent !Alex AUVOLAT2014-01-061-49/+29
| |
* | Handle EQIdent properlAlex AUVOLAT2014-01-051-2/+6
| |
* | Merge branch 'master' into codegen-alexAlex AUVOLAT2014-01-051-2/+33
|\| | | | | | | | | Conflicts: src/Makefile
| * Handle EQIdent (expressions such as A::x and A::f(x, y)Alex AUVOLAT2014-01-051-2/+33
| |
* | Fuck yeah all tests pass.Alex AUVOLAT2013-12-261-40/+88
| |
* | Begin code generation (many bugs...)Alex AUVOLAT2013-12-251-24/+27
|/
* 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