summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Correct a typing bug in multiple inheritance (all virtual instances in parent...Alex AUVOLAT2014-01-101-38/+40
* 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
|\|
| * 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
|\|
| * 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-18 04:52:56 +0000