delta/ocaml.git - github.com: ocaml/ocaml

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove support for compiler plugins (#2276)	Mark Shinwell	2019-03-13	1	-8/+2
*	Extend `open` to arbritrary module expressions in structures and to	Runhang Li	2018-11-26	1	-0/+9
*	introduce local substitutions in signatures	Thomas Refis	2018-11-09	1	-15/+19
*	manual: compiler-libs.mld -> compiler_libs.mld	Florian Angeletti	2018-09-12	1	-1/+1
*	MPR7546, manual: preambles and warnings for compiler-libs modules (#2020)	Florian Angeletti	2018-09-12	1	-1/+6
*	typemod: allow items coming from includes to be shadowed	Thomas Refis	2018-07-25	1	-6/+33
*	New attempt at fixing MPR#7726 (#1676)	Jacques Garrigue	2018-07-13	1	-0/+1
*	Prefix the compilation unit names of all modules in the stdlib	Jeremie Dimino	2018-02-12	1	-1/+2
*	Allow compilation units to shadow sub-modules of Pervasives (#1513)	Jérémie Dimino	2018-02-02	1	-1/+7
*	Substitute as path instead of expression if possible.	Valentin Gatien-Baron	2017-08-01	1	-0/+1
*	Support syntax: S with M.N.t := ...	Valentin Gatien-Baron	2017-08-01	1	-0/+3
*	Support syntax: S with type t := valid-type-expression	Valentin Gatien-Baron	2017-07-29	1	-1/+0
*	Support 'let open' in class and class type expressions (#1249)	Alain Frisch	2017-07-20	1	-1/+1
*	GPR#1187: cite typemod and pparse plugin hooks	octachron	2017-06-01	1	-1/+1
*	Avoid rebuilding cmi_info record when creating .cmti files (#781)	Alain Frisch	2016-08-30	1	-1/+1
*	Add hooks on some compilation phases	Fabrice Le Fessant	2016-07-12	1	-1/+7
*	Update headers for the new license.	Damien Doligez	2016-02-18	1	-11/+14
*	Better -no-alias-deps errors	Leo White	2015-10-22	1	-0/+1
*	merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...	Damien Doligez	2015-07-17	1	-0/+2
*	Fix PR#6899	Jacques Garrigue	2015-06-23	1	-1/+1
*	Fix PR#6842: export Typemod.modtype_of_package	Jacques Garrigue	2015-04-23	1	-1/+3
*	* split Typetexp.lookup_module and Typetexp.find_module	Jacques Garrigue	2014-05-12	1	-0/+3
*	Expose a Typemod.type_interface (currently an alias of Typemod.transl_signatu...	Alain Frisch	2014-05-07	1	-0/+2
*	#6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...	Alain Frisch	2014-05-07	1	-1/+1
*	merge branch "safe-string"	Damien Doligez	2014-04-29	1	-2/+3
*	merge generative functors	Jacques Garrigue	2013-12-17	1	-0/+1
*	Synchronize with trunk.	Alain Frisch	2013-07-22	1	-2/+0
\|\
\| *	#6073: Add signature to Tstr_include. (Cherry-picked from commit 13903 on 4.01.)	Alain Frisch	2013-07-17	1	-2/+0
* \|	Parse recursive module as standard modules, and check in the type-checker tha...	Alain Frisch	2013-03-05	1	-0/+1
* \|	First version with attributes and extensions on expressions, type expressions...	Alain Frisch	2013-02-28	1	-0/+1
\|/
*	Merge short-paths into a fresh branch of trunk.short-paths-4.01	Jacques Garrigue	2013-01-29	1	-2/+2
\|\
\| *	merge version/4.00 at revision 12866	Jacques Garrigue	2012-08-21	1	-5/+13
\| *	propagate path-expansion environment everywhere	Jacques Garrigue	2012-01-23	1	-2/+2
* \|	remove all $Id keywords	Damien Doligez	2012-10-15	1	-2/+0
* \|	#5629: A toplevel 'open' in the REPL does not trigger an unused open warning.	Alain Frisch	2012-06-01	1	-0/+3
* \|	merge with branch bin-annot	Fabrice Le Fessant	2012-05-30	1	-5/+10
\|/
*	#5358: package types allow constraints on typed in sub-modules. Camlp4 compil...	Alain Frisch	2011-12-14	1	-1/+1
*	fix bug in first-class module unpacking	Jacques Garrigue	2011-08-20	1	-0/+1
*	renaming of Objective Caml to OCaml and cleanup of copyright headers	Damien Doligez	2011-07-27	1	-1/+1
*	merge branches/implicit-unpack + update camlp4	Jacques Garrigue	2010-10-21	1	-0/+2
*	Error narrowing for module type lookups.	Alain Frisch	2010-05-18	1	-2/+1
*	Error narrowing for module lookups.	Alain Frisch	2010-05-18	1	-2/+1
*	merge branches/sigsubst 9626:10205	Jacques Garrigue	2010-04-17	1	-0/+1
*	Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.	Alain Frisch	2009-10-26	1	-0/+1
*	ajout des annotations pour variables et appels terminaux	Damien Doligez	2007-05-16	1	-1/+2
*	Retour en arriere sur la simplification des signatures inferees (fix du PR#35...	Xavier Leroy	2005-08-08	1	-0/+2
*	Systematiser la simplification des signatures inferees (PR#3545)	Xavier Leroy	2005-08-02	1	-2/+0
*	Generalisation option -o	Xavier Leroy	2004-06-13	1	-0/+1
*	Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de com...	Xavier Leroy	2004-04-09	1	-0/+1
*	Pour l'option -pack, permettre de donner une interface explicite (via un .mli...	Xavier Leroy	2003-03-06	1	-1/+1