ocaml/utils
Jacques Le Normand 304dba8a0f removed Type_variant, fixed bug in GADT exhaustive check
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 04:02:02 +00:00
..
.cvsignore MAJ des fichiers .cvsignore 1995-08-29 08:33:39 +00:00
ccomp.ml PR#4741: put -L options before file names, which can be -lxxx 2010-04-28 12:09:32 +00:00
ccomp.mli merge changes 3.10.0 -> 3.10.1 2008-01-11 16:13:18 +00:00
clflags.ml Adding the -strict-sequence option. 2009-12-09 09:17:12 +00:00
clflags.mli Adding the -strict-sequence option. 2009-12-09 09:17:12 +00:00
config.mlbuild removed Type_variant, fixed bug in GADT exhaustive check 2010-10-21 04:02:02 +00:00
config.mli PR#5033: tools/objinfo made more general. 2010-05-19 11:29:38 +00:00
config.mlp removed Type_variant, fixed bug in GADT exhaustive check 2010-10-21 04:02:02 +00:00
consistbl.ml Remplacement de is_bound par source pour les besoins d'ocamlopt 2002-11-18 10:41:26 +00:00
consistbl.mli Remplacement de is_bound par source pour les besoins d'ocamlopt 2002-11-18 10:41:26 +00:00
misc.ml switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed 2010-09-19 04:55:40 +00:00
misc.mli switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed 2010-09-19 04:55:40 +00:00
tbl.ml PR#4996: Subst.compose revised; Tbl.fold added. 2010-04-20 14:11:28 +00:00
tbl.mli PR#4996: Subst.compose revised; Tbl.fold added. 2010-04-20 14:11:28 +00:00
terminfo.ml depollution suite (PR#1914 et PR#1956) 2004-01-01 16:42:43 +00:00
terminfo.mli depollution suite (PR#1914 et PR#1956) 2004-01-01 16:42:43 +00:00
warnings.ml PR#4975: spelling mistakes "overriden" and "informations" 2010-05-21 12:00:49 +00:00
warnings.mli New -help-warnings command-line option. 2010-05-04 18:44:38 +00:00