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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Allow implicit coercion on type with free variables (if subtyping does not ↵implicit-subtyping	Alain Frisch	2010-12-14	3	-8/+13
\| \| \| \| \| \|	unify variables). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-subtyping@10902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	more uses of type_argument	Jacques Garrigue	2010-06-22	1	-3/+5
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-subtyping@10604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	use type_argument for type constraints	Jacques Garrigue	2010-06-22	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-subtyping@10603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	also support subtyping in class applications	Jacques Garrigue	2010-06-22	3	-9/+30
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-subtyping@10602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Implicit subtyping in applications.	Jacques Garrigue	2010-06-22	2	-6/+38
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/implicit-subtyping@10601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Force terminal to "DUMP" for reproducible test cases.	Xavier Clerc	2010-06-18	6	-523/+524
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Missing dependency.	Xavier Clerc	2010-06-18	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10591 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	ocamldoc fix: ermove the starting '{' from custom text tag	Maxence Guesdon	2010-06-16	2	-2/+4
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	post-beta1 version change	Damien Doligez	2010-06-16	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	ignore ocamldep.bak	Damien Doligez	2010-06-16	1	-0/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4 Bootstrap	Nicolas Pouillard	2010-06-16	2	-4996/+5467
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: Fix PR#4883	Nicolas Pouillard	2010-06-16	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: use TRY to get rid of a hack and fix PR#4966	Nicolas Pouillard	2010-06-16	1	-36/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: fix PR#4938	Nicolas Pouillard	2010-06-16	1	-1/+4
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: little fix for revised: accept empty do sequences.	Nicolas Pouillard	2010-06-16	1	-0/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: fix PR#5056	Nicolas Pouillard	2010-06-16	1	-1/+3
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10575 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4 Bootstrap	Nicolas Pouillard	2010-06-16	2	-577/+656
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10574 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: add support for M.(e) using the TRY feature!	Nicolas Pouillard	2010-06-16	1	-1/+9
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: Makes use of the TRY feature.	Nicolas Pouillard	2010-06-16	3	-88/+32
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4,grammars: Add the TRY symbol combinator	Nicolas Pouillard	2010-06-16	10	-38/+74
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Add a new location to the stream, get rid of contexts!	Nicolas Pouillard	2010-06-16	12	-270/+239
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: introduce a type abbrev	Nicolas Pouillard	2010-06-16	1	-18/+14
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Greatly improve the location handling in the parser.	Nicolas Pouillard	2010-06-16	6	-161/+133
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4: fix PR#4929, thanks to ygrek for his contribution	Nicolas Pouillard	2010-06-16	1	-3/+10
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#4884	Jacques Garrigue	2010-06-16	2	-0/+5
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix lookup of elements by using a normalized names (allow search of ( && ) ↵	Maxence Guesdon	2010-06-14	3	-2/+48
\| \| \| \| \| \|	instead of (&&) for example) git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	ocamlbuild: minor change	Nicolas Pouillard	2010-06-12	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: minor changes	Nicolas Pouillard	2010-06-12	2	-5/+6
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Printers are warning free	Nicolas Pouillard	2010-06-12	4	-23/+24
\| \| \| \| \| \| \|	* Turn some constant values into constant methods * Remove some unused variables git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: more quotations&antiquotations	Nicolas Pouillard	2010-06-10	6	-67/+61
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Camlp4 Bootstrap	Nicolas Pouillard	2010-06-10	2	-388/+900
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Allow ! in antiquotation names.	Nicolas Pouillard	2010-06-10	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: prepare Camlp4MetaGenerator to new special XAnt constructors	Nicolas Pouillard	2010-06-10	1	-1/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Adapt to new *_flag types	Nicolas Pouillard	2010-06-10	9	-66/+162
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: use specific types like rec_flag instead of meta_bool	Nicolas Pouillard	2010-06-10	3	-112/+340
\| \| \| \| \| \| \|	* camlp4/boot/Camlp4Ast.ml: re-generate. * camlp4/boot/Camlp4.ml: patch to help the transition. git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: Improve support for explicit override	Nicolas Pouillard	2010-06-09	8	-84/+101
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	camlp4: improve the bootstrapping scripts and recipe	Nicolas Pouillard	2010-06-09	3	-8/+38
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Bootstrap Camlp4	Nicolas Pouillard	2010-06-09	3	-173/+338
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Bootstrap (modification of module Pervasives).	Pierre Weis	2010-06-09	3	-0/+0
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10550 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#5062	Pierre Weis	2010-06-09	1	-0/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#5062: was not reported from trunk.	Pierre Weis	2010-06-09	1	-8/+18
\| \| \| \| \| \| \|	Small spacing revision in documentation comments for symbolique operators. git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#5062: was corrected in trunk and not in 3.12	Pierre Weis	2010-06-09	1	-2/+4
\| \| \| \| \| \| \|	Correction of operator ( ^^ ) was never reported from stdlib/pervasives.ml. git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Fix a very old bug in equal_clty.	Jacques Garrigue	2010-06-08	1	-1/+3
\| \| \| \| \| \| \| \|	There seems to be another one in "eqtype true", but fixing it breaks camlp4... needs more investigation. git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	build: Silent a warning	Nicolas Pouillard	2010-06-08	1	-1/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	build: dynlink/nat/ needs access to asmcomp/	Nicolas Pouillard	2010-06-08	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix PR#4824, closing unsoundness in object system	Jacques Garrigue	2010-06-08	6	-7/+40
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	give original error message if typing fails	Jacques Garrigue	2010-06-08	4	-1/+10
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	cleaner approach for PR#4862	Jacques Garrigue	2010-06-08	1	-13/+9
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix PR#4862	Jacques Garrigue	2010-06-08	5	-36/+69
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#4683: use a batch file without fixed paths for labltk on MSVC/mingw	Jacques Garrigue	2010-06-08	3	-2/+13
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02