Jacques Garrigue
|
40b7f8f848
|
clean-up moregeneral_row
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-08 07:19:11 +00:00 |
|
Jacques Garrigue
|
042d5a63ff
|
fix Brian Smith's class constraint problem (caml-list 2002-07-07)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-08 05:59:51 +00:00 |
Pierre Weis
|
a829d1d7d6
|
Using formats %S and %C.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-27 09:27:14 +00:00 |
|
Jacques Garrigue
|
cf97530787
|
remove dead code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 23:48:44 +00:00 |
Xavier Leroy
|
e308b5656f
|
Amelioration messages d'erreur (PR#1158)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 13:57:09 +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
|
4a9e0cb904
|
remove coercion warning, add it only on error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-12 09:52:08 +00:00 |
|
Jacques Garrigue
|
d13715755c
|
clean-up of universal and recursive types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-10 02:39:35 +00:00 |
|
Jacques Garrigue
|
6b8a377e3b
|
correctly check recursive abbreviations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-10 02:38:31 +00:00 |
|
Jacques Garrigue
|
8b0560488e
|
fix PR#1191
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-09 10:26:15 +00:00 |
|
Jacques Garrigue
|
a5fd3bb206
|
PR#1189: handle names in update_level
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-07 23:08:33 +00:00 |
|
Xavier Leroy
|
7c3f451166
|
Ajout flag dont_write_files pour ocamldoc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-07 08:03:46 +00:00 |
|
Xavier Leroy
|
363427a872
|
Suppression de la memoization des chemins de la forme F(M), qui est semantiquement incorrecte si F est un parametre de foncteur (PR#1180)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-06 08:02:43 +00:00 |
|
Jacques Garrigue
|
082377df68
|
final cleanup of build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-04 07:37:19 +00:00 |
|
Jacques Garrigue
|
685a839af6
|
handle correcty delayed binding mode in types and patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-03 07:33:48 +00:00 |
|
Jacques Garrigue
|
c3f8585a18
|
must check recursion on constructors in build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-02 09:06:51 +00:00 |
|
Jacques Garrigue
|
7adf53a19b
|
error message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-31 13:56:25 +00:00 |
|
Jacques Garrigue
|
3a33e519eb
|
no need to restrict arrow subtyping anymore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-31 03:11:07 +00:00 |
|
Jacques Garrigue
|
21e57202d4
|
limit enlarge_type to 2 expansions involving object/variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4862 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-30 06:24:45 +00:00 |
|
Jacques Garrigue
|
3c3f028a73
|
change approach for slow subtyping, use counter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-29 14:29:57 +00:00 |
|
Jacques Garrigue
|
418790e32b
|
restrict recursion in enlarge_type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-29 12:34:20 +00:00 |
Damien Doligez
|
db702a9f31
|
toujours imprimer les tuples avec des parentheses
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-28 16:53:51 +00:00 |
Luc Maranget
|
588f1bf2ba
|
la nuit porte conseil, traitement correct des #t et des variants absents dans satisfiable et every_satisfiable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-27 08:04:03 +00:00 |
|
Jacques Garrigue
|
3751d24d01
|
unused match warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4838 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-27 03:09:18 +00:00 |
|
Jacques Garrigue
|
4ad2a0f0f2
|
fix again PR#1137
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-25 22:46:39 +00:00 |
|
Luc Maranget
|
d008daf24e
|
a zut, j ai commis un bug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-24 15:35:25 +00:00 |
|
Luc Maranget
|
842eb76ef7
|
Nouveaux warning dans les or-pats
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-24 14:34:37 +00:00 |
|
Jacques Garrigue
|
6c7910573e
|
a bit cleaner
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4827 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-17 08:40:15 +00:00 |
|
Jacques Garrigue
|
81d641867f
|
check_unused_variant -> finalize_variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-17 08:29:49 +00:00 |
|
Jacques Garrigue
|
d97864a3f7
|
correct scope bug in Typedtree.alpha_pat
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-17 03:58:35 +00:00 |
|
Jacques Garrigue
|
bcef7b48e0
|
strange bug revealed by searchpos.ml ?!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-16 10:36:10 +00:00 |
|
Jacques Garrigue
|
707cb4c515
|
delay some checks for warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-16 10:18:51 +00:00 |
|
Jacques Garrigue
|
65b012157a
|
eager unification on variants with one tag
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-16 10:17:47 +00:00 |
|
Jacques Garrigue
|
544ee58f25
|
fix PR#1151
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-13 06:56:08 +00:00 |
|
Pierre Weis
|
52d75a5e19
|
Introducing format %C and %S to print (and read) strings and chars
with escaped and delimitors (as Objective Caml tokens).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-12 18:37:49 +00:00 |
|
Pierre Weis
|
c00140c75d
|
Completing implementation of char sets into scanf.ml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-09 18:26:44 +00:00 |
|
Jacques Garrigue
|
fa704a8e7b
|
do not check row_bound for free schemes (PR#1137)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-07 03:21:12 +00:00 |
|
Jacques Garrigue
|
6700412bae
|
do not share expansions of #-types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-18 08:06:13 +00:00 |
|
Jacques Garrigue
|
0a8236066f
|
vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-18 07:27:47 +00:00 |
|
Jacques Garrigue
|
98ca2c1b3e
|
make it clearer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-18 03:44:44 +00:00 |
|
Jacques Garrigue
|
08968d669c
|
normalize more
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-15 02:11:32 +00:00 |
|
Jacques Garrigue
|
c5a2036429
|
normalize for multiple files and trim cmi size
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-04 22:19:02 +00:00 |
|
Jacques Garrigue
|
a35fbd9077
|
forget row_bound
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-04 13:43:11 +00:00 |
|
Jacques Garrigue
|
cc80242179
|
normalize signatures before saving
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-04 03:49:58 +00:00 |
|
Xavier Leroy
|
73ce0ac808
|
Simplifier lors de l'affichage les declarations val et exception redondantes dans les signatures inferees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-03-12 12:35:10 +00:00 |
|
Jacques Garrigue
|
b86c3f21e9
|
forget_abbrev avait l'air faux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-14 08:45:57 +00:00 |
Daniel de Rauglaudre
|
9a6488158c
|
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-13 13:08:57 +00:00 |
|
Daniel de Rauglaudre
|
50fa875408
|
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-13 12:51:21 +00:00 |
|
Daniel de Rauglaudre
|
1a2ab84a39
|
ajoute interface pour oprint
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-13 12:17:56 +00:00 |
|
Daniel de Rauglaudre
|
50161b7513
|
Regroupement des impressions "outcometree" dans un seul module oprint.ml.
Ajout de hooks de print dans toploop.mli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-13 11:09:19 +00:00 |