Jacques Garrigue
|
fe592824fc
|
ameliore? typage des variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-08-14 09:04:43 +00:00 |
|
Jacques Garrigue
|
e9c6054e8b
|
revert to try_expand_head in Ctype.occur_rec (bug report by skaller)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-08-09 11:47:57 +00:00 |
|
Jacques Garrigue
|
af0591973a
|
fix PR#1744
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-08 10:01:10 +00:00 |
|
Jacques Garrigue
|
580fb97a7f
|
exemple de mauvaise recursion
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-03 10:01:17 +00:00 |
|
Jacques Garrigue
|
c43e3a3d6e
|
more tests
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-06-30 08:09:21 +00:00 |
|
Jacques Garrigue
|
1ab03c1342
|
add cycle test
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-08 01:43:19 +00:00 |
|
Jacques Garrigue
|
d385c34635
|
bug fixes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-03-26 08:23:33 +00:00 |
|
Jacques Garrigue
|
2872acb145
|
format
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-03-26 07:56:22 +00:00 |
|
Jacques Garrigue
|
33c042b216
|
output format changes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5441 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-03-20 07:34:48 +00:00 |
|
Jacques Garrigue
|
4011817915
|
Relax the value restriction
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-12-03 02:57:23 +00:00 |
|
Jacques Garrigue
|
0f434a2e17
|
corrige PR#1374: univar aliasee en variable de rangee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-09-07 01:36:08 +00:00 |
|
Jacques Garrigue
|
857e508c69
|
version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-08-07 05:54:46 +00:00 |
|
Jacques Garrigue
|
5495a20a08
|
add record check
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-08-02 01:21:07 +00:00 |
|
Jacques Garrigue
|
f60469b8c8
|
add class constraint test
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-08 05:58:50 +00:00 |
|
Jacques Garrigue
|
a3c76a6264
|
improve error messages
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 10:47:33 +00:00 |
|
Jacques Garrigue
|
b421751765
|
update expected results
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4928 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 08:50:52 +00:00 |
|
Jacques Garrigue
|
367510618f
|
regression tests
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-16 14:46:24 +00:00 |