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
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
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
015739ac70
fix formatting of copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-01 12:09:31 +00:00
b7271628a2
fix TABs and whitespace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 11:52:38 +00:00
4ea3208584
fix encoding bugs by replacing all non-ASCII characters
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30 09:48:32 +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
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
f0b95f3349
Keep locations for exception declaration. This gives better error messages and paves the way to #5524 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06 19:03:17 +00:00
1680403fb9
clean up
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-10 06:01:27 +00:00
f368f4e0d5
allow variance in GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08 06:59:46 +00:00
304dba8a0f
removed Type_variant, fixed bug in GADT exhaustive check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 04:02:02 +00:00
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
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
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
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
ef3cb8bf2d
handle typeof in expression 'include module type of longident', even if output result in 'include longident'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-19 16:59:55 +00:00
f8a0a241cc
handle 'module type of' in structs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-19 16:48:42 +00:00
5b2243c06d
handle 'module type of' expressions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-19 16:34:13 +00:00
46270b5934
factorize some code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-19 14:42:21 +00:00
ab550592ef
Adding "module type of <module-expr>" in the class of <module-type>.
...
Merge of branches/moduletypeof -r 9636:10226
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-02 12:53:33 +00:00
a6ae8b88a5
fix bug #4585 and handle virtual flag for class value in all generators
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-23 08:55:36 +00:00
59e0723455
It works: compilers and camlp4 are fully bootstrapped. The ast magic number is not yet changed.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-09 10:29:37 +00:00
f700284aac
fusion des changements 3.09.3 -> release309_merge310
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-09 13:31:15 +00:00
602146f892
add virtual instance variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-05 02:28:13 +00:00
125ea40d4c
fusion 3.09.0 -> 3.09.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04 16:55:50 +00:00
a4a3c10e70
fusion des modifs de 3.08.4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-13 20:59:37 +00:00
e6007f6057
fusion des changements jusqu'a 3.08.3
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 17:20:54 +00:00
ef396b4e5a
merge fixedtypes branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-23 03:08:37 +00:00
6f3977d7a2
use locations in variant to associate comments correctly
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-03 09:31:19 +00:00
b3a50ac0ed
add location info in Ptype_variant and Ptype_record
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-10-06 13:06:11 +00:00
63c1789b5e
Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:25:21 +00:00
762a006652
Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
1ac475fbbe
add the kind to module parameters (the way the parameter was build in the parsetree), use this in html and latex generation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-02 15:10:58 +00:00
df89e7e0d2
improve display of functor parameters, added mp_type_code field to functor parameter
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-03-26 09:09:50 +00:00
702b6e7680
use buffers for latex generation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-03-24 10:37:10 +00:00
86b9550fa1
OK - fix: html generator: included module names were displayed with their simple
...
name rather than their fully qualified name
OK - fix: use a formatter from a buffer rather Format.str_formatter in
Odoc_mist.sting_of_module_type, to avoid too much blanks
- add odoc_test.ml to use in the ocamldoc test suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-20 16:28:27 +00:00
02418c8d09
add: m_code_intf and m_code fields for modules, fit when the
...
Odoc_args.keep_code option is set, and fit for all modules, not
only toplevel onesé
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-18 14:26:14 +00:00
57fd501b0b
fix: bug preventing to get the code in a .mli
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-28 13:17:55 +00:00
0d5a86e520
added $Id$ keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5973 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-24 10:44:07 +00:00
aabdb2aac0
OK - add: the HTML generator generates the code of the module if available
...
OK - add: field m_code for modules, to keep the code of top modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 13:37:38 +00:00
922ce3d7c9
fix display of include directives and comments associated to include directives are not kept and displayed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5941 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 12:46:30 +00:00
d10e45fd95
Affichage des variances des parametres de types semble ok
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-05 15:40:12 +00:00
62e030d764
added field ex_code to exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-04 11:39:50 +00:00
a1434b7470
gestion des types private
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-04 09:31:03 +00:00
3e4bf9252b
Revu representation des declarations de type private
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 09:14:35 +00:00
c88d7a44e3
handling recurive modules in ocamldoc seems ok
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-27 13:40:41 +00:00
1fa763e0c5
Merge branch with recursive modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19 15:53:53 +00:00
f265de877e
added ty_code field to types information in ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-13 11:40:31 +00:00
e77055aad9
Complete move from virtual to private for concrete types with private
...
constructors (or labels).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-01 22:22:37 +00:00
Jacques Garrigue
Damien Doligez
Fabrice Le Fessant
Alain Frisch
Jacques Le Normand
Maxence Guesdon
Xavier Leroy
Pierre Weis
Basile Starynkevitch