Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7,536 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

7536 Commits (7120d35edea9b75d573e4b61ad337e6e66a0fa00)

Author SHA1 Message Date
Jacques Le Normand 7120d35ede exhaustiveness check is working. An algorithm te check compatibility has been implemented for use during unification. For example, int is incompatible with bool and (int,bool) is incompatible with (int,int) 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-10-16 06:09:25 +00:00
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