ocaml/typing
Xavier Clerc acc19ff167 Removal of unnecessary "rec" clauses (to please warning #39).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 13:41:14 +00:00
..
annot.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
btype.ml fix PR#5619 2012-05-25 05:11:55 +00:00
btype.mli fix PR#5619 2012-05-25 05:11:55 +00:00
ctype.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
ctype.mli fix PR#5619 2012-05-25 05:11:55 +00:00
datarepr.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
datarepr.mli Keep locations for exception declaration. This gives better error messages and paves the way to #5524. 2012-03-06 19:03:17 +00:00
env.ml #5596: Do not report unused constructors within signatures. 2012-04-18 18:45:49 +00:00
env.mli #5596: Do not report unused constructors within signatures. 2012-04-18 18:45:49 +00:00
ident.ml renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
ident.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
includeclass.ml renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
includeclass.mli Compile with warning 33, and remove unused opens. 2012-05-29 11:10:03 +00:00
includecore.ml Compile with warning 33, and remove unused opens. 2012-05-29 11:10:03 +00:00
includecore.mli #5601: Shouldn't warn about unused constructors when there is an equation. 2012-04-25 07:34:41 +00:00
includemod.ml #5596: Do not report unused constructors within signatures. 2012-04-18 18:45:49 +00:00
includemod.mli Shorter error messages for modules 2011-10-20 05:49:38 +00:00
mtype.ml Keep locations for exception declaration. This gives better error messages and paves the way to #5524. 2012-03-06 19:03:17 +00:00
mtype.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
oprint.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
oprint.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
outcometree.mli merge branches/gadts 2011-07-29 10:32:43 +00:00
parmatch.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
parmatch.mli merge branches/gadts 2011-07-29 10:32:43 +00:00
path.ml #5438: fix bug reported by Boris Yakobowski; the local type name corresponding to a Path.t was not correctly computed. 2012-01-12 09:16:26 +00:00
path.mli #5438: fix bug reported by Boris Yakobowski; the local type name corresponding to a Path.t was not correctly computed. 2012-01-12 09:16:26 +00:00
predef.ml Keep locations for exception declaration. This gives better error messages and paves the way to #5524. 2012-03-06 19:03:17 +00:00
predef.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
primitive.ml renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
primitive.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
printtyp.ml fix PR#5619 2012-05-25 05:11:55 +00:00
printtyp.mli revert wrong commit of experiments 2012-03-23 07:17:42 +00:00
stypes.ml renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
stypes.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
subst.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
subst.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
typeclass.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
typeclass.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
typecore.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
typecore.mli #5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet. 2011-12-14 10:26:15 +00:00
typedecl.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
typedecl.mli Keep locations for exception declaration. This gives better error messages and paves the way to #5524. 2012-03-06 19:03:17 +00:00
typedtree.ml Remove unused constructors in the AST: Cf_let, Pcf_let. 2011-12-28 13:27:07 +00:00
typedtree.mli Synchronize with trunk. 2012-01-18 08:31:11 +00:00
typemod.ml #5596: Do not report unused constructors within signatures. 2012-04-18 18:45:49 +00:00
typemod.mli #5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet. 2011-12-14 10:26:15 +00:00
types.ml Compile with warning 33, and remove unused opens. 2012-05-29 11:10:03 +00:00
types.mli Detect unused exception declarations (#5524). 2012-03-06 19:47:07 +00:00
typetexp.ml Removal of unnecessary "rec" clauses (to please warning #39). 2012-05-29 13:41:14 +00:00
typetexp.mli #5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet. 2011-12-14 10:26:15 +00:00