313877fac9
Include test/basic in the "all-basic" target.
2015-10-26 10:32:48 +01:00
e88b2fbf69
testsuite/Makefile: subset targets all-{basic,lib,typing,tool}
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 16:24:49 +00:00
54e039901e
GPR#42: Add simpler functor type syntax
...
(Leo White)
Add support for simple functor types of the form:
S -> T
equivalent to:
functor (_ : S) -> T
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 16:24:47 +00:00
8afbaa5747
New representation for queues, avoiding Obj.magic
...
(Jérémie Dimino)
- use inline-records to avoid using Obj.magic while keeping
indirections to the minumum
- change the representation from a cyclic list to a simply-linked
list. The drawback is one more word per queue, but it makes the
implementation clearer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 13:39:07 +00:00
2d9ff61b02
Improve the code generation for if equivalent to seqand or sequor
...
(Pierre Chambart)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 13:39:05 +00:00
b64bef1aa4
Fix few reference files in the test suite
...
(Florian Angeletti)
Update few reference files in tests/typing-gadt to cope with the
altered error message for non-refutable pattern, i.e. invalid use of
`| _ -> .`.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 12:06:38 +00:00
a335b18a45
merge branches/gadt-warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-23 08:33:44 +00:00
e27e699fca
GPR#173: Attributes to control inlining
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-23 08:18:08 +00:00
4984cd0f8f
PR#7022, GPR#259: unbox float and boxed ints earlier, avoid second pass.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-20 15:11:11 +00:00
c9f0dc9703
Get rid of warning 52.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-19 13:48:30 +00:00
41a8aa5771
PR#7012: hint when using [ 'A | 'B ] instead of [ B ]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-17 13:46:02 +00:00
211888ed03
Fix PR#6907: always mark all loops...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 15:00:46 +00:00
0e4d0e218b
test case for PR#6954
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 14:03:45 +00:00
8ff158b81c
Fix PR#6954: subtleties of expansion...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 14:03:04 +00:00
bea2f16ec8
Fix PR#7016: occur check must handle existing recursive types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 10:25:08 +00:00
e34f40ad87
switch to 'pat -> .' and add P/Texp_unreachable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-16 00:13:40 +00:00
4188f0543d
mark empty matches as Partial
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-15 15:59:28 +00:00
b784b65925
add distinct warning for unreachable cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-15 15:39:59 +00:00
aaeda7763b
#4800 : better compilation of tuple assignment (joint work Gabriel Scherer / Alain Frisch).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-15 12:07:08 +00:00
a09fb037ac
add refuted cases, syntax is 'pat -> _'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-15 01:55:52 +00:00
e6075fd1e3
recursive expansion for single cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-13 12:38:07 +00:00
cafbcaf785
tests/lib-threads/swapchan: sort results of nondeterministic test
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-12 15:11:14 +00:00
8463f6667f
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-12 09:44:51 +00:00
0a4f57d5b7
Fix PR#7012
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-10 07:22:35 +00:00
3d36df5781
minor comment fixes by Octachron
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-10 03:50:57 +00:00
fcb1eb35d2
Translation of french comments in testsuite
...
(user 'octachron')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-09 20:41:49 +00:00
3397e7ff16
GPR#243: Faster test suite
...
(Xavier Leroy)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-09 15:45:37 +00:00
4098845132
Don't allow "noalloc" together with [@@noalloc]
...
To avoid confusion about how the "noalloc" is to be interpreted if
both are present.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-06 10:58:28 +00:00
bd21592814
Deprecated warning for "float" and "noalloc"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-06 10:58:27 +00:00
380e66d6db
Add tests for [@@unboxed] and [@@noalloc]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-06 10:58:26 +00:00
62b89a3a5c
Replace uses of "noalloc" by [@@noalloc]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-06 10:58:22 +00:00
12f6a53937
GPR#250: Check for negative start element in Array.sub.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-05 09:02:05 +00:00
dfcc115f12
Consistently quoting quote and doublequote into string and character litterals.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-21 17:42:11 +00:00
571b7e49e6
Consistently quoting quote and doublequote into string and character litterals.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-21 17:40:50 +00:00
66dc0fc0fc
Add test case from PR#6992
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-18 13:51:41 +00:00
f5bf4bdce1
Fix PR#6993: allow recursive types when doing unification on GADT indices
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-18 09:55:18 +00:00
b860d63145
whitespace cleanup, cut long lines, add some missing headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-11 11:58:31 +00:00
ceb8ceca82
Fix PR#6985
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-10 02:34:04 +00:00
a0f6145be5
Fix PR#6944
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-09 09:17:02 +00:00
8873757fb1
partial fix of PR#5780
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-09 08:51:02 +00:00
65435149d2
Fix PR#6982
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-09 06:37:16 +00:00
eeced22d26
Use [intnat] instead of [long] in tests/unboxed-primitive-args
...
Because sizeof(long)=4 on Win64.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-08 15:29:33 +00:00
2db27c031b
Avoid generating huge files in tests/unboxed-primitive-args
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-08 15:29:31 +00:00
3b0837181f
make all
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-02 18:49:52 +00:00
9fb224a836
slightly more efficient redundancy check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-02 16:00:19 +00:00
e2c5a47a95
redundancy check now works / complement of exhaustiveness
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-02 10:03:02 +00:00
a5fbe184fb
do not add .result
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-02 08:54:45 +00:00
254ab1d1b6
check for unused cases due to GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-02 08:53:47 +00:00
0850ec49ce
Fix compilation of the unboxed-primitive-args test on arm32
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-26 09:12:33 +00:00
79978e5a39
Add a test for int64 unboxing
...
Especially, test that unboxing of int64 works correctly on 32 bit
platforms.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-25 16:18:52 +00:00
Xavier Leroy
Gabriel Scherer
Jacques Garrigue
Mark Shinwell
Alain Frisch
Damien Doligez
Jérémie Dimino
Pierre Weis