summaryrefslogtreecommitdiff
path: root/src/typing.ml
Commit message (Collapse)AuthorAgeFilesLines
* 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