Jacques Garrigue
|
d8f8f9ee3b
|
keep the text width to 80 columns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-31 08:07:31 +00:00 |
Fabrice Le Fessant
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
875aab099e
|
revert wrong commit of experiments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-23 07:17:42 +00:00 |
|
Jacques Garrigue
|
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 |
Alain Frisch
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
|
Alain Frisch
|
ece3353035
|
#5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-12-14 10:26:15 +00:00 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
d89c73b659
|
allow using Printyp.raw_type_expr in Btype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-07-29 01:39:09 +00:00 |
Damien Doligez
|
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 |
|
Damien Doligez
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
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 |
Jacques Le Normand
|
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 |
|
Jacques Le Normand
|
a1910000e3
|
fixed bug in syntax extension. Made unification of variants and objects local. Removed personal comments
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-19 05:24:36 +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
|
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
|
8e60370dbb
|
distinguish conflicting identifiers with same name (PR#4716)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-04-30 07:11:27 +00:00 |
|
Damien Doligez
|
bfdf476b69
|
merge last changes from 3.11 branch (rev 10307)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-04-26 12:54:11 +00:00 |
|
Alain Frisch
|
1e5b4a4857
|
Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.
Adapt the Changes file. Bump magic numbers. Bootstrap.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2009-10-26 10:53:16 +00:00 |
|
Jacques Garrigue
|
671013f72a
|
distingue expansions publiques et privees dans le cache
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2008-07-19 02:13:09 +00:00 |
|
Damien Doligez
|
9ea5edac9a
|
merge changes 3.10.0 -> 3.10.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2008-01-11 16:13:18 +00:00 |
|
Jacques Garrigue
|
8c5ed4dd1f
|
corrige rangees privees apres introduction abbreviations privees par PW
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2007-10-18 03:38:28 +00:00 |
Pierre Weis
|
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 |
|
Jacques Garrigue
|
d78838fdd3
|
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2007-02-16 11:18:54 +00:00 |
|
Damien Doligez
|
1279ab4b76
|
fusion des changements 3.09.1 -> 3.09.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2006-04-16 23:28:22 +00:00 |
|
Jacques Garrigue
|
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 |
|
Damien Doligez
|
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 |
|
Jacques Garrigue
|
83c0f7bb46
|
fix merge problems with 3.08.4 (PR#3758)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2005-08-16 00:48:56 +00:00 |
|
Damien Doligez
|
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 |
|
Jacques Garrigue
|
eb57cd1912
|
pas de conflit avec 3.08.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2005-03-25 00:42:54 +00:00 |
|
Damien Doligez
|
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 |
|
Jacques Garrigue
|
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 |
|
Jacques Garrigue
|
ca3abc51a8
|
fix poly method printing
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2005-03-10 08:19:22 +00:00 |
|
Jacques Garrigue
|
2b9fbaf3c0
|
print variance only when needed
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-12-09 12:51:55 +00:00 |
|
Jacques Garrigue
|
972209dd6b
|
fix variance bug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-12-09 12:40:53 +00:00 |
Xavier Leroy
|
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 |
|
Xavier Leroy
|
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 |
|
Jacques Garrigue
|
51c870d62e
|
messages d'erreur plus courts et plus explicites
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-04-27 07:37:30 +00:00 |
|
Jacques Garrigue
|
c1d371aa3e
|
seules les methodes publiques peuvent etre implicitement polymorphes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-01-27 07:06:54 +00:00 |
|
Jacques Garrigue
|
f2095623ff
|
fast and compact classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-25 09:20:45 +00:00 |
|
Jacques Garrigue
|
303ca193e8
|
tools for debugging the type checker
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-07 01:07:32 +00:00 |
|
Xavier Leroy
|
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 |