summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-04-15Doc.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Turn more sig/str items into records. Patch from Leo White.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15Add back support for explicit_arity mode on constructor expressions and ↵Alain Frisch
patterns, now relying on an attribute. This has been requested to preserve Camlp5's behavior. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Use 'ocaml.' prefix for built-in attributes ocaml.warning, ocaml.deprecated. ↵Alain Frisch
Later, there will be a warning when an unknown ocaml.* attribute is used. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14591 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Fix syntax for floating attributes (disable until next bootstrap).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Fix syntax for floating attributes.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14589 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Custom syntax for floating attributes: [@@@id].Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14588 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-14Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12man/ocamlopt.m: document the Arm-specific command-line optionsGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12fix bug in test programDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12remove tests that depend on camlp4Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12test reference files are now exempt from all rulesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12remove broken link in doc commentDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12fix wrong type name: string --> usage_msgDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12Added comments to parsetree.mliGabriel Scherer
(Patch by Yotam Barnoy) Specifically, I documented some more obscure features that weren't obvious from reading the existing comments. Discussion of these comments can be found on the mailing list at https://sympa.inria.fr/sympa/arc/caml-list/2014-04/msg00022.html git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-12refine ocamlbuild/.depend for `make -jN` to work againGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-11parser.mly: minor mistake in position of a symbolGabriel Scherer
(Patch by Frédéric Bour) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-10Add %loc_* primitives and corresponding values in PervasivesFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-09Produce type equation on exception rebinding with a record argument.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-09Continue support for record argument on exceptions.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-09Starting support for exceptions with record arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-09Fix PR#6365Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-09Fix ocamlbuild installation directoryJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-08For GADT constructors, the type parameters of the original sum type cannot ↵Alain Frisch
be used for the synthesized record types. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-08Support for GADT constructors with record syntax. For now, do not try to ↵Alain Frisch
infer a clever variance, nor a predictible ordering, for the extra arguments on synthesized types. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-08Polymorphic fields are actually ok.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-08Keep the id for the synthesized sub-declaration in Cstr_record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-08Suppressed some useless argument of switcher callsLuc Maranget
(lifted as a functor argument) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Folllowup to PR#6359, great cleanup of switch actions sharing.Luc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Find the id for local synthesized record types in the environment.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Fix caml_string_{get,set}{16,32,64} bound checking in cmmgenGabriel Scherer
(Patch by Pierre Chambart) Followup for trunk@14267: bound checking bug with caml_string_{get,set}{16,32,64}: fix the runtime C code git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07testsuite for primitive bound checkingGabriel Scherer
(Patch by Pierre Chambart) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Fix re-export with a different name.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Keep inlined records in Typedtree and Types. Synthesize record types when ↵Alain Frisch
inserting in the environment and module components, as for labels and constructors. Following features are not supported: inline record for exceptions, GADTs, polymorphic fields. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Create (yet) another branch for inline record, without syntactic encoding.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Reference.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Remove debug.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14550 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Printer for exception with inline records.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07Adapt printer.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07[minor] make tools/Makefile.shared msvc-friendlyGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07[minor] Makefile.nt typoGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07make clean: remove *.cmt and *.cmti filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07minor Makefile.nt fixGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07CI golf: try a better fix for tools install in Makefile.ntGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07[minor] partial revert of trunk@14535 to make Windows CI happyGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07PR#6358: obey DESTDIR in install targetsGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-07harmonize Makefile.nt wrt. Makefile to simplify future line-by-line comparisonGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-06PR#6270: remove need for -I directives to ocamldebug in common caseGabriel Scherer
(patch by Josh Watzman) Add absolute directory names to bytecode format for ocamldebug to use The need for a long list of -I directives makes interactively using ocamldebug a pain in the butt. Many folks have solved this with various `find` invocations or even Python wrappers, but those lead to other problems when it might include files you weren't expecting (or miss things you were). But all of this is really annoying since the tooling should be able to figure out itself, even heuristically, where your source files are -- gdb gets this right, why can't we? This patch implements one of the more important heuristics from gdb: you typically debug on the same machine you built on, so looking for the source files and built artifacts in the absolute paths where they were during compilation is a good first try. We write out absolute paths into a new structure at the beginning of the debug section and then automatically append those directories into the load path. This means mean that if you happen to be debugging on a machine where the original source and build artifacts are *not* available in their original absolute locations, things will work as before, using the standard load path mechanism. You can also explicitly use -I to prepend directories to the load path and override the defaults located by this new mechanism. I personally find this makes using ocamldebug much more pleasant :) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision ↵Damien Doligez
14525) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 02:41:10 +0000