summaryrefslogtreecommitdiff
path: root/utils/warnings.mli
Commit message (Expand)AuthorAgeFilesLines
* New -help-warnings command-line option.Alain Frisch2010-05-041-0/+2
* make duplicate definitions a warning rather than an errorJacques Garrigue2010-04-301-0/+1
* merge branches/overrideJacques Garrigue2010-04-081-1/+1
* numbering problem in commentsDamien Doligez2010-01-291-3/+3
* PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez2010-01-071-0/+1
* added warning 28: wildcard arg to constant constructorDamien Doligez2009-11-191-0/+1
* fine-grained control of warningsDamien Doligez2009-11-021-28/+31
* New warning `not all labels are mentioned in this record pattern'Xavier Leroy2009-10-221-1/+1
* As discussed at the latest consortium meeting:Xavier Leroy2009-09-121-0/+1
* "invalid module name" becomes a warningDamien Doligez2008-10-061-0/+1
* Corrrect fragile matchingLuc Maranget2006-09-211-1/+1
* add virtual instance variablesJacques Garrigue2006-04-051-1/+1
* warn about useless with in recordJacques Garrigue2005-09-151-0/+1
* changements sur les warningsDamien Doligez2004-11-301-3/+13
* ajout warning unused variableDamien Doligez2004-11-061-0/+2
* 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
View Lorry Controller Status