Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/typing
History
Jacques Garrigue b56dc4b3df PR#5584: merge open extensible types, extension-patch-4.0.2 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2014-05-04 23:08:45 +00:00
..
annot.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
btype.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
btype.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
cmi_format.ml revert commit 14719 2014-05-02 06:19:55 +00:00
cmi_format.mli revert commit 14719 2014-05-02 06:19:55 +00:00
cmt_format.ml revert commit 14719 2014-05-02 06:19:55 +00:00
cmt_format.mli revert commit 14719 2014-05-02 06:19:55 +00:00
ctype.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
ctype.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
datarepr.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
datarepr.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
env.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
env.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
envaux.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
envaux.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
ident.ml Folllowup to PR#6359, great cleanup of switch actions sharing. 2014-04-07 15:43:20 +00:00
ident.mli Folllowup to PR#6359, great cleanup of switch actions sharing. 2014-04-07 15:43:20 +00:00
includeclass.ml Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow. 2013-04-16 08:59:09 +00:00
includeclass.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
includecore.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
includecore.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
includemod.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
includemod.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
mtype.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
mtype.mli Fix PR#6307 2014-03-10 02:54:02 +00:00
oprint.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
oprint.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
outcometree.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
parmatch.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
parmatch.mli Synchronize with trunk. 2013-07-16 13:34:30 +00:00
path.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
path.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
predef.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
predef.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
primitive.ml remove all $Id keywords 2012-10-15 17:50:56 +00:00
primitive.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
printtyp.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
printtyp.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
printtyped.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
printtyped.mli Merge branch 4.01 from branching point to 4.01.0+rc1 2013-09-04 15:12:37 +00:00
stypes.ml Merge branch 4.01 from branching point to 4.01.0+rc1 2013-09-04 15:12:37 +00:00
stypes.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
subst.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
subst.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typeclass.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typeclass.mli #6182: better error message for virtual objects and class types. 2013-09-17 11:28:33 +00:00
typecore.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typecore.mli #6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match. 2014-01-27 16:27:05 +00:00
typedecl.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedecl.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtree.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtree.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtreeIter.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtreeIter.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtreeMap.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typedtreeMap.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typemod.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typemod.mli merge branch "safe-string" 2014-04-29 11:56:17 +00:00
types.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
types.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typetexp.ml PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00
typetexp.mli PR#5584: merge open extensible types, extension-patch-4.0.2 2014-05-04 23:08:45 +00:00