summaryrefslogtreecommitdiffstats
path: root/otherlibs
AgeCommit message (Collapse)Author
2011-05-29Better hashing!Xavier Leroy
- New generic hash function based on Murmur 3, with better statistical properties (PR#5225), and better speed - Make sure equal floats hash equally (PR#5222) - Breadth-first traversal instead of depth-first - Added seeded hash functions and seeded functorial interface to Hashtbl. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17Ignoring compiled files.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-06Including corrections from 3.12.1.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-06Including corrections from 3.12.1.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-16complete_constrs in parmatch.ml now works with gadts. Reverted changes to ↵Jacques Le Normand
the syntax tree which are no longer needed. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-10clean upJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08updated references to Tpat_record to accomodate the extra fieldJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08allow variance in GADTsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21internally, we can now refer to constructors with the help of their type, ↵Jacques Le Normand
thus avoiding shadowing git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13first commitJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-30for Jacques Le NormandJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-04Report corrections for ^^ from stdlib/pervasives.ml + PR#5062Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28Simplification.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28Remove the runtime detection of whether natdynlink works or not.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28Do not install natdynlink if it does not work.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25Patch provided by Sylvain Le Gall:Xavier Leroy
- Fix #4894: Windows (mingw): Unix.select and non-blocking sockets, add a filedescr.flags_fd in win32unix/unixsupport.h. It contains the non-blocking status of the associated filedescr and helps to restore this status after a select. - Fix #4789: Windows: Unix.select failing with EPIPE error, Apply patch provided by J. Vouillon - Fix #4973: Failure "Unknown handle", Be consistent between Windows and Linux, raise an EBADF Unix_error for a closed pipe handle. - Fix #4844: Unix.select bug (triggered if linked against threads), Apply patch by C. Bauer, replace lpOrig by lpOrigIdx which can survive a GC collection For otherlibs/win32unix/{select|windbug}.c: - Remove Heap* fucntions to allocate/free memory and replace it by caml_stat_* function, which are more OCaml compliant - Rework DBUG message, use DEBUG_PRINT rather than #ifdef DBUG... #endif and use DEBUG variable (more OCaml compliant), also remove dbug_init functions and use a static variable to replace it (subject to race condition but this not really important, because every path lead to same initialization) - Use a fast start scheme for pipe polling, rather than always waiting 10ms, start by 1, 2, 4, 8 and then 10ms. The 4 first times give select a chance to a fast answer. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25Decide at config time if natdynlink is supported or not, but always ↵Alain Frisch
compile/install dynlink.cmxa to simplify 3rd party packages. A runtime exception signals an unsupported natdynlink. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21Create a branch to experiment with improving locations of errors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20PR#4857: add -vnum option to all executablesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20PR#4632: install socketaddr.h header in lib/camlXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19fix Windows MSVC build + ignoresDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19PR#4874: interpretation of \b in regexps: characters that constitute a word ↵Xavier Leroy
now include 0-9 and _ git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19removal of tkanimDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19missing change from last branch merge !?Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19PR#5033: tools/objinfo made more general.Xavier Leroy
tools/dumpapprox removed, now subsumed by tools/objinfo. Introduced asmcomp/cmx_format.mli and used consistently in asmcomp, tools/objinfo, and otherlibs/dynlink Note: ocamlbuild -based build procedure not updated yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17deduplicate debugger/dynlink.{ml,mli}Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11Merge branch 'ocaml-git/buildsys' (early part) into trunkNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-05comment out useless code in StrMaxence Guesdon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-04New -help-warnings command-line option.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30Fix 'make clean' under Windows.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-29PR#5017: shift_right_big_int on negative numbersXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-28PR#4676: wrong constant in Win64 IL32LLP64 modelXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-27- Refactoring of otherlibs/systhreadsXavier Leroy
- PR#4702: added C functions to register threads not created by Caml - PR#5013: wrong implementation of condition variables under Win32 - PR#4979: wrong error code handling under Win32 - Added standard include <caml/threads.h> - Added "stack_size" field in GC statistics. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-22fixed several build problemsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-20PR#4541 make debugger compatible with fork()Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-08merge branches/overrideJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-06PR #5018: Wrong exception raised by Dynlink.loadfile.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-04macosx tk says pageJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-03fix for tk86 and removal of tkanimJun FURUSE / 古瀬 淳
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-02Adding "module type of <module-expr>" in the class of <module-type>.Xavier Leroy
Merge of branches/moduletypeof -r 9636:10226 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-01release runtime lock for lseek (mantis 4801)Mark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-02-09test directory was removed -- portable versionDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-02-09test directory was removedDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-29Tests moved to 'lib-num*'Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-28Tests moved to 'lib-systhreads'Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02