summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-04-23Avoid bad error report when a registered toplevel primitive raises Not_found.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-23#6119: document that the set of values contained in a closure is not ↵Alain Frisch
specified and how this impacts marshaling references captured in closures, for instance. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-23Fix doc for unmarshaled exception values and structural comparison.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-23Add a .gitignore file for git usersFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-23Remove Ast_helper.Convenience submodule. This is better located in the ↵Alain Frisch
ppx_tools package. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14664 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-23update expected test results following commit 14660Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Check unicity of types introduced through exceptions. Do not discard ↵Alain Frisch
exceptions from signatures if they introduce a type. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14662 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22More precise location on 'name must be unique' error (report the identifier ↵Alain Frisch
name instead of the whole declaration). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Make Parsetree more uniform by keeping locations in all records which have ↵Alain Frisch
attributes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Better locations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Proper renaming of the ident in Cstr_record during signature substitution.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Consider that exceptions with a record argument create an implicit type.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22#6273: fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22Add OCAMLPARAM option 'can-discard' to remove warnings about unknown ↵Fabrice Le Fessant
version-specific arguments git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22#6273: fix Sys.file_exists on large files for Win32 (patch by C. Bauer).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-22PR#6075: fix build under Windows (there is no caml_strbuf_free).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-21Fix PR#6376Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-21part 2: fix regression (extraneous moves) caused by previous ↵Mark Shinwell
Cconst_blockheader patch git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-21fix regression (extraneous moves) caused by previous Cconst_blockheader patchMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-19[minor] documentation typo in HashtblGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-19[minor] improvement over the Hashtbl docGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-19makefile target to build the stdlib documentation as htmlGabriel Scherer
(Patch by Simon Cruanes) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-19an example of functor application for HashtblGabriel Scherer
(Patch by Simon Cruanes) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18PR#5941: add Printexc.set_uncaught_exception_handlerJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18minor clean-upsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18The type parameters of inlined record types are free variables that appear ↵Alain Frisch
in the record definition (in order of syntactic appearance), both for GAT and non-GADT constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18Do not register labels of inlined records into the environment; they can ↵Alain Frisch
only be used through type-based selection. Silence out-of-scope and disambiguated warnings when they are selected. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14638 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18As mentioned by gcc -Wall, the variable "frame_number" is useless. Removed it.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14637 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18Simpler variant of commit r14635:Xavier Leroy
- configure: no change necessary - byterun/config.h: make sure ARCH_INT64_TYPE and related macros are always defined, for Coq and others to use. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18configure: always define ARCH_INT64_TYPE in config/m.h because CoqXavier Leroy
and maybe others rely on it byterun/config.h: select "long long" in preference to "long" for "int64", just because this is how it was done in earlier versions. (Minimizing suprises.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17Add a hook in the lexer for an internal preprocessorFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17Changelog.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17merge COMPFLAGS and OPTCOMPFLAGSDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17remove $Id markersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17#5377: add a #show directive to the toplevel.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-17Allow keywords and capitalized longidents as toplevel directives.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16Support for toplevel primitives with multiple arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16on i386 and AMD64, mark 'morally tail' C function calls as non-leafGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16selectgen.ml: cross-cutting handling of Proc.contains_callsGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16Fix PR#6371Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).Xavier Leroy
An ISO C99-compliant C compiler and standard library is now assumed. (Plus special exceptions for MSVC.) In particular, emulation code for 64-bit integer arithmetic was removed, the C compiler must support a 64-bit integer type. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15[whitespace] bring threads/pervasives.ml closer to stdlib/pervasives.mlGabriel Scherer
(report by Hugo Heuzard) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Doc typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Support for the let%foo syntax as structure item.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-17 19:46:15 +0000