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