summaryrefslogtreecommitdiffstats
path: root/utils
AgeCommit message (Collapse)Author
2013-06-05Improved implementation of OCAMLPARAMFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13747 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Experimental OCAMLCOMPPARAM for ocamlc/ocamloptFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Re-add configure option -with-frame-pointersFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Reverting -with-frame-pointersFabrice Le Fessant
Fails to compile alt-ergo without frame-pointers. No time to debug before tonight, so I revert and will merge again after fixing the problem. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Add -with-frame-pointers to ./configureFabrice Le Fessant
This option can be used to tell the native compiler that it should update frame pointers, so that debuggers and profiling tools (especially Linux perf) can use them. For now, it is only supported by the Unix/amd64 port. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-28print magic number for -config optionHongbo Zhang
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-28extend warning 3 to other deprecated features: Latin1, (&) and (or)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16#5980: warning on open statements which shadow an existing identifier (which ↵Alain Frisch
turns out to be actually used in the scope of the open). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-30Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-26Improve message for warning 40Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17PR#5957,PR#5920,PR#5925: LongString module to workaround 32bits string size ↵Gabriel Scherer
limitations during bytecode linking (patch by Benoit Vaugon and Chet Murthy) In PR#5925, Benoît Vaugon initially proposed the LongString module to solve an issue with bytecode blocks of size > Sys.max_string_length on 32 bits architecture (16Mio). In PR#5957, Chet Murthy made small changes to also fix the problem of debug information going above this 16Mio limit. The LongString module should be reusable in other parts of the compiler, should new 32bit-string-length issues arise. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13remove redundant definition of dump_schedulingDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-12improve Ambiguous_name warningJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26typoDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19Replace error by warning for PR#5835Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19Add warning 42 for disambiguated labels and constructors (compatibility with ↵Jacques Garrigue
old versions) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-18Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-30Whitespace cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-30fix warningsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-29clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17#5741: make Pprintast available from the command-line (-dsource).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16PR#5768: On 'unbound identifier' errors, use spell-checking to suggest names ↵Alain Frisch
present in the environment. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15remove all $Id keywordsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30clean up TABs and whitespaceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-26merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-13#5634: parstree rewriters (merge with ast_rewriter branch).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30merge with branch bin-annotFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29Detect (and fix some) useless recursive flags.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18Revert bad typo fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18Typo.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18Improve message for Unused constructor/exception warnings.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-13PR#5585: typo explicitely -> explicitlyDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-31PR#5311: better message for warning 23Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06Detect unused exception declarations (#5524).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23aftermath of PR#5497Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21PR#5487: addition of CFI directives and a few filename/linenumber info to ↵Xavier Leroy
generated amd64 and i386 assembly files. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-06fix try_finally in case the finally function raises an exceptionDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12129 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-27document the interval notation for warning sets; use it for default warningsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-27PR#1898: add -nopromptcont option to suppress secondary promptsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18-warn-help show the meaning of letters.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Warning K for all new 'unused declarations' warnings.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-17Fix PR#5461Fabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-16#5478: makes it possible to specify a custom 'ar' command.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-12New warning for unused constructors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 13:44:51 +0000