Jacques Le Normand
|
f24d678e39
|
bootstrapped camlp4 gadts extension
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-12 11:33:41 +00:00 |
|
Jacques Le Normand
|
d2fedeb703
|
updated addlabels.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-12 09:41:49 +00:00 |
Jacques Garrigue
|
e67c5db33f
|
move everything to type_expect
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-12 03:09:11 +00:00 |
|
Jacques Garrigue
|
73102f0fdf
|
disable progragation in pattern-matchings containing polymorphic variants
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-11 10:02:56 +00:00 |
|
Jacques Garrigue
|
e9127a1d27
|
fix principality
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-11 05:42:14 +00:00 |
|
Jacques Le Normand
|
db23f943c9
|
working bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-11 04:35:18 +00:00 |
|
Jacques Garrigue
|
b0f376cd1f
|
remove the GAHs
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10785 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-10 10:38:18 +00:00 |
|
Jacques Le Normand
|
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 |
|
Jacques Le Normand
|
e5c079a709
|
changed formatting. lines which were more than 80 columns were reformatted in typecore.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10783 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 09:29:08 +00:00 |
|
Jacques Le Normand
|
45c46a5032
|
cleaned up parmatch.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 09:13:15 +00:00 |
|
Jacques Le Normand
|
567c7e395b
|
cleaned up ctype
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 08:41:54 +00:00 |
|
Jacques Le Normand
|
62d4c44d25
|
cleaned up typecore.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 08:21:44 +00:00 |
|
Jacques Le Normand
|
43a76b7b42
|
cleaned up typecore, made the location mandatory in type_cases
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10779 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 07:11:08 +00:00 |
|
Jacques Le Normand
|
c6ab927e41
|
added a test case
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 07:04:10 +00:00 |
|
Jacques Le Normand
|
e494cfa4c4
|
small cleanup in unify
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 06:49:21 +00:00 |
|
Jacques Garrigue
|
a802a29282
|
principality
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10776 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 06:24:44 +00:00 |
|
Jacques Garrigue
|
1bcd80bdf9
|
principality
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10775 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-09 06:23:53 +00:00 |
|
Jacques Le Normand
|
4a4e69bf1b
|
fixed bug in parmatch.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 10:19:29 +00:00 |
|
Jacques Le Normand
|
36734b7536
|
cleaned up parmatch.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 09:58:09 +00:00 |
|
Jacques Garrigue
|
bf53838e2a
|
check GADT return type
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10772 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 09:18:45 +00:00 |
|
Jacques Le Normand
|
ad30b17be1
|
updated references to Tpat_record to accomodate the extra field
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 09:14:57 +00:00 |
|
Jacques Le Normand
|
1d3797436e
|
small cleanup
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 08:54:26 +00:00 |
|
Jacques Le Normand
|
fbecef283e
|
fixed bug in parmatch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10769 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 08:43:57 +00:00 |
|
Jacques Le Normand
|
c17e2ffeda
|
fragile check now works with gadts
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 08:11:07 +00:00 |
|
Jacques Garrigue
|
ede1f3fcef
|
only consider variables appearing in parameters
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10767 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 08:10:18 +00:00 |
|
Jacques Le Normand
|
727e447d0d
|
variance of underscore type arguments can now be specified
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10766 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 07:53:23 +00:00 |
|
Jacques Le Normand
|
5de2dedc1c
|
updated parmatch.ml to new Type_variant type_kind
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 07:38:46 +00:00 |
|
Jacques Le Normand
|
ff78b8ee75
|
exhaustiveness check has been _completely_ rewritten
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10764 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 07:34:09 +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 |
Alain Frisch
|
f537ba28b0
|
Adding String.iteri.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10762 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-05 08:15:36 +00:00 |
|
Alain Frisch
|
a5628ad725
|
Adding List.iteri/mapi.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10761 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-05 08:10:59 +00:00 |
|
Jacques Le Normand
|
916a46a4ad
|
improved principal
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-05 04:15:22 +00:00 |
|
Jacques Le Normand
|
eb71566e57
|
fixed bug in genprintval
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 08:21:49 +00:00 |
|
Jacques Le Normand
|
8728758793
|
fixed small bug in typecore
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 08:18:27 +00:00 |
|
Jacques Le Normand
|
9aa498aa17
|
Complete propagation to patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 08:06:43 +00:00 |
|
Jacques Le Normand
|
5244860f3f
|
local_constraint flag now works
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 07:10:37 +00:00 |
|
Jacques Le Normand
|
6fd8a9a590
|
using old unification when there are no local constraints
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 05:33:29 +00:00 |
|
Jacques Le Normand
|
6f151a0f95
|
environment local constraint marker
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-01 05:09:36 +00:00 |
|
Jacques Le Normand
|
ec375d6e40
|
principal works better now
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-31 03:20:51 +00:00 |
|
Jacques Le Normand
|
6a384f2536
|
fixed bug in mcomp and made it more refined
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10752 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-29 08:23:33 +00:00 |
|
Jacques Le Normand
|
3aa828735d
|
existentials now created at the pattern level
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-29 06:54:24 +00:00 |
|
Jacques Le Normand
|
def32e279f
|
performs a little better for principality
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10750 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-28 09:49:16 +00:00 |
|
Jacques Le Normand
|
c6f6312d36
|
fixed bug in unification
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-28 04:16:10 +00:00 |
|
Jacques Le Normand
|
f75820792d
|
mcomp is now smarter
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-27 11:16:21 +00:00 |
|
Jacques Le Normand
|
fad8e4de6f
|
fixed bug in exhaustiveness check
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10747 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-27 09:52:38 +00:00 |
|
Jacques Le Normand
|
4c86d56280
|
fixed bug
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10746 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-27 09:08:14 +00:00 |
|
Jacques Garrigue
|
7b77119b04
|
partial instances
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10745 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-27 08:04:14 +00:00 |
|
Jacques Le Normand
|
7f2fa29cf9
|
local unification now goes from oldest newtype to newest newtype; in practice this has little effect. Cleaned up unification a little
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10744 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-26 04:34:09 +00:00 |
|
Jacques Le Normand
|
7990b0c801
|
made gadts test reference
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-25 08:29:19 +00:00 |
|
Jacques Le Normand
|
c2777a43d0
|
merged with trunk. specifically, merged with implicit unpack patch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-25 08:19:48 +00:00 |