summaryrefslogtreecommitdiff
path: root/utils/warnings.mli
Commit message (Expand)AuthorAgeFilesLines
* Introduction du warning Fragile_pat pour signaler les filtragesPierre Weis2003-05-021-0/+1
* Nouveaux warning dans les or-patsLuc Maranget2002-05-241-0/+1
* detabisationDamien Doligez2002-01-201-1/+1
* enrich variant typesJacques Garrigue2001-09-251-0/+1
* passage aux labels strictsJacques Garrigue2001-09-061-1/+2
* PR#212Damien Doligez2000-10-261-1/+2
* option -warn-errorDamien Doligez2000-08-231-2/+10
* refonte pour faciliter l'ajout de nouveaux flagsDamien Doligez1999-12-231-5/+5
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Partial match avec joli messageLuc Maranget1999-10-291-1/+1
* ajout warnings commentaires suspectsDamien Doligez1999-10-211-0/+1
* Tbl: ajout de la fonction mem qui teste si un élément donné est dansPierre Weis1998-11-051-0/+28