1430e90 | Jacques Garrigue | 17 December 2012, 03:18:31 UTC | shorten paths in annot + lookup abbreviations in persistent structures git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2012, 03:18:31 UTC |
6a55d4f | Jacques Garrigue | 10 December 2012, 10:39:26 UTC | improve performance git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 December 2012, 10:39:26 UTC |
2d4cb89 | Jacques Garrigue | 10 December 2012, 10:39:07 UTC | expand to simpler types git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 December 2012, 10:39:07 UTC |
35185d6 | Jacques Garrigue | 21 August 2012, 07:10:35 UTC | merge version/4.00 at revision 12866 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 August 2012, 07:10:35 UTC |
de7262e | Jacques Garrigue | 19 April 2012, 06:23:14 UTC | prefer newest name + only update env after printing git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 April 2012, 06:23:14 UTC |
1d79bec | Jacques Garrigue | 11 April 2012, 05:50:08 UTC | build a map from internal paths to printed paths git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 April 2012, 05:50:08 UTC |
cb51897 | Jacques Garrigue | 03 April 2012, 03:44:30 UTC | remove opened modules in type paths git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 April 2012, 03:44:30 UTC |
60ab0ff | Jacques Garrigue | 31 March 2012, 12:15:13 UTC | problem with applicative functors git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2012, 12:15:13 UTC |
34578cf | Jacques Garrigue | 14 March 2012, 01:19:46 UTC | shorten paths in .annot git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 01:19:46 UTC |
f186ac5 | Jacques Garrigue | 24 January 2012, 05:33:50 UTC | disable shortening for errors in Typetexp git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 24 January 2012, 05:33:50 UTC |
91172c1 | Jacques Garrigue | 24 January 2012, 01:33:47 UTC | disable shortening if Env.empty git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 24 January 2012, 01:33:47 UTC |
477b2dd | Jacques Garrigue | 23 January 2012, 07:59:45 UTC | propagate path-expansion environment everywhere git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 January 2012, 07:59:45 UTC |
cca2f50 | Jacques Garrigue | 22 January 2012, 06:42:56 UTC | simpler approach for signatures git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 January 2012, 06:42:56 UTC |
21301af | Jacques Garrigue | 22 January 2012, 05:56:11 UTC | shorten paths in signatures and toplevel output git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 January 2012, 05:56:11 UTC |
50de05d | Jacques Garrigue | 22 January 2012, 03:15:14 UTC | first attempt: handles only unification errors git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 January 2012, 03:15:14 UTC |
db66874 | Jacques Garrigue | 22 January 2012, 01:47:52 UTC | Attempt at shortening paths on printing git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 January 2012, 01:47:52 UTC |
5dd1a02 | Jacques Garrigue | 21 January 2012, 03:40:37 UTC | cleaner fix of PR#5490 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 January 2012, 03:40:37 UTC |
a3cc246 | Alain Frisch | 20 January 2012, 15:43:29 UTC | #4830: Add option -v to expunge.ml. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 January 2012, 15:43:29 UTC |
f5da2ab | Alain Frisch | 20 January 2012, 14:26:15 UTC | Renaming. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 January 2012, 14:26:15 UTC |
094261c | Alain Frisch | 20 January 2012, 14:24:54 UTC | Fix #5490. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 January 2012, 14:24:54 UTC |
4cfd2fc | Alain Frisch | 20 January 2012, 14:23:34 UTC | Reverting bad commit. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 January 2012, 14:23:34 UTC |
7fe8c8c | Alain Frisch | 20 January 2012, 14:21:03 UTC | Fix #5490. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 January 2012, 14:21:03 UTC |
ff3c199 | Xavier Clerc | 19 January 2012, 07:57:51 UTC | PR#5482: fixed bashism (other problem have already been fixed). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12054 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 January 2012, 07:57:51 UTC |
aabb8cf | Alain Frisch | 18 January 2012, 19:14:50 UTC | Unused_var has been removed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12053 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 19:14:50 UTC |
300d292 | Alain Frisch | 18 January 2012, 18:54:08 UTC | Unused_var has been removed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 18:54:08 UTC |
06e84a8 | Alain Frisch | 18 January 2012, 18:50:31 UTC | Unused_var has been removed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 18:50:31 UTC |
1f36047 | Alain Frisch | 18 January 2012, 17:41:12 UTC | Direct implementation of the approximation of free identifiers + get rid of Unused_var module. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 17:41:12 UTC |
a1a6908 | Xavier Clerc | 18 January 2012, 16:14:54 UTC | Fixed warning orders (testsuite). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 16:14:54 UTC |
cedfa68 | Xavier Clerc | 18 January 2012, 16:07:50 UTC | Sorry, the reference files for the "letrec" test case were in the root directory. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 16:07:50 UTC |
393d9dc | Xavier Clerc | 18 January 2012, 16:02:10 UTC | Missing reference files for test "letrec". git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 16:02:10 UTC |
a49bdea | Alain Frisch | 18 January 2012, 12:14:51 UTC | -warn-help show the meaning of letters. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 12:14:51 UTC |
8acbeff | Alain Frisch | 18 January 2012, 10:42:40 UTC | Update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 10:42:40 UTC |
fc3bfa6 | Jonathan Protzenko | 18 January 2012, 10:04:15 UTC | Merge branch 'pending' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 10:04:15 UTC |
48d5f48 | Xavier Clerc | 18 January 2012, 09:51:16 UTC | PR#5199: tests are run only for bytecode if either native support is missing, or a non-empty value is set to "BYTECODE_ONLY" Makefile variable. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 09:51:16 UTC |
497cf58 | Jonathan Protzenko | 18 January 2012, 09:32:12 UTC | Fix #5439: Upgrade to latest config.guess and config.sub. Patch by Benedikt Meurer <benedikt.meurer@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12040 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 09:32:12 UTC |
bb96c0b | Jonathan Protzenko | 18 January 2012, 09:28:05 UTC | Fix #5421: do not leak fds in various open_proc* functions. Patch by Till Varoquaux <till@janestreet.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 09:28:05 UTC |
e710c98 | Alain Frisch | 18 January 2012, 09:22:42 UTC | Warning K for all new 'unused declarations' warnings. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 09:22:42 UTC |
ff476d8 | Alain Frisch | 18 January 2012, 09:15:27 UTC | Merge the unused_declarations branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 09:15:27 UTC |
c45bcb8 | Alain Frisch | 18 January 2012, 08:31:11 UTC | Synchronize with trunk. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 January 2012, 08:31:11 UTC |
869feeb | Fabrice Le Fessant | 17 January 2012, 21:57:54 UTC | Fix PR#5461 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 January 2012, 21:57:54 UTC |
28c7bcd | Fabrice Le Fessant | 17 January 2012, 21:47:36 UTC | Fix PR#5475 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 January 2012, 21:47:36 UTC |
6f9f5cd | Fabrice Le Fessant | 17 January 2012, 20:32:33 UTC | Fix PR#5479 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 January 2012, 20:32:33 UTC |
5568883 | Alain Frisch | 16 January 2012, 10:23:51 UTC | PR#4688: (Windows) special floating-point values aren't converted to strings correctly. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12030 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 January 2012, 10:23:51 UTC |
f814bc1 | Alain Frisch | 16 January 2012, 09:13:37 UTC | #5478: Update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 January 2012, 09:13:37 UTC |
b03113a | Alain Frisch | 16 January 2012, 09:07:55 UTC | Bad cut and paste. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12028 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 January 2012, 09:07:55 UTC |
bfb35c4 | Alain Frisch | 16 January 2012, 09:05:37 UTC | #5478: makes it possible to specify a custom 'ar' command. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 January 2012, 09:05:37 UTC |
ee95e9f | Xavier Leroy | 16 January 2012, 09:03:16 UTC | More efficient implementation of {Set,Map}.{filter,partition} Optimize Set.join just like Map.join was recently. Added some tests for Set and Map. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 January 2012, 09:03:16 UTC |
546bccd | Xavier Leroy | 14 January 2012, 09:48:01 UTC | I messed up the distinction between "Bug fixes" and "Feature wishes". Repairing. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 January 2012, 09:48:01 UTC |
e9123cd | Xavier Leroy | 14 January 2012, 09:40:49 UTC | PR#5327, PR#5329: improvements in Unix.select emulation git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 January 2012, 09:40:49 UTC |
faa64b3 | Fabrice Le Fessant | 13 January 2012, 17:46:21 UTC | Fix bug #5476: native code compilation of let rec on float arrays Applied the two patches of Gabriel Scherer to (1) fix the bug with float array in let-rec, and (2) add a test-suite for let-rec git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 January 2012, 17:46:21 UTC |
b030099 | Damien Doligez | 12 January 2012, 15:53:55 UTC | add missing @since; cut long lines git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 January 2012, 15:53:55 UTC |
10ed81e | Damien Doligez | 12 January 2012, 15:46:51 UTC | extra def. of ~+; cut long lines git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 January 2012, 15:46:51 UTC |
cdbb84e | Alain Frisch | 12 January 2012, 11:24:30 UTC | New warning for unused constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 January 2012, 11:24:30 UTC |
267b0f5 | Alain Frisch | 12 January 2012, 11:24:23 UTC | New warning for unused constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 January 2012, 11:24:23 UTC |
59abb3c | Alain Frisch | 12 January 2012, 09:16:26 UTC | #5438: fix bug reported by Boris Yakobowski; the local type name corresponding to a Path.t was not correctly computed. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 January 2012, 09:16:26 UTC |
b4ccb87 | Damien Doligez | 11 January 2012, 15:22:51 UTC | PR#5380: copy fix from 3.12 branch git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 January 2012, 15:22:51 UTC |
cbcf38a | Damien Doligez | 11 January 2012, 13:24:58 UTC | cut long lines git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 January 2012, 13:24:58 UTC |
25065da | Damien Doligez | 10 January 2012, 20:19:33 UTC | PR#5387: typo in commit 11986 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 January 2012, 20:19:33 UTC |
7c7cad0 | Damien Doligez | 10 January 2012, 20:08:38 UTC | documentation git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 January 2012, 20:08:38 UTC |
9e744ea | Jacques Garrigue | 10 January 2012, 04:10:41 UTC | a patch to allow 'with module type S = ...' and 'S := ...' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 January 2012, 04:10:41 UTC |
db50558 | Jacques Garrigue | 10 January 2012, 03:01:50 UTC | fix PR#5469 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 January 2012, 03:01:50 UTC |
d02419c | Fabrice Le Fessant | 08 January 2012, 15:38:38 UTC | Fix bug #3888 (String.map and Scanf.unescaped) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 January 2012, 15:38:38 UTC |
288ebd8 | Xavier Leroy | 08 January 2012, 08:31:47 UTC | Reverting commit 11996 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 January 2012, 08:31:47 UTC |
4c4a9fc | Fabrice Le Fessant | 07 January 2012, 20:55:28 UTC | Fix of #5467: no extern C in header files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 January 2012, 20:55:28 UTC |
2c04ae5 | Damien Doligez | 06 January 2012, 14:24:58 UTC | PR#4549: make Filename.dirname/basename POSIX compliant git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 14:24:58 UTC |
4979a58 | Alain Frisch | 06 January 2012, 14:17:56 UTC | Avoid problem with the use of Typeclass.unbound_class. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 14:17:56 UTC |
c0e3b9c | Alain Frisch | 06 January 2012, 14:16:58 UTC | Better choice of warnings. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 14:16:58 UTC |
b932aaa | Damien Doligez | 06 January 2012, 13:42:46 UTC | robustify the production of debug and PIC object files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 13:42:46 UTC |
1a4f7bd | Damien Doligez | 06 January 2012, 13:42:04 UTC | doc: stats since 3.13.0; clean up whitespace git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11995 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 13:42:04 UTC |
11093a6 | Fabrice Le Fessant | 06 January 2012, 08:05:00 UTC | Add String.map in string.mli (partial fix of bug #3888) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 08:05:00 UTC |
76ff25a | Jérémie Dimino | 05 January 2012, 14:33:56 UTC | PR#5456: replace __LOCATION__ after macro expansion and add LOCATION_OF git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 14:33:56 UTC |
b0cf87a | Jérémie Dimino | 05 January 2012, 10:29:11 UTC | PR#5231: fix parsing of <:str_item< type t = $x$ >> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 10:29:11 UTC |
0c37ea4 | Jérémie Dimino | 05 January 2012, 09:43:50 UTC | PR#5387: avoid extra Ast.CrNil and Ast.CgNil git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 09:43:50 UTC |
01b9028 | Jérémie Dimino | 05 January 2012, 09:35:47 UTC | PR#5387: avoid extra Ast.StNil and Ast.SgNil git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 09:35:47 UTC |
6075cd4 | Jérémie Dimino | 30 December 2011, 20:00:14 UTC | PR#5442: use safe_string_escaped instead of String.escaped git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 20:00:14 UTC |
334a2fd | Damien Doligez | 30 December 2011, 16:29:14 UTC | remove useless call to Modify git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:29:14 UTC |
51ca775 | Damien Doligez | 30 December 2011, 16:28:57 UTC | typo in a comment git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:28:57 UTC |
6b4bb57 | Damien Doligez | 30 December 2011, 16:28:16 UTC | PR#352: new option to make ocaml read stdin as a script git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:28:16 UTC |
e6c0b95 | Damien Doligez | 29 December 2011, 22:10:39 UTC | PR#5455: .emacs instructions, add lines to recognize ocaml scripts git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 22:10:39 UTC |
0c7984a | Damien Doligez | 29 December 2011, 20:42:11 UTC | PR#5453: configure doesn't find X11 under Ubuntu/MultiarchSpec git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 20:42:11 UTC |
83d4870 | Alain Frisch | 29 December 2011, 17:49:58 UTC | Replace existing warnings 26, 27, trying to preserve their semantics. - Warning 26 detects unused variables bound by 'let' or 'as'. In case of a or-pattern, a variable is considered to be an "as" variable or not according to the lhs pattern only. - Warning 27 detects unused variables bound by 'match', 'fun', 'function', and self-variable in objects. - When several values are bound by a given let pattern: if all of them are unused, warning 26 is trigerred; if at least one of them is used, the other unused ones are reported with warning 27. This commit also introduces dedicated warnings for unused ancestor variables (objects) and for-loop indices. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 17:49:58 UTC |
12d6154 | Alain Frisch | 29 December 2011, 17:35:15 UTC | Remove some useless declarations of recursive functions (now captured with warning 26). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 17:35:15 UTC |
a18ae2e | Jacques Garrigue | 29 December 2011, 06:49:06 UTC | patch to move id creation to the C side git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 06:49:06 UTC |
b33b2cc | Wojciech Meyer | 29 December 2011, 03:13:41 UTC | Fix PR#5454: Update docs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11973 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:13:41 UTC |
3542301 | Wojciech Meyer | 29 December 2011, 03:13:40 UTC | PR#5454: Update Change log. Correct order of one of the bug fixes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:13:40 UTC |
c1eebee | Wojciech Meyer | 29 December 2011, 03:10:49 UTC | Fix PR#5454: Add compare to Digest and allow to pass directly Digest to Set.Make and Map.Make git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11971 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:10:49 UTC |
957db9c | Alain Frisch | 28 December 2011, 14:22:38 UTC | Forget warning 33 in -warn-help. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 14:22:38 UTC |
350f214 | Alain Frisch | 28 December 2011, 14:20:53 UTC | More clever algorithm to detect unused (recursive) type declarations. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 14:20:53 UTC |
33eefe4 | Alain Frisch | 28 December 2011, 13:27:07 UTC | Remove unused constructors in the AST: Cf_let, Pcf_let. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 13:27:07 UTC |
6e7e555 | Damien Doligez | 28 December 2011, 13:24:26 UTC | formatting and annotation of incompatible changes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 13:24:26 UTC |
c3ead2a | Xavier Leroy | 28 December 2011, 10:38:55 UTC | PR#5325 ("remove" solution). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 10:38:55 UTC |
c98f6f3 | Xavier Leroy | 28 December 2011, 08:47:03 UTC | Somewhat related to PR#5179: replace "diff -q" with "$(DIFF)" so that under Windows DIFF can be overriden by something that ignores CRLF/LF differences. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11965 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 08:47:03 UTC |
3a5aff7 | Jacques Garrigue | 28 December 2011, 02:22:38 UTC | fix PR#5449 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 02:22:38 UTC |
8fed6ff | Alain Frisch | 27 December 2011, 10:20:21 UTC | Fix detection of unused let-bound variables in classes. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11963 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 10:20:21 UTC |
36c4910 | Alain Frisch | 27 December 2011, 09:50:40 UTC | Detect unused 'ancestor' identifier. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 09:50:40 UTC |
d3e3438 | Alain Frisch | 27 December 2011, 09:17:49 UTC | Reduce overhead for warning on unused opens when the warning is disabled. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11961 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 09:17:49 UTC |
7f7dc41 | Alain Frisch | 27 December 2011, 09:08:34 UTC | Reverting the let.expr syntax (no consensus on the proposal). Sorry for the noise. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 09:08:34 UTC |
dd29cb7 | Jacques Garrigue | 27 December 2011, 08:54:18 UTC | A small patch to call 'bind' for syntax 'let x <- expr in cont' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 08:54:18 UTC |
76ac0c7 | Jacques Garrigue | 27 December 2011, 08:52:45 UTC | fix PR#5450 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 08:52:45 UTC |
efc180b | Jacques Garrigue | 27 December 2011, 07:12:06 UTC | simplify fix of PR#5445 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11957 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 07:12:06 UTC |