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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Branch to add a pass between lambda and clambdaflambda	Pierre Chambart	2014-01-08	0	-0/+0
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/flambda@14389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix commit 14384	Jérémie Dimino	2013-12-24	2	-4/+5
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	udate test: let supports GADTs	Jacques Garrigue	2013-12-24	3	-6/+4
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix #6276: release the runtime in all stubs that might block	Jérémie Dimino	2013-12-23	25	-69/+346
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	test/tool-debugger: add simple test for the debugger	Damien Doligez	2013-12-19	6	-1/+68
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	debugger: fix environment bug and remove confirmation at quit	Damien Doligez	2013-12-19	4	-50/+36
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix crashing bug in win32unix/select.c	Damien Doligez	2013-12-18	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	configure: SO must be "so" or "dll" without the dot	Damien Doligez	2013-12-17	5	-16/+10
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	ocamlmklibconfig.ml: add missing config varible	Damien Doligez	2013-12-17	1	-0/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	merge generative functors	Jacques Garrigue	2013-12-17	43	-83/+269
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Fix PR#6275	Jacques Garrigue	2013-12-17	4	-2/+31
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	#5808: allow simple patterns, not only identifiers, in 'let p : t = ...'.	Alain Frisch	2013-12-16	2	-0/+6
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Un-bootstrapping of ocamlbuild, clean-up phase:	Xavier Leroy	2013-12-14	38	-2636/+33
\| \| \| \| \| \| \| \| \|	- removed boot/myocamlbuild.boot, _tags, myocamlbuild.ml, etc - removed shell scripts in build/, now unused - revised configuration and build of tools/ocamlmklib. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Un-bootstrapping of ocamlbuild: build it using a plain Makefile.	Xavier Leroy	2013-12-12	11	-203/+284
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Typo.	Alain Frisch	2013-12-11	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Fix.	Alain Frisch	2013-12-11	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	update Changes for PR#6257	Maxence Guesdon	2013-12-09	1	-0/+4
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#6257: allow full doc comments on variant constructors and record fields	Maxence Guesdon	2013-12-09	10	-132/+152
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	#6262: equality of first-class modules take module type aliases into ↵	Alain Frisch	2013-12-05	3	-4/+33
\| \| \| \| \| \|	account. Fix interaction with module inclusion. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	mergeinfo stuff that I don't understand	Damien Doligez	2013-12-05	0	-0/+0
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	fix testsuite makefile: openbsd does not support PWD env variable	Damien Doligez	2013-12-05	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	#6180: avoid redundant check in caml_make_float_vect.	Alain Frisch	2013-12-04	1	-5/+16
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	port to cygwin-64	Damien Doligez	2013-12-03	6	-16/+26
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	make the testsuite work on cygwin-64, where dynamic linking is not yet available	Damien Doligez	2013-12-03	13	-16/+49
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	#6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be ↵	Alain Frisch	2013-12-02	11	-18/+28
\| \| \| \| \| \|	adapted. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#6245: Minor inconsistencies between related signatures in arg.mli	Damien Doligez	2013-11-30	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Reverting the elimination of the ocamlcomp*.sh scripts, namely the following ↵	Xavier Leroy	2013-11-29	37	-341/+255
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	commits: 14278 14277 14276 14176 14175 14173 14172 14171 14169 14168 14167 These changes need to mature on their own branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Reports the beginning of the string literal in 'This comment contains an ↵	Alain Frisch	2013-11-29	2	-8/+10
\| \| \| \| \| \|	unterminated string literal' errors. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	testsuite/external: update coq, lablgtk, alt-ergo	Damien Doligez	2013-11-28	3	-59/+93
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Bring stack backtraces up-to-date on PowerPC, incl. reraise.	Xavier Leroy	2013-11-28	5	-34/+107
\| \| \| \| \| \| \|	Tested on PowerPC/Linux. Needs testing on PowerPC/MacOS X. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Debug info was lost when rescheduling "checkbound" instructions.	Xavier Leroy	2013-11-28	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#6243: Make "ocamlopt -g" more resistant to ill-formed locations.	Xavier Leroy	2013-11-28	2	-4/+6
\| \| \| \| \| \| \| \|	(Reflecting commit r14321 on version/4.01) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	PR#6239: a "raise" in -g mode can end up calling a C function ↵	Xavier Leroy	2013-11-27	2	-0/+4
\| \| \| \| \| \|	(stash_backtrace). Therefore the containing function must not be a leaf function, so that on x86-32/MacOSX and x86-64, the stack is properly 16-realigned on entrance to containing function. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	typo in test log message	Damien Doligez	2013-11-27	1	-1/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	update for latest trunk changes	Damien Doligez	2013-11-27	5	-110/+388
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Remove camlp4.	Jérémie Dimino	2013-11-23	344	-129985/+30
\|\ \| \| \| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
\| *	remove camlp4minus-camlp4	Jérémie Dimino	2013-11-21	344	-129985/+30
\| \| \| \| \| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
\| *	removal of camlp4	Jérémie Dimino	2013-11-21	0	-0/+0
\|/ \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	caml_backtrace_pos is a 32-bit integer under amd64.	Alain Frisch	2013-11-19	1	-1/+8
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Fix PR#6241	Jacques Garrigue	2013-11-19	5	-5/+56
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Add proper casts.	Alain Frisch	2013-11-19	1	-2/+2
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Perform constant optimizations for integer division and modulus on the C-- ↵	Benedikt Meurer	2013-11-19	33	-680/+340
\| \| \| \| \| \| \| \| \| \|	level. This way we can avoid having to duplicate the same functionality for every backend, and we may also benefit from other optimizations performed during C-- generation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	new version of the patch, using module_type option, and allowing unpacking ↵	Jacques Garrigue	2013-11-18	1	-0/+1008
\| \| \| \| \| \|	when no type created git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Fix PR#6240	Jacques Garrigue	2013-11-18	3	-4/+19
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Missing include (==> implicit declaration of function 'caml_named_value').	Alain Frisch	2013-11-15	1	-0/+1
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Revert "Don't use emit_parts_list for regular operations."	Benedikt Meurer	2013-11-14	1	-69/+54
\| \| \| \| \| \|	This reverts commit r14292. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Don't use emit_parts_list for regular operations.	Benedikt Meurer	2013-11-14	1	-54/+69
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Using emit_parts_list does not make sense for any operation except Ialloc, where we can delay the computation of simple expression until the allocation is done. So we try to avoid using emit_parts_list for regular operations, where the special treatment of non simple expression conflicts with our special instruction selection on arm (and arm64). For example we cannot merge the add and shift operation required for tagging as soon as there is at least one non simple expression involved, even though both Cadd and Clsl do not care at all whether its arguments are simple or not. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Changelog.	Alain Frisch	2013-11-13	1	-0/+5
\| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
*	Reintegrate raise_variants branch.	Alain Frisch	2013-11-13	78	-279/+416
\|\ \| \| \| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
\| *	No need for caml_init_exceptions.raise_variants	Alain Frisch	2013-11-13	5	-11/+1
\| \| \| \| \| \| \| \|	git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02