Jacques Garrigue
|
26e1ff7138
|
Merge short-paths into a fresh branch of trunk.
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-01-29 14:21:12 +00:00 |
|
Jacques Garrigue
|
1430e90e89
|
shorten paths in annot + lookup abbreviations in persistent structures
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-17 03:18:31 +00:00 |
|
Jacques Garrigue
|
2d4cb892dd
|
expand to simpler types
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-10 10:39:07 +00:00 |
|
Jacques Garrigue
|
c8273a179c
|
merge branches/record-disambiguation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-06 09:41:21 +00:00 |
|
Jacques Garrigue
|
17fc404e78
|
merge patch new-error.diff by lpw25
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-11-11 03:46:59 +00:00 |
Alain Frisch
|
e2729b2715
|
Replace commly used format strings into simple calls to format functions, to improve performance of .annot file generation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-11-07 10:50:14 +00:00 |
Damien Doligez
|
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 |
|
Jacques Garrigue
|
35185d610b
|
merge version/4.00 at revision 12866
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-08-21 07:10:35 +00:00 |
|
Damien Doligez
|
997a678d5e
|
clean up TABs and whitespace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-07-30 18:04:46 +00:00 |
|
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
|
de7262e181
|
prefer newest name + only update env after printing
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-04-19 06:23:14 +00:00 |
|
Jacques Garrigue
|
1d79bec5d0
|
build a map from internal paths to printed paths
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-04-11 05:50:08 +00:00 |
|
Jacques Garrigue
|
cb5189763f
|
remove opened modules in type paths
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-04-03 03:44:30 +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
|
91172c1d7b
|
disable shortening if Env.empty
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-24 01:33:47 +00:00 |
|
Jacques Garrigue
|
477b2dd743
|
propagate path-expansion environment everywhere
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-23 07:59:45 +00:00 |
|
Jacques Garrigue
|
cca2f50948
|
simpler approach for signatures
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-22 06:42:56 +00:00 |
|
Jacques Garrigue
|
21301af8c8
|
shorten paths in signatures and toplevel output
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-22 05:56:11 +00:00 |
|
Jacques Garrigue
|
50de05d31d
|
first attempt: handles only unification errors
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-22 03:15:14 +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 |