Jacques Le Normand
|
59aac4bda6
|
fixed bug for ident substitution in gadt exhaustion check. Optimized exhaustion check.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 09:08:15 +00:00 |
Jacques Garrigue
|
30ca9d3bbe
|
use row for objects in eqtype
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10711 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 09:07:13 +00:00 |
|
Jacques Le Normand
|
6095a598af
|
fixed bug in ctype where the existential type declaration was not added to the environment
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10710 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 08:45:37 +00:00 |
|
Jacques Le Normand
|
5333f52d7c
|
moved things into constructor_description
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 08:31:59 +00:00 |
|
Jacques Le Normand
|
dbfe9c5040
|
exhaustiveness checking for GADTs is now as complete as I am going to get
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10708 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 07:30:11 +00:00 |
|
Jacques Le Normand
|
ffc7d7ccec
|
first implementation of gadt friendly pattern exhaustiveness check. It is incomplete and untested. Also, some types are now incompatible
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 07:12:50 +00:00 |
|
Jacques Le Normand
|
4d5f7f2af5
|
fixed small bug for levels of reified types in patterns and cleaned up ctype
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-04 08:38:22 +00:00 |
|
Jacques Le Normand
|
6f05398661
|
should have been in last commit
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-01 05:44:11 +00:00 |
|
Jacques Le Normand
|
b4259503a4
|
removed variance from ellided type variables on the premise that they will only be used with GADTs, which are as of now invariant. fixed just introduced transl_declaration bug
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-01 05:43:41 +00:00 |
|
Jacques Le Normand
|
fb31d60908
|
reverted transl_simple_type to its original definition in revision 1660 and used narrow and widen instead
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-01 04:57:43 +00:00 |
|
Jacques Le Normand
|
6b47423629
|
ocamldoc now updated. odoc_sig.ml was changed from revision 1660
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-01 03:44:47 +00:00 |
|
Jacques Le Normand
|
7af69814ac
|
camlp4 now updated, but completely untested. I reverted camlp4 back to revision 10660 and then changed it from there
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-01 02:46:07 +00:00 |
|
Jacques Le Normand
|
7fa09d99e3
|
type equality for objects seem to change slightly with this new unification algorithm
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-30 07:46:10 +00:00 |
|
Jacques Le Normand
|
3d167a90ec
|
one more time
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-28 05:48:37 +00:00 |
|
Jacques Le Normand
|
040c184c21
|
# patterns further fix
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-28 05:16:01 +00:00 |
|
Jacques Le Normand
|
12e40d494b
|
can now handle # patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-28 05:02:47 +00:00 |
|
Jacques Le Normand
|
b78320d2b8
|
cleaned up most whitespace/newline additions
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10691 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-27 06:24:35 +00:00 |
|
Jacques Le Normand
|
b2c9e42361
|
fixed bug, ocamlopt now works
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10690 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-27 05:38:32 +00:00 |
|
Jacques Le Normand
|
790d987be5
|
small cleanup
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-22 08:48:33 +00:00 |
|
Jacques Le Normand
|
5a750b3e54
|
existentials are now treated correctly in patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-22 07:52:36 +00:00 |
|
Jacques Le Normand
|
10214937fe
|
fixed several bugs, bootstrap finally works!
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-22 07:04:22 +00:00 |
|
Jacques Le Normand
|
0d03cf9e9b
|
do not use univars in fixed instances
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-21 07:25:08 +00:00 |
|
Jacques Le Normand
|
a8a5d86f67
|
made type parameters ellidable in type declarations
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-21 05:30:25 +00:00 |
|
Jacques Le Normand
|
4524b78b65
|
fixed bug when checking tuples
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-19 05:12:32 +00:00 |
|
Jacques Le Normand
|
56624533fb
|
switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-19 04:55:40 +00:00 |
|
Jacques Le Normand
|
8fc4a75a01
|
unbound parameter fix
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-13 06:18:22 +00:00 |
|
Jacques Le Normand
|
415592ed0c
|
minor changes
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-13 05:31:55 +00:00 |
|
Jacques Le Normand
|
6de25fef2f
|
first commit
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-13 05:28:30 +00:00 |
|
Jacques Garrigue
|
4fd6cd8275
|
use free univars for explicit polymorphic types
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-31 06:34:43 +00:00 |
|
Jacques Garrigue
|
9a053e7fd8
|
for Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-30 04:57:49 +00:00 |
Maxence Guesdon
|
9498d009f0
|
prop svn:ignore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-24 11:49:26 +00:00 |
|
Maxence Guesdon
|
66b02ccfba
|
add some custom html generators
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-24 11:48:46 +00:00 |
|
Maxence Guesdon
|
0936bb2811
|
use first-class modules to allow composition of custom generators
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-24 09:45:45 +00:00 |
Damien Doligez
|
575555eecd
|
merge changes from branching of 3.12 to release/3.12.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-08-02 14:37:22 +00:00 |
Mark Shinwell
|
7c11c2acf9
|
add -liberty to LIBBFD_LINK
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-07-13 09:22:44 +00:00 |
Didier Rémy
|
486270b604
|
Undoing last commit by error.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-29 12:15:52 +00:00 |
|
Didier Rémy
|
abf1ca980c
|
Fixed caml-help (would loose the position of the symbol search for).
Added highlighting of the symbol searched for.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-29 12:12:24 +00:00 |
Xavier Clerc
|
3eef7c687c
|
Test reference updated.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-18 12:23:16 +00:00 |
|
Xavier Clerc
|
9541ef1cd3
|
Force terminal to "DUMP" for reproducible test cases.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-18 10:27:40 +00:00 |
|
Xavier Clerc
|
8c927af142
|
Missing dependency.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-18 09:41:15 +00:00 |
Pierre Weis
|
49f84679d2
|
Spacing review: symboliques operators are surrounded with spaces, ":" are also surrounded by spaces not to confuse with labels (as exemplify by emacs coloration!).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-09 11:00:56 +00:00 |
|
Pierre Weis
|
e873deb417
|
Adding @since indications + spacing revision in documentation comments.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-09 10:19:06 +00:00 |
|
Damien Doligez
|
f0588f76fd
|
forgot to change VERSION after branching
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-07 15:17:18 +00:00 |
|
Pierre Weis
|
ef38d5bf94
|
Report corrections for ^^ from stdlib/pervasives.ml + PR#5062
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-04 16:46:06 +00:00 |
|
Pierre Weis
|
f5c2201cc0
|
PR#5062
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-04 16:44:08 +00:00 |
|
Maxence Guesdon
|
ef6ed63a78
|
change back for the bad quote introduced yesterday
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-04 05:37:50 +00:00 |
|
Maxence Guesdon
|
7262f444b9
|
fix output of html header
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-03 13:21:52 +00:00 |
Xavier Leroy
|
d8d8390f05
|
More prudent detection of natdynlink on MacOS 10.4 and 10.5
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-02 08:58:42 +00:00 |
|
Xavier Leroy
|
1ad3294362
|
natdynlink supported on Intel / MacOS 10.4 and 10.5 platforms
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-02 08:56:11 +00:00 |
|
Xavier Leroy
|
7fbcc30f3f
|
AMD64/MacOS X: wrong symbol names for caml_negf_mask and caml_absf_mask in -shared mode
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-06-02 08:55:35 +00:00 |