summaryrefslogtreecommitdiffstats
path: root/stdlib
AgeCommit message (Collapse)Author
2014-03-07#5779: adopt gasche's sentinel solution.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-06#5779: improve support for structured constants (better propagation, ↵Alain Frisch
sharing, cleaner representation). Also fix #6337 (constants emitted several times). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-02-20fix major performance problem on large heaps by making the heap increment ↵Damien Doligez
proportional to the heap size git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-02-19PR#6208: Hashtbl.reset @since 4.00.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-01-22PR#6189: items (8) and (9)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-01-22PR#6189: items (5) (6) (7)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-30PR#6245: Minor inconsistencies between related signatures in arg.mliDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-29Reverting the elimination of the ocamlcomp*.sh scripts, namely the following ↵Xavier Leroy
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
2013-11-13Reintegrate raise_variants branch.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-08Simplify special logic for array bound error (allocate the exception value ↵Alain Frisch
from Pervasives). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-08Fix typos and wording (#6231).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-06Do not introduce Obj.raw_tag.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-23Support for exception values allocated in the static area (e.g. out of bound ↵Alain Frisch
exception in native code). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-23Add two functions to get the exception slot id and name from an exception value.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-23Change the representation of exception slots: instead of being represented ↵Alain Frisch
as 'string ref', they are now blocks of size 2, with tag = Object_tag, the first field being the pointer to the string, and second one being a unique id, generated from the same sequence as for object values. Special case for predefined exceptions, represented with a negative id. The unique id generator is moved from camlinternalOO to the C runtime system. Also fix some bugs. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-18#6203: change representation of exception values created with a constant ↵Alain Frisch
constructor: the value is now equal to the exception slot. This avoids some allocation when the constructor is called and an extra indirection on matching against the constructor. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-14Rename raise_nostack -> raise_notrace. Expose it in Pervasives.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-01everything works except camlp4Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-20build: replace ocamlcomp*.sh.Wojciech Meyer
This script was built from ocamlcomp.sh.in through sed and is called instead of "ocamlc" (for instance). It makes it possible to switch from "ocamlc" to "ocamlc.opt" without changing anything in the Makefiles, only calling sed. I couldn't cleanly make it handle both a compiler for the target and for the build. Instead I'm replacing it and doing as much as possible directly in the Makefiles. I hoped it would reduce the number of shell invocations, which would speed things up quite a lot on Windows but I still had to have at least one since it's not possible to update a make variable from inside a make rule: i.e. it's not possible to do X=a, build a.opt and update X to be a.opt. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-17#6180: efficient creation of uninitialized float arrays.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-13Format: pp_print_list and pp_print_text, contributed by Daniel BünzliGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04remove leftover conflicts from .dependDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
Command line used: svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-30PR#6148: speed improvement for Buffer (patch by John Whitington).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-04PR#6116: more efficient implementation of Digest.to_hex [patch by ygrek]Gabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13971 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-24PR#4243: make the Makefiles parallelizableDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-21PR#5644: a dumbed-down fix to fix the observable effect (Stream.of_string) ↵Gabriel Scherer
with no change to the underlying code (to avoid regressions) As I learned the hard way, it is essentially impossible to get a satisfying behavior in presence of a mix of updates, concatenations and counts. The best thing to do is thus to not change anything (a good way to preserve compatibility), and only fix the Stream.of_string function to assume nothing of the count passed to the [from] function. I also modified the mli documentation of [Stream.from] to warn other users of this potential pitfall. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-21Revert the changes of revision 12682 (PR#5644 Stream.count broken when used ↵Gabriel Scherer
with Sapp or Slazy nodes) because of regressions identified by hongboz git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13914 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-19PR#5739: Printf.printf "%F" and nan/infinity/neg_infinity.Xavier Leroy
(Reflecting commit r13910 on version/4.01) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-11#5899: expose Printexc.get_callstack. (Cherry-picked 13884, 13885 from trunk.)Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-09#4986. Add two common operations: List.sort_uniq (more efficient that ↵Alain Frisch
sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-16PR#4079: Queue.copy is now tail-recursive (patch from "Cristophe" on the ↵Gabriel Scherer
bugtracker) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-13PR#5827: provide a dynamic command line parsing mechanismDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13772 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-06typo and reformatting of commentsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13752 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-05Revert r13746 (demanded by Xavier)Fabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-05Add String.split and String.cut_at from MiscFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13746 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Add |> and @@ operators to PervasivesFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13739 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-02fix scanf.ml buildHongbo Zhang
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-01A thoroughly revised documentation for format strings.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13726 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-01Better error messages for binary/octal/hexa integer scanning.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29Wrong quoting chase.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13717 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29Better documentation of meta format conversion.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29PR#6024: Format syntax for printing @ is incompatible with 3.12.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13713 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-28fix the buggy parser example in the Genlex documentation (issue reported by ↵Gabriel Scherer
Armael Geneau) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13613 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-25Revert sprintf type. Add a new function to support %a conversions in sprintf ↵Pierre Weis
functionality. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-25Details.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-24Complete rewriting of Format.mk_printf. Convergence between Printf and ↵Pierre Weis
Format codes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13606 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-24Exporting count_printing_arguments_of_format and add_int_index.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-23PR#5973 (old @ escape was still implemented in Format) + bootstrap.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02