e7546ca216
PR#5768: On 'unbound identifier' errors, use spell-checking to suggest names present in the environment.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 13:54:24 +00:00
5e8adcd8df
#5784 : -dclambda option is ignored.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 13:40:36 +00:00
7224745796
PR#5775: several bug fixes for tools/pprintast.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 09:51:42 +00:00
08c3b1780a
PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12 08:24:34 +00:00
e196c83bf3
Fix PR#5785
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12 01:34:51 +00:00
4dd1e7fe41
PR#5102: ocamlbuild fails when using an unbound variable in rule dependency
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 13:59:47 +00:00
78e80bc087
PR#5300: verbose parameter should implicitly set classic display
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 09:38:24 +00:00
b676e19acf
PR#5240: register exception printers for Unix.Unix_error and Dynlink.Error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 08:54:42 +00:00
a731103898
PR#5772: problem with marshaling of mutually-recursive functions
...
(culled from version/4.00, commit 12991)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 16:04:13 +00:00
bb5c5b7e88
merge changes from 4.00.0 to 4.00.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 15:21:35 +00:00
de1ac52bc6
PR#5715: change the fix to avoid breaking the mingw port
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-30 12:31:27 +00:00
f169f1eafd
PR#5727: emacs caml-mode indents shebang line in toplevel scripts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28 16:56:30 +00:00
0a2d9c0089
PR#5761: Incorrect bigarray custom block size
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-27 15:57:13 +00:00
2932d1f4a0
PR#5734: improved Win32 implementation of Unix.gettimeofday
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24 11:36:47 +00:00
96ad2a7612
PR#5563: harden Unix.select against file descriptors above FD_SETSIZE
...
(Picked from r12947 in 4.00 branch)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24 11:26:54 +00:00
3734fe0799
fix PR#5763: ocamlbuild does not give correct flags when running menhir
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-21 15:16:24 +00:00
e086aa9a8d
Fix PR#5758
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19 06:57:17 +00:00
9d3c2b0920
PR#4019: better documentation of Str.matched_string
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-11 14:45:44 +00:00
526d44647b
PR#5757: GC compaction bug (crash)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:25:18 +00:00
80d9a37d6d
PR#5468: ocamlbuild should preserve order of parametric tags
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 02:41:09 +00:00
9ac1d4937b
PR#5707: in AMD64 port, exchange the roles of r10-r11 and r12-r13,
...
so that r10 and r11 are no longer used for parameter passing,
and can therefore be destroyed by the dynamic loader without harm.
(Cherry-picked from version/4.00, commit 12907).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-08 16:53:39 +00:00
9d45c49928
Fix #5747 ('unused open' warning not given when compiling with -annot).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12905 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-03 17:03:49 +00:00
eabfccd2a9
"PR#5597: add instruction trace option 't' to OCAMLRUNPARAM
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12904 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-02 02:37:17 +00:00
a50bae4545
PR#5652: update Changes file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-02 01:34:13 +00:00
4f968563b6
PR#5611: avoid clashes betwen .cmo files and output files during linking
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-01 13:10:10 +00:00
7cb5ba33fc
PR#5742: missing bound checks in Array.sub (picking r12891 from 4.00 branch)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-28 15:08:30 +00:00
0a11500cb1
fix PR#5738
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-25 09:54:29 +00:00
3fa58bda89
Fix PR#5735: %apply and %revapply not first class citizens
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21 07:12:04 +00:00
094041bdad
PR#5731: take destroyed registers into account during scheduling.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-20 06:54:56 +00:00
f88c9efcf1
PR#4994: ocaml-mode doesn't work with xemacs21
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-08 14:32:59 +00:00
a9c1f42ad2
PR#5719: ocamlyacc generates code that is not warning 33-compliant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-06 14:19:40 +00:00
f4ec71e64b
PR#5712: doc of Format.printf and missing functions in StdLabels
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-06 11:55:32 +00:00
412ee0f3e0
Support -absname in ocamldep + update man pages.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-03 10:22:35 +00:00
d67f25572e
PR#5700: crash with native-code stack backtraces under MacOS 10.8 x86-64
...
(owing to wrong stack alignment in caml_raise_exception)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-02 12:47:08 +00:00
83c5962ac8
Fix PR#5708 : catch Failure "int_of_string" in ocamldebug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-31 13:19:01 +00:00
f6f54d325d
#4762 : QUESTIONQUESTION is no longer a token.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 10:15:10 +00:00
0c3a7de507
merge changes from 4.00 branching to 4.00.0 (part 1)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-26 19:21:54 +00:00
229044d83a
Fix PR#5698: remove harcoded limit of 200000 labels in emitaux.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-24 17:33:46 +00:00
504f620fc7
#5697 : better location for warnings on statement expressions.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-24 08:57:52 +00:00
930864c9cc
Fix PR#5695 (Redoing commit 12756 without unwanted changes)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-22 15:18:52 +00:00
808d083b9f
Revert commit r12756 containing unwanted changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-22 15:15:55 +00:00
5e74e6f0cc
Fix PR#5695
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-22 15:12:43 +00:00
e17f1f82f2
PR#5214: ocamlfind plugin invokes 'cut' utility
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12713 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-16 08:53:51 +00:00
776c46fce8
Fix problem of size of bin-annot files
...
- Reset most of the fields of Env.t when saving bin-annot files
- Move debugger/envaux.ml to typing/, and add a function to
recover environements from bin-annot files.
- Move tools/typedtreeIter.ml to typing/
- Move the code of typing/typedtreeMap.ml from cmt_format.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-12 11:02:18 +00:00
5b7fbfba8a
PR#5137: caml-types-explore does not work
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 17:51:04 +00:00
9d10503a1d
PR#5218: use $(MAKE) instead of "make" in Makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 15:29:19 +00:00
1330131d70
PR#5677: do not use "value" as identifier (genprintval.ml)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12690 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 15:03:11 +00:00
9c3b2b4784
PR#5279: executable name is not initialized properly in caml_startup_code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 12:58:12 +00:00
9c275a2e7a
PR#5312: remove the Windows @responsefile feature, that conflicted
...
with '-w @...' command-line warning specifications [breaking change]
This change has relatively wide consequences as it modifies the windows
OCaml runtime: when the runtime computed the argument vector "argv"
passed to the program, it automatically expanded arguments of the form
@foo into the content of the filename "foo" (parsed as a sequence of
command-line arguments). This means that this "feature" was
automatically enabled for all user programs written in OCaml and
linking to the usual runtime.
This conflicted with the more recent feature of the OCaml *compiler*
(which is affected, as an OCaml program), that allows to pass warning
specifications of the form "-w @...", for example -w @ae. On windows,
it would try to replace it by the content of the file "ae", leading to
an error.
Given the warning specifications are widely used in OCaml programs
(causing silly Windows portability problems), and the @reponsefile is
anecdotical at best (at poll [1] on the Caml-list revealed no user
using this feature), it was decided to remove @responsefile
altogether.
[1] see mailing-list thread "[community poll for PR#5312] Do some
OCaml Windows users still use the @responsefile feature?"
This change affects all OCaml programs compiled under Windows. Users
previously relying on the @responsefile feature should now explicitely
expand Sys.argv themselves; use Arg.parse_argv to rerun Arg
command-line handlers on user-provided string arrays.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 11:33:00 +00:00
bc139ae14e
PR#5644: Stream.count broken when used with Sapp or Slazy nodes
...
There is a bug in the way concatenating operations work when combined
with `Sgen`-defined stream (Stream.from, Stream.of_string): the
concatenation functions reset the `count` field to 0, which disturbs
the Sgen producer.
While the fix in the Scons case is easy (instead of 0, set
the count to `original_count - 1`), fixing the Sapp case is more
delicate (we can't predict the size of the prepended stream). Our
technique is to change the stored left-hand-side to not the stream
data only, but the whole stream, count included.
Once we detect the prepended stream was completely consumed, we can
then restore the count to its previous value, so that Sgen's function
can be provided correct count information. This required a change in
the internal `get_data` implementation.
Slazy-constructed streams have the exact same issue: we don't know
their count before forcin them. Again, `get_data` is changed to
dynamically update the count at forcing time.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 09:58:38 +00:00
Alain Frisch
Damien Doligez
Jacques Garrigue
Xavier Clerc
Xavier Leroy
Gabriel Scherer
Wojciech Meyer
Fabrice Le Fessant