ocaml/typing
Damien Doligez b4ccb873a6 PR#5380: copy fix from 3.12 branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-11 15:22:51 +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 merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
btype.mli merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
ctype.ml fix PR#5450 2011-12-27 08:52:45 +00:00
ctype.mli fix PR#5450 2011-12-27 08:52:45 +00:00
datarepr.ml merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
datarepr.mli merge branches/gadts 2011-07-29 10:32:43 +00:00
env.ml New option to force the compilers to show absolute paths in error messages. 2011-12-20 10:35:43 +00:00
env.mli better reporting of wrong version for .cmi files 2011-11-29 15:54:41 +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 renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
includecore.ml merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
includecore.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
includemod.ml merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
includemod.mli Shorter error messages for modules 2011-10-20 05:49:38 +00:00
mtype.ml fix PR#5469 2012-01-10 03:01:50 +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 fix PR#5449 2011-12-28 02:22:38 +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 merge branches/gadts-devel 2011-11-24 09:02:48 +00:00
parmatch.mli merge branches/gadts 2011-07-29 10:32:43 +00:00
path.ml merge branches/gadts 2011-07-29 10:32:43 +00:00
path.mli merge branches/gadts 2011-07-29 10:32:43 +00:00
predef.ml merge branches/located_errors 2011-10-21 03:26:35 +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#5449 2011-12-28 02:22:38 +00:00
printtyp.mli renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +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 merge branches/gadts-devel 2011-11-24 09:02:48 +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 Remove unused constructors in the AST: Cf_let, Pcf_let. 2011-12-28 13:27:07 +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 PR#5380: copy fix from 3.12 branch 2012-01-11 15:22:51 +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 fix PR#5449 2011-12-28 02:22:38 +00:00
typedecl.mli merge branches/located_errors 2011-10-21 03:26:35 +00:00
typedtree.ml Remove unused constructors in the AST: Cf_let, Pcf_let. 2011-12-28 13:27:07 +00:00
typedtree.mli Remove unused constructors in the AST: Cf_let, Pcf_let. 2011-12-28 13:27:07 +00:00
typemod.ml #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
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 #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.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
typetexp.ml #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
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
unused_var.ml Remove unused constructors in the AST: Cf_let, Pcf_let. 2011-12-28 13:27:07 +00:00
unused_var.mli merge branches/gadts-devel 2011-11-24 09:02:48 +00:00