7844495624
Merge branch 4.01 from branching point to 4.01.0+rc1
...
Command line used:
svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04 15:12:37 +00:00
bc05874f5d
Accept changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-30 14:31:27 +00:00
842f6794a9
Synchronize with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-28 17:10:04 +00:00
3831bcee99
types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-23 08:16:00 +00:00
d1c176690e
add unification example using GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-21 10:01:47 +00:00
7a6d827026
Fix PR#6123
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-20 03:00:19 +00:00
d1c0cbee50
testsuite for Digest.to_hex (patch by ygrek)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-05 09:43:12 +00:00
2c990bacc0
PR#4323: have "of_string" in Num and Big_int work with binary and hexa representations [patch by zoep]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-04 19:58:03 +00:00
1fc309687a
allow spurious private in with constraint for backward compatibility, but warn
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-31 02:49:13 +00:00
47d094db83
Fix PR#6090
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-26 23:04:51 +00:00
b0d5fc28a2
Synchronize with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-22 17:03:39 +00:00
87b46c37bd
Revert commit r13909 because of an issue with 'integr' on i386
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-19 18:49:56 +00:00
055d5c0379
Port to the ARM 64-bits (AArch64) architecture (experimental).
...
Merge of branch branches/arm64.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-18 16:09:20 +00:00
525ef9d703
Synchronize with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-16 13:34:30 +00:00
32bcc186ea
Patch for PR#5788
...
(Exception binding fools pattern matching optimisations)
Hopefully it's complete...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-02 16:05:48 +00:00
338c5ce867
disable test 8 and 9 in tests/lib-threads under Windows because sometimes they deadlock on exit
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-28 15:25:14 +00:00
b3f2e718b9
test results
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-28 10:45:25 +00:00
07b8b7dd74
Fix PR#6056
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-28 10:43:25 +00:00
f4d0232689
fix PR#5914
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-22 07:31:37 +00:00
4ee1956aa2
testsuite/tests/backtrace: fix a stupid (but silenced) error in Makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13822 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-19 15:18:46 +00:00
b06015bacb
testsuite/tests/backtrace: new test to exercize Printexc.get_raw_backtrace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-19 14:10:27 +00:00
75ee032332
testsuite/tests/backtrace: no need to re-run backtrace2 which catches all exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-19 14:08:26 +00:00
1b1c4a4d15
tweak tests/backtrace to also test ocamlopt
...
Note that native and byte-test share the same reference file, so in
particular they check that ocamlc and ocamlopt report uncaught
exception in the exact same way. Passing this test required a change
in asmrun/backtrace.c/print_location.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-19 14:05:10 +00:00
70a5d6af9f
fix a variance bug in GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-18 13:04:32 +00:00
ba38d00535
#5980 : a different warning for shadowing labels/constructors and for other kinds of identifiers. (Cherry-picked from commit 13796 on 4.01.)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-18 08:01:02 +00:00
d53e2b57b2
Make GADT inference robust to useless equations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-17 03:02:14 +00:00
4fb61c91e6
Fix PR#5815
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-17 02:03:36 +00:00
94381ab774
As originally written, this test would livelock under Linux because of contention on the output lock.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-14 08:07:08 +00:00
0992949438
temporarily disable tests/lib-threads/testsocket on Windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13766 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-11 13:20:32 +00:00
7e4877a3a2
tests/exotic-syntax: adapt to new compiler check on objects
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13762 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-11 07:32:49 +00:00
26c5e49b83
allow reinstalling without removing first
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-06 15:05:36 +00:00
9e0d1579ee
Non-regression test for #6032 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-06 11:45:02 +00:00
e86521630c
update external tests -- camlp5 still missing because the AST has changed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 14:06:57 +00:00
87508f1d4b
tests/lib-format: fix for Windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13722 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-30 12:27:18 +00:00
32e0587115
one more fix for tests/lib-format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-30 11:26:53 +00:00
4321fefb50
fix the tests for module Format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29 20:21:12 +00:00
ef26391063
Adding a test directory for the Format module.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29 16:45:46 +00:00
d534ad4893
Tabify.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29 16:45:07 +00:00
db9ea0df59
PR#6024: Format syntax for printing @ is incompatible with 3.12.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13713 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29 15:56:25 +00:00
8946ae07df
testsuite/lib-threads: version of test8 that seems to work on Windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-22 13:04:00 +00:00
c3bf54a7b6
merge changes from version/4.00 from 4.00.1 to r13697
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-22 12:56:54 +00:00
2c6d524259
PR#5710: add Mono support to the testsuite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-17 15:06:37 +00:00
9bbd8bdaec
testsuite/lib-threads: still working around Windows's exit bug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-17 15:05:16 +00:00
b1d2782b30
testsuite: still making it work without installing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-17 12:49:42 +00:00
6283fee381
testsuite: making it work without installing OCaml (continued)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13690 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-17 12:03:58 +00:00
4f24f8ab0f
#5980 : only report shadowing against the environment before the 'open'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-17 10:12:31 +00:00
9f55c9cbd5
testsuite/typing-warnings: update ref file with new warning introduced in r13683
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 20:04:25 +00:00
178c0d1d41
testsuite: continue making it work without installing OCaml; also make it independent of the user's .ocamlinit
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 19:48:04 +00:00
98c197a63b
testsuite: allow testing without installing (continued)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 15:20:48 +00:00
1a2c1ed3e2
make the testsuite work without installing OCaml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 12:20:59 +00:00
5a1a95f5e6
tests/backtrace: harden against leftover files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 09:24:44 +00:00
13673e1189
tests/lib-threads: still porting to windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16 07:44:41 +00:00
1f1f64d2d9
testsuite/lib-threads: still trying to make it work across all architectures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 15:24:52 +00:00
aac1147965
trying to make a test that works on all systems
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 14:08:08 +00:00
1f06400ce4
testsuite/backtrace: fix problem on cygwin with leftover executable file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 09:48:25 +00:00
b2cf57f35f
testsuite/lib-threads: stop all threads before exiting
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13676 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 09:32:29 +00:00
9dda1aa675
fixed test to test what happens when we close a file descriptor on which another thread is blocked reading
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 09:31:58 +00:00
1b54fa1d93
Typos.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13674 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-15 07:43:59 +00:00
a3c303c7dd
testsuite/lib-threads: stop all threads before exiting [for Windows]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-14 18:59:08 +00:00
c2b3a61ef9
testsuite: simplification of the BYTECODE_ONLY macro
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13672 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-14 18:34:30 +00:00
09812d00fb
testsuite/backtrace: add $(EXE) for windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-14 17:34:17 +00:00
0e199b5f7d
testsuite: more cleanup of the makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-14 17:05:21 +00:00
4efee60493
testsuite: Windows (7) does not reliably stop all threads when a process calls exit(). Update thread test to avoid this problem.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-14 17:05:07 +00:00
200f97fef6
trying to figure out what goes wrong on the Windows test machines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-13 15:11:24 +00:00
d31eb278a3
PR#6010 continued: more tests.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-08 08:55:42 +00:00
0f45880800
PR#6010: Big_int.extract_big_int gives wrong results on negative arguments
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-08 08:38:55 +00:00
b0d7af8354
still porting testsuite to msvc64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-07 11:26:42 +00:00
a2f17916d2
porting to MSVC64; some cleanup; ignore .obj and .lib files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-07 09:39:38 +00:00
c09d328c31
More clever handling of constrained parameters:
...
if the same type appears at the right variance inside
parameters, no need to check its type variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-04 08:52:44 +00:00
ba7fa367a1
Fix PR#6004
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-04 01:44:49 +00:00
ea4b17ad1e
testsuite: general cleanup of makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-03 15:52:56 +00:00
6ce0823710
Fix PR#6005
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-03 14:39:56 +00:00
67e18e5c4d
Fix PR#5985 for constrained parameters too.
...
Required more variance information, so variance is now an abstract type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-03 13:38:30 +00:00
b8470199cc
testsuite: porting to mingw64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-03 08:27:42 +00:00
bdf9c6bae7
For -short-paths, lookup the whole environment, but avoid recomputation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-02 01:02:15 +00:00
e4f810e64f
last fixes to make the testsuite work under mingw
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-30 09:25:14 +00:00
f35c7d123f
Take ambiguity into account when using -short-paths option.
...
Namely, do not use an abbreviated form which doesn't correspond
directly to a physical definition when it might point to
several definitions, due to multiple opens.
Also be careful about not abbreviating types we are defining
in type definitions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-30 09:05:26 +00:00
c425ae1ce8
Fix PR#5985; compute injectivity of types but no new syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-30 05:26:57 +00:00
2e20de4c4d
testsuite: use the right assembler for tests/asmcomp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 20:27:54 +00:00
146084a63e
tests/utils: add quotes in Makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 19:16:01 +00:00
38608d81c4
testsuite: better error message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 19:15:28 +00:00
03736769f1
tests/lib-threads: skip test3 on windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 18:23:28 +00:00
70e62b3804
tests/typing-poly: round a float to avoid failed tests due to different display precision
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 18:22:47 +00:00
e21fb0c563
tests/lib-threads: scale back sieve.ml to avoid problems under Windows on a small machine
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13624 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 18:00:49 +00:00
010d94b4d5
testsuite: many small fixes to make it work for mingw
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 17:02:29 +00:00
87392bc090
tests/utils/Makefile: port to mingw
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 16:54:26 +00:00
8bbebbc3fe
tests/makefiles/Makefile.toplevel: do not stop after a failed test
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 16:53:37 +00:00
d84fb02b93
tests/lib-printf: allow for small variations in float formats
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 16:52:45 +00:00
fd82bbded5
testsuite: better reporting of failed tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 13:01:02 +00:00
baeba206af
tests/callback: do not run when libunix is not configured
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 13:00:27 +00:00
df62a568fa
update reference file for tests/lib-printf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 12:59:43 +00:00
9cdba46317
make it work on non-unix systems
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-29 09:44:59 +00:00
35d1dde122
Improve message for warning 40
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-26 13:09:24 +00:00
ebfc4e6cff
Fix PR #5992
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-25 13:32:17 +00:00
fbf83d27e0
Add a test for meta format %{ %}. Some corrections on (commented) expected results.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-25 09:18:26 +00:00
b20679022a
printing of anonymous type parameters after strengthening
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-24 11:02:49 +00:00
a0b6262cf8
Fix PR#5997
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-22 23:53:24 +00:00
497ec43277
Fix PR#5993
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-19 08:48:25 +00:00
39d57e01e6
Fix PR#5989
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 23:41:29 +00:00
cead6b32bb
removed backslashes inadvertently introduced by copy-paste
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13574 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 18:10:50 +00:00
3a81edda74
make test9 independent of the OS scheduler
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 14:19:23 +00:00
0125138f56
Under BSD, subshells apparently inherit the -e setting.
...
In any case, it's better to use "|| true" to suppress an error result.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 13:55:15 +00:00
9e2b8f8913
Avoid using the --strip-trailing-cr option of "diff" because it is not
...
supported on BSD.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 13:53:21 +00:00
09fae9d204
continuation of r13523
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 20:34:25 +00:00
6e7c9f60b1
make it work also on 32-bit machines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 20:24:06 +00:00
d0c32df9be
do not test stack overflow on architectures that do not support it
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:45:51 +00:00
9de44b3e63
typo in comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:43:10 +00:00
d11457a7b3
updates
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:42:20 +00:00
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
cb38ccc346
Fix testsuite.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-10 16:48:25 +00:00
a3f9e65668
add a few missing copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:27:13 +00:00
e2eacb06cd
add compcert to the test suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:26:56 +00:00
58d699f60b
remove unused file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:22:40 +00:00
4bb9a3fad0
fix stupid mistake
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 22:23:51 +00:00
f344eb755c
reorganize and add a few tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 16:08:33 +00:00
d9dc859227
added more stuff
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:01:09 +00:00
75b8c0184f
PR#5933 type-specialize 'let compare = compare' on ints and strings
...
According to the reporter 'sliquister', type-specialized comparison
can nearly halve compilation time in some cases. This patch applies
type-specialization throughout the OCaml distribution sources, so not
all changes will have performance utility, but in this case I think
it's best to be consistent, as I see no downside to the change.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 07:22:12 +00:00
9e5de6fb02
update some programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 14:09:24 +00:00
839741049c
simplified and extended
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:47:09 +00:00
2af9e254d1
typo in comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:40:57 +00:00
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
32de864a67
improve Ambiguous_name warning
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-12 14:56:15 +00:00
4b870ecd0f
add support for 4.00.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 00:32:46 +00:00
dc25c4a7d6
add a few more cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 00:31:47 +00:00
5cab09944e
add a few more cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:45:45 +00:00
5f859e648a
update to latest version of a few programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:45:32 +00:00
dc9834c4a4
misc: replace stat_(alloc|free|resize) occurences with caml_stat_(...).
...
byterun/compatibility.h defines:
#define stat_alloc caml_stat_alloc
#define stat_free caml_stat_free
#define stat_resize caml_stat_resize
Having the "caml_" prefix seems cleaner to me, it also avoids some
issues for cross-compilation but I don't remember well which ones.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25 03:01:31 +00:00
4d7a8f8bd3
Add some test cases for syntactic constructs that are never used.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 10:23:37 +00:00
1f5882e53d
Replace error by warning for PR#5835
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 03:12:36 +00:00
c76b791ca4
Add warning 42 for disambiguated labels and constructors (compatibility with old versions)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 02:45:09 +00:00
0a9bf33ba3
test case from PR5918
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-13 01:39:48 +00:00
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
26e1ff7138
Merge short-paths into a fresh branch of trunk.
...
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
2013-01-29 14:21:12 +00:00
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
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
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
dfed25213f
add test case for PR#5892
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 17:28:23 +00:00
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
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
df19d30cb4
PR#5774: Add test for the bswap primitives.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-06 17:22:09 +00:00
011b61118d
PR#5712: (6) document OCAMLRUNPARAM flag R
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-03 15:23:40 +00:00
1b52552777
add test cases for PR#5673
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-27 07:19:12 +00:00
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
70036282aa
update dependencies
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-27 02:38:02 +00:00
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
42af44f5a6
add kaputt to the external test suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-20 15:04:18 +00:00
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
85bb9663e6
Improve fix of PR#5848 (allow disambiguation, only restrict scope of GADTs)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-08 02:40:56 +00:00
c5f4577572
better test for PR#5848
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-07 02:28:58 +00:00
b7370effb7
fix PR#5848 by disabling disambiguation for GADTs in patterns
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-07 02:22:18 +00:00
c8273a179c
merge branches/record-disambiguation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-06 09:41:21 +00:00
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
17fc404e78
merge patch new-error.diff by lpw25
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-11 03:46:59 +00:00
204eb64b0d
better errors + fix escaping exception
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-08 09:39:23 +00:00
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
57c80844f5
add spellchecking for Wrong_name
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-01 03:32:34 +00:00
94dafac93b
keep longident in Typecore.Wrong_name
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-31 23:53:28 +00:00
c991227ab2
fix warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-31 12:36:13 +00:00
5323da7fad
fix warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-30 01:02:08 +00:00
8fac736f31
clean up and merge the patch disambiguate-with-warning from PR#5759
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-29 07:54:06 +00:00
90c1adb6ad
Synchronize with trunk, to benefit from simplifications made possible by r13043.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 12:57:16 +00:00
443aca36ae
whitespace, non-ascii chars, some missing headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 20:09:16 +00:00
9dc80e8a5e
#5768 : add tests.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 17:11:39 +00:00
5dd16eb1f1
Add missing module.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 17:02:54 +00:00
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +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
8e94d482d7
use variable name from definition for existentials (cf. PR#5780)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 09:38:03 +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
b0584e6721
ignore build dir for frama-c
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 14:28:22 +00:00
8690cc7531
update hevea + small changes for cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28 19:00:49 +00:00
aede4856a8
also support report construction and pattern matching
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-21 11:16:02 +00:00
7828cb7907
access label information from type in Env
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-21 06:37:17 +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
afa71dbea2
use types to disambiguate record access
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19 03:09:01 +00:00
15ac0e835b
Use types to disambiguate record access
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@12933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-19 02:55:58 +00:00
011a701579
PR#5757: GC compaction bug (crash)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12914 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:27:57 +00:00
829b8ae944
remove some targets that stopped working on Mac OS X
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:24:22 +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
35185d610b
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
2012-08-21 07:10:35 +00:00
d165ca651e
PR#5722: toplevel: print full module path only for first record field
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-14 05:23:40 +00:00
873c35f98d
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-10 07:24:04 +00:00
3ef46fa9d5
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09 19:58:38 +00:00
e15b67a7cd
add two things
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12850 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09 19:58:22 +00:00
be767e3b99
dependencies for ocamlnet; add back coq and framac
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09 19:58:08 +00:00
065ed361ee
make ocaml-mysql work with a vanilla install of mysql
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09 19:57:27 +00:00
6be05dae42
add some missing copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-02 08:17:59 +00:00
3f52e9dfb3
remove wrongly committed (?) temp file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-02 08:12:51 +00:00
4a8f355374
extended test suite: significant programs from outside our team
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-01 13:57:20 +00:00
997a678d5e
clean up TABs and whitespace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 18:04:46 +00:00
3bb278c944
merge changes from 4.00 branching to 4.00.0 (part 2: testsuite)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-27 11:31:21 +00:00
8f165f2c30
forgot to promote
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-21 01:18:36 +00:00
d94c59240f
Fix PR#5694 by checking that the number of parameters is identical
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-21 01:12:51 +00:00
19a650aa7f
Fix PR#5689
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-18 03:21:12 +00:00
c74d9836f0
removed bogus $Id lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-17 15:57:37 +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
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
ec0cb70b4d
update test file following commit 10652 in ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-27 13:14:47 +00:00
ec0422aa33
PR#5661: fixes for the test suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-27 12:58:21 +00:00
a8a0e92f5a
follow signature change of Hashtbl
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-21 16:21:00 +00:00
fe137eedb5
PR#5233: finaliser on weak array gives dangling pointers (crash)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-21 14:30:11 +00:00
7440ce3c67
Small problem with Power arch (picking r12624 from 4.00)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-21 14:16:17 +00:00
08f29984ea
Fix stack overflow by checking cycles for all types before regularity
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-14 10:42:56 +00:00
d683e249ca
Fix PR#5073: Wrong location for 'Unbound record field label' error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-13 23:45:01 +00:00
50abdb66a3
Fix constraint checking regression; one stack overflow remains in typing-misc/constraints.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-13 22:03:46 +00:00
929e3e5ba5
Fix (type a) scope, was broken by gadt addition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-13 08:38:32 +00:00
aa9ff663b1
Fix PR#4838, PR#4511
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-01 08:05:48 +00:00
6219455e62
Fix PR#5224
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-01 05:12:44 +00:00
a430934c06
Fix PR#5291
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-01 04:47:14 +00:00
d39d43e55f
merge with branch bin-annot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 14:52:37 +00:00
6d950dd3ea
prove functionality and associativity of plus
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-26 01:25:42 +00:00
1253a7c689
prove functionality and associativity of plus
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-26 01:13:52 +00:00
a745e3c6fe
fix PR#5619
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-25 05:11:55 +00:00
4b9cbab50a
PR#5610: new unmarshaler didn't freshen object IDs.
...
Assorted cleanups and additional comments in byterun/intern.c.
More tests in lib/marshal.
Updated Changes file.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-08 13:49:35 +00:00
a23314e0b8
Catch Not_found when calling Env.find_type + call Includemod.signatures in Toploop
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-08 04:26:13 +00:00
ad6a2252ff
Remove the 'dispose' functions from Bigarray.
...
(Partial revert of commit 12327, keeping the other good bits.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-06 08:23:16 +00:00
d53f2e8db0
add marshal.data to list of ignored files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-03 11:53:38 +00:00
c1cb8aa6fc
PR#5318: Unroll recursion in un-marshaller to allow un-marshaling values of arbitral depth. Per advice of Xavier Leroy used defunctionalized continuation trick
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-22 23:37:41 +00:00
0c758c05c2
trivial fix following commit 12221 in ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-13 14:06:19 +00:00
f4f31771f2
update expected result after changes to stdlib/random.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10 15:33:06 +00:00
2330a3b30f
PR#3571: in Bigarrays, call msync() before unmapping to commit changes
...
PR#5463: Bigarray.*.map_file fail if empty array is requested
Bigarray: added "release" functions that free memory and file mappings
just like GC finalization does eventually, but does it immediately.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-09 10:23:50 +00:00
60ab0ff70e
problem with applicative functors
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-31 12:15:13 +00:00
fc603f1a00
check with -principal too
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-29 06:26:38 +00:00
40e2854e21
Fix PR#5560
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-28 00:35:41 +00:00
20759f9818
Fix PR#5554 by restricting optional parameter elimination through coercions to variables and applications
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-25 06:41:42 +00:00
b3e0f2e72a
Fix PR#5553: do not allow a type variable to have the same name as a local type
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 02:20:24 +00:00
a4f3f01982
Fixed conditional compilation of "testing.cmx" (testsuite)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 10:22:07 +00:00
6d7456ef82
Update parsecmm.mly to reflect recent change in Cmm
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 09:24:52 +00:00
4e5eb94ed9
PR#5215: Marshalling of closures now supported if the closures come from dynamically-loaded code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-13 14:50:41 +00:00
d04fc95db5
PR#5512: Test suite improvement wrt. to packaging. Slightly modified patch by Stephane Glondu
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-10 02:25:53 +00:00
6c24f4f90b
merge version 3.12 from 3.12.1 to r12205
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 19:52:03 +00:00
79eab1a6e2
PR#5513: protect against min_int / -1 crashing on x86
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-24 10:13:02 +00:00
0f85a64020
Unshare on type annotations even in non -principal mode.
...
Slightly slower (1% for lablgtk.cma) but better compatibility
with -principal and gadts.
By the way full -principal is a 25% slowdown for lablgtk.cma.
As a side effect of unsharing in patterns, (x : t) is now
internally converted to (_ as x : t).
This should have no impact on pattern matching compilation,
but watch out for other problems.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-14 10:00:18 +00:00
e7f5b858c2
More renaming to OCaml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10 16:15:24 +00:00
f186ac5cb8
disable shortening for errors in Typetexp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-24 05:33:50 +00:00
55d64eebc0
Fix missing reference files in letrec testsuite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 14:58:33 +00:00
2bfba69b77
Backported '%apply' and '%revapply' from 3.12.1+dev to 3.13+dev
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 14:49:39 +00:00
db66874712
Attempt at shortening paths on printing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-22 01:47:52 +00:00
ff3c199564
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
2012-01-19 07:57:51 +00:00
aabb8cfb70
Unused_var has been removed.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12053 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 19:14:50 +00:00
a1a69087a2
Fixed warning orders (testsuite).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 16:14:54 +00:00
cedfa6860b
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
2012-01-18 16:07:50 +00:00
48d5f48d6d
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
2012-01-18 09:51:16 +00:00
ee95e9fd91
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
2012-01-16 09:03:16 +00:00
faa64b3053
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
2012-01-13 17:46:21 +00:00
db50558e33
fix PR#5469
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-10 03:01:50 +00:00
c98f6f3161
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
2011-12-28 08:47:03 +00:00
3a5aff77d0
fix PR#5449
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28 02:22:38 +00:00
76ac0c7cb1
fix PR#5450
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-27 08:52:45 +00:00
16d937aa40
fix PR#5436
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22 07:30:18 +00:00
c8f32a4a50
Module Array: faster implementations of "blit", "copy", "sub",
...
"append" and "concat" (PR#2395, PR#2787, PR#4591)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 10:36:35 +00:00
a69f9be8c5
PR#4746: wrong detection of stack overflows in native code under Linux
...
(quick fix, will have to find something better)
testsuite/tests/runtime-errors: make the test output independent of
the stack size; add a "ulimit -s" just to make sure stack is limited.
testsuite/tests/asmcomp: updated to compile again.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20 14:38:53 +00:00
5b08f5b131
Fix PR#5425 and PR#5427
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15 02:25:01 +00:00
8427522b52
Add counter-example for PR#5343
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12 05:49:13 +00:00
8074552780
add test for polymorphic variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10 02:47:40 +00:00
a3aad303be
do not fail when injectivity not proved in Pattern mode, use mcomp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-25 02:37:57 +00:00
6c78f42d36
merge branches/gadts-devel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-24 09:02:48 +00:00
ac275d142b
fix gadt type variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-27 06:37:06 +00:00
156fff1b8a
Keep type variable names
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22 09:05:42 +00:00
7c94bbd294
fix bug in first-class module unpacking
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-20 02:51:34 +00:00
bde86b194e
fix PR#5332
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-09 13:59:41 +00:00
d9eb848d86
PR#5238, PR#5277: Sys_error when getting error location
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04 14:59:13 +00:00
9dc661c3bf
merge branches/gadts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29 10:32:43 +00:00
173c44001c
finish fixing PR#5322
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29 01:44:00 +00:00
3b507dd1aa
renaming of Objective Caml to OCaml and cleanup of copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
b7b719f6f0
fix bug reported by Polux Moon on 2011-07-26
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 08:48:22 +00:00
a6c350e9b5
update test results
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 08:38:51 +00:00
d0709a762f
byterun: embarrassing typo in caml_hash
...
testsuite/tests/lib-num: testing hashing of big_int
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-23 18:13:18 +00:00
920096846e
test suite: 'els' (signatures) moved from 'testlabl'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-21 07:47:26 +00:00
d5e1e67d64
test suite: 'sigsubst' moved from 'testlabl'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11138 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-21 07:43:44 +00:00
22a753340d
test suite: 'implicit_unpack' moved from 'testlabl'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-21 07:34:14 +00:00
9cc18a5a7e
test suite: update for new ocamldoc API
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-21 07:22:32 +00:00
3327547485
test suite: detection of makefile failure in report
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11135 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-21 07:13:25 +00:00
90664f4ea1
uniform .ignore system
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 15:37:36 +00:00
5b6ff1650b
fixed broken path
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 15:35:04 +00:00
9f77757d5c
testsuite: invalid Makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 14:47:34 +00:00
1f651d38e2
test suite: test updated for new hashing function
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 14:37:08 +00:00
fffb8e386f
test suite: some tests were failing due to the renaming from "Objective Caml" to "OCaml"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11129 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 14:33:17 +00:00
e8965d6cc9
test suite: reduced verbosity
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11128 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 14:20:00 +00:00
53021466e3
make subdirectory for regression tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 12:08:42 +00:00
c91db736b1
merge changes from 3.12.0 to 3.12.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 09:17:07 +00:00
6b5603562f
testsuite: added a "promote" target copying actual results to waited reference (for a given test).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-15 12:14:14 +00:00
852558d482
fix record pattern-matching; sort records in typed tree
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-15 09:26:30 +00:00
4fe49e995d
testsuite: ability run a given test from its own directory.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-15 08:38:27 +00:00
3f334eb176
testsuite: ability to organize tests in subdirectories.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-15 08:13:13 +00:00
fab07a66c6
do not use unify_pat_types_gadts for normal constructors!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-14 09:41:21 +00:00
336e416561
update tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-06 06:44:23 +00:00
f70dbeb1b8
fix problem with constraints outside of matching, see typing-gadts/test.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-05 15:00:04 +00:00
aea227fdeb
Better hashing!
...
- New generic hash function based on Murmur 3, with better statistical
properties (PR#5225), and better speed
- Make sure equal floats hash equally (PR#5222)
- Breadth-first traversal instead of depth-first
- Added seeded hash functions and seeded functorial interface to Hashtbl.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-05-29 09:52:27 +00:00
ea15141d8a
* make -principal stricter for gadts
...
* may also change behaviour without -principal
* propagate type constraints in let expressions to patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-19 02:13:52 +00:00
5b901b7390
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:55:28 +00:00
7d9d86a1ed
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:54:48 +00:00
04968cc2e6
fix principality by expanding local definitions when exporting a value
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-10 06:27:24 +00:00
974779cd1d
recover some principality
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-02-24 06:29:26 +00:00
30d608dda0
add some more examples + section titles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-07 07:21:43 +00:00
c64d239264
finish section 5
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-06 03:46:34 +00:00
3b79833705
add sections 5.7 to 5.10
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-05 10:10:04 +00:00
e88a3e9482
allow existentials in "as" patterns + report escaping newtypes + clean-up
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-12-14 06:33:06 +00:00
6389ce769b
add red-black trees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-12-14 04:25:26 +00:00
052c8f93d1
fix some bugs found with omega07.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-12-14 00:53:47 +00:00
Damien Doligez
Alain Frisch
Jacques Garrigue
Gabriel Scherer
Xavier Leroy
Luc Maranget
Pierre Weis
Wojciech Meyer
Benedikt Meurer
Xavier Clerc
Fabrice Le Fessant