summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2012-10-15add possibility of ignoring a directoryDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15small tweaksDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12Fix PR#5785Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12introduce local types in patternsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10PR#5102: ocamlbuild fails when using an unbound variable in rule dependencyXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10PR#5300: verbose parameter should implicitly set classic displayXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10use variable name from definition for existentials (cf. PR#5780)Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10PR#5240: register exception printers for Unix.Unix_error and Dynlink.ErrorXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-09PR#5778: convert constructors on the right hand side of exception ... = ...Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-07Refactoring of the computations of the actual size of a struct caml_ba_arrayXavier Leroy
(related to PR#5516 and PR#5761). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05PR#5772: problem with marshaling of mutually-recursive functionsXavier Leroy
(culled from version/4.00, commit 12991) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05merge changes from 4.00.0 to 4.00.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05ignore build dir for frama-cDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-02Also install relevant cmx/obj files in compiler-libs.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-02Windows users also deserve printtyped and printclambda. (Seriously, we ↵Alain Frisch
should merge those list of modules between Makefile and Makefile.nt.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-30PR#5715: change the fix to avoid breaking the mingw portDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28update hevea + small changes for cygwinDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28PR#5727: emacs caml-mode indents shebang line in toplevel scriptsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-27Fix PR#5729 : Untypeast creates unexpected nodesFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-27PR#5761: Incorrect bigarray custom block sizeDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-27Checked #PR5758, (also closed bug in Mantis)Luc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-26#5766: MSVC port broken following switch to winsock2.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-25PR#5111: description of module not put into a tagMaxence Guesdon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12954 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-25PR#5744: fix pb with virtual attributesMaxence Guesdon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24PR#5734: improved Win32 implementation of Unix.gettimeofdayXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24 PR#5563: harden Unix.select against file descriptors above FD_SETSIZEXavier Leroy
(Picked from r12947 in 4.00 branch) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-21fix PR#5763: ocamlbuild does not give correct flags when running menhirGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19Fix PR#5758Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19cancel commit in wrong branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12936 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19use types to disambiguate record accessJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-18Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-18Sync with Lexifi's version of ast_mapper.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-17PR#5278: update Makefile message to mention "make world.opt"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-13ocamlbuild-mixed-boot is not phonyJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-11PR#4019: better documentation of Str.matched_stringDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-11Formatting.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10Fix content of .cmt files correponding to the automatic 'discarding' of ↵Alain Frisch
optional parameters (missing labels + bad order of inserted 'None' arguments). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10update comment; remove spurious commasDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10add copyright header and fix formattingDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10clarify documentationDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10ignore generated filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10PR#5757: GC compaction bug (crash)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12914 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10add *.cmt and *.cmti to lists of ignored filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10PR#5757: GC compaction bug (crash)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10remove some targets that stopped working on Mac OS XDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10PR#5468: ocamlbuild should preserve order of parametric tagsWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-08PR#5707: in AMD64 port, exchange the roles of r10-r11 and r12-r13,Xavier Leroy
so that r10 and r11 are no longer used for parameter passing, and can therefore be destroyed by the dynamic loader without harm. (Cherry-picked from version/4.00, commit 12907). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-03Fix #5747 ('unused open' warning not given when compiling with -annot).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12905 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-23 01:15:50 +0000