Jacques Garrigue
ff7547dca0
Fix PR#5981
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-12 10:20:14 +00:00
Xavier Leroy
a950ef856d
PR#5934: integer shift by negative amount (-1).
...
Several occurrences of the same pattern:
let p = ref(1 lsl N) in
for i = N downto 0 do ... p := !p lsr 1 done
rewritten so as not to precompute "1 lsl N".
This was rather harmless since the value of p wasn't used in the case N < 0.
This is why I'm fixing this on trunk but not on 4.00 branch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-24 15:34:09 +00:00
Jacques Garrigue
389e3a789b
Fix PR#5948
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-13 04:59:10 +00:00
Damien Doligez
c63f9e0957
fix a few problems with whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 22:38:52 +00:00
Pierre Weis
a81a5b038c
Labtk now supports 8.6.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:31:47 +00:00
Damien Doligez
6d34f34e59
PR#5928: Missing space between words in manual page for ocamlmktop
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 10:36:33 +00:00
Gabriel Scherer
243fc1ce10
fix Changes entry
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-24 10:14:33 +00:00
Gabriel Scherer
bca20db060
fix PR#5930: ocamldep leaks temporary preprocessing files
...
Ah, if we had let-try...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-24 09:11:29 +00:00
Damien Doligez
43d02c2020
PR#5835: the fix was changed to be compatible with existing programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 10:17:56 +00:00
Jacques Garrigue
dc34e6d938
add -short-paths flag for printing shorter types when using modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-09 08:42:11 +00:00
Jacques Garrigue
1b5d02346c
Fix PR#5911: substituting in submodules should not be allowed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-29 00:54:06 +00:00
Jacques Garrigue
4c9e622875
Fix PR#5907
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-26 01:43:11 +00:00
Jacques Garrigue
75b4dbd042
Fix PR#5906
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-25 04:26:02 +00:00
Alain Frisch
45936b5fa5
Fix #4887 (input_char after close_in crashes ocaml, msvc runtime). Patch by Christoph Bauer.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-17 09:04:53 +00:00
Jacques Garrigue
6970ac6e71
merge patch by Stefan Monnier from PR#5884
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-17 02:56:00 +00:00
Jacques Garrigue
5348b611a7
Fix PR#5892
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 17:18:26 +00:00
Xavier Clerc
b7d815c172
PR#5840: improved documentation for 'Unix.lseek'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 13:00:33 +00:00
Xavier Clerc
21f51b8b03
PR#5880: 'Genlex.make_lexer' documention mentions the wrong exception
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 12:29:25 +00:00
Xavier Clerc
75df311d02
PR#5891: support rectypes tag for mlpack (ocamlbuild)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 12:17:19 +00:00
Xavier Clerc
2885577f83
PR#5793: integer marshalling is inconsistent between architectures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 08:35:09 +00:00
Wojciech Meyer
01e27644ba
-which option for ocamlbuild
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13238 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-15 21:32:52 +00:00
Jacques Garrigue
0944e97723
allow absent constructors in PM for non-exact polymorphic variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-15 05:22:28 +00:00
Alain Frisch
4abe4a82ca
Fix for #5835 can break existing (arguably bad) programs.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-14 14:22:47 +00:00
Wojciech Meyer
c133e90cf1
PR#5885: Fix: Incorrect rule for compiling C stubs when shared libraries are not supported.
...
Patch by Jérôme Vouillon!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-14 07:43:49 +00:00
Benedikt Meurer
b014e69fb1
Add note about CFI support for OS X.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-13 17:03:39 +00:00
Jacques Garrigue
c4d1bf8b77
propagate type information to patterns, even when there are polymorphic variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-11 07:26:23 +00:00
Alain Frisch
706f815450
#5864 : add a find operation to Set.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-08 09:01:02 +00:00
Benedikt Meurer
4b800c3a82
PR#5774: Updates Changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-06 17:22:13 +00:00
Wojciech Meyer
4bc9fa5359
PR#5212: Fix: ocamlbuild does not warn for bad input
...
Patch by Ygrek!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-01 04:53:51 +00:00
Jacques Garrigue
50e15d0e65
fix PR#5673
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-27 07:03:32 +00:00
Jacques Garrigue
d779487717
fix PR#5835
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-27 03:15:09 +00:00
Jacques Garrigue
d573c40608
Fix PR#5865
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-27 02:34:49 +00:00
Hongbo Zhang
733654abab
raise an error when multiple private keywords are used in type declarations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-24 05:09:22 +00:00
Wojciech Meyer
2d3c0b7c1e
PR#5697: Update changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-22 01:34:24 +00:00
Jacques Garrigue
37406cc484
fix PR#5858
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-18 09:58:32 +00:00
Benedikt Meurer
b87cdb1d51
Add missing note about PR#5798 to Changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-10 11:38:20 +00:00
Jacques Garrigue
505dcfb2fe
fix PR#5343 (was still unsound)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-02 02:46:22 +00:00
Fabrice Le Fessant
89bdc10350
PR#5774: Add bswap primitives for amd64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-29 09:55:00 +00:00
Wojciech Meyer
f80d01e968
PR#5825: Add Changes entry.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-19 01:30:54 +00:00
Xavier Leroy
23502e1275
PR#5824: avoid tagging before right shifts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-17 17:23:15 +00:00
Alain Frisch
43d30581a7
Fix #5821 : Wrong record field is reported as duplicate.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-14 16:59:33 +00:00
Jonathan Protzenko
e41b5df033
Add a strict_sequence flag to OCamlbuild.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-10 15:06:53 +00:00
Jonathan Protzenko
76f3646b12
Add a new bin_annot tag to OCamlbuild.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-10 15:02:56 +00:00
Fabrice Le Fessant
ec7ac9cb3d
PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and bigarrays
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-09 16:15:29 +00:00
Fabrice Le Fessant
d34a734947
PR#5795: Generate sqrtsd opcode instead of external call to sqrt on amd64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-09 13:26:43 +00:00
Xavier Clerc
ce37153d1e
PR#5810: error in switch printing when using -dclambda
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-07 12:36:09 +00:00
Fabrice Le Fessant
95c20bc6ae
PR#5762: Add primitives for fast access to bigarray dimensions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-06 17:03:34 +00:00
Alain Frisch
961982c7e0
#5805 : Changes file.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-06 16:53:04 +00:00
Xavier Clerc
a3c231e1c1
PR#5806: ensure that backtrace tests are always run (testsuite)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-05 11:56:08 +00:00
Hongbo Zhang
6b8f3706bd
bug fix for parsing/pprintast.ml and add tools/eqparsetree to diff two parsetree
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-02 14:13:56 +00:00