summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into codegen-alex-optAlex 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 'codegen-alex' into codegen-alex-optAlex AUVOLAT2014-01-061-49/+29
|\ \
| * | Merge branch 'master' into codegen-alexAlex AUVOLAT2014-01-061-49/+29
| |\|
| | * Use { x with ... }, excellent !Alex AUVOLAT2014-01-061-49/+29
* | | Merge branch 'codegen-alex' into codegen-alex-optAlex AUVOLAT2014-01-051-2/+37
|\| |
| * | 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
* | | Optimize : use regs for argument passing. Still has bugs.Alex AUVOLAT2013-12-271-3/+3
* | | Optimization.Alex AUVOLAT2013-12-261-1/+13
|/ /
* | 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