Jacques Garrigue
|
b1bff2927c
|
Rend build_subtype plus intelligent.
Incompatibilite' potentielle.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-23 08:08:34 +00:00 |
|
Jacques Garrigue
|
3f25c1ae23
|
documente -verbose
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-23 08:06:39 +00:00 |
Damien Doligez
|
58d366e78a
|
doc change PR#142
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-17 14:28:36 +00:00 |
|
Damien Doligez
|
560a52cfe7
|
PR#139
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-14 18:21:07 +00:00 |
|
Jacques Garrigue
|
833da5e199
|
pas de | dans les listes de tags
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-14 10:01:44 +00:00 |
|
Jacques Garrigue
|
e9b78ef13f
|
for 3.00
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-14 02:33:45 +00:00 |
|
Jacques Garrigue
|
ea2bc758b4
|
check for impossible variant tag in pattern
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-13 09:41:06 +00:00 |
|
Jacques Garrigue
|
c40e874663
|
utilise Ident.bl pour toplevel_name
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-13 07:00:14 +00:00 |
|
Jacques Garrigue
|
16f4149bc7
|
plus de polymorphisme pour as et with
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-13 06:59:29 +00:00 |
|
Jacques Garrigue
|
5a5f0fe989
|
garde les memes noms, mais espaces differents
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-12 14:22:37 +00:00 |
|
Jacques Garrigue
|
bbb09e97c2
|
PR #138
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-12 07:07:01 +00:00 |
|
Jacques Garrigue
|
ae377addc1
|
call Parmatch.check_unused before other unifications
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-12 06:39:32 +00:00 |
|
Jacques Garrigue
|
402fa47bfd
|
utilise Ident.unique_name plutot que Ident.name pour les globaux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-12 05:23:11 +00:00 |
|
Jacques Garrigue
|
73be8e29a5
|
utilise approx_type dans type_approx
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-12 05:22:13 +00:00 |
|
Jacques Garrigue
|
1b1e463092
|
Simpifie les types de variantes, change le typage des matchings ouverts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-11 14:34:10 +00:00 |
Jun FURUSE / 古瀬 淳
|
6ed65e0522
|
X Color must be unsigned, Caml color can be negative (i.e. -1 = transparent)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-07 16:32:50 +00:00 |
|
Jun FURUSE / 古瀬 淳
|
cadb9fc8f5
|
added test for transparent color drawing
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-07 16:31:58 +00:00 |
|
Jacques Garrigue
|
9e4ac3298c
|
add shell restart
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-07 07:12:46 +00:00 |
|
Jacques Garrigue
|
874e4e62e1
|
refine entry and text state
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-07 07:12:20 +00:00 |
|
Jacques Garrigue
|
a7106ca9f8
|
nbdm portability
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 13:28:14 +00:00 |
Xavier Leroy
|
18fd4e7ab8
|
Rectification generateur HPPA pour supprimer warning de compatibilite (PR#125)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 12:32:11 +00:00 |
|
Xavier Leroy
|
9142defa7c
|
Ajouter les libs C specifiees dans le .cma meme si aucun bytecode du .cma n'est linke
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 12:19:50 +00:00 |
|
Xavier Leroy
|
3800406560
|
Avec -use-runtime, supprimer le fichier temporaire apres usage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 12:19:03 +00:00 |
|
Xavier Leroy
|
11a999bfe3
|
Erreur si primitive a > 5 arguments sans seconde fonction C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 12:18:30 +00:00 |
|
Xavier Leroy
|
b392e6ee87
|
Mettre l'option REUSEADDR sur la socket serveur dans establish_server
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 12:18:02 +00:00 |
|
Jacques Garrigue
|
117bc6b80b
|
sort modules ignoring case
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-05 05:44:59 +00:00 |
|
Xavier Leroy
|
d2fa190353
|
Corrige bug dans phrases toplevel enchainees (ex: let x = 1 let y = x+1)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-04 15:13:42 +00:00 |
|
Xavier Leroy
|
fbaf7ee3f5
|
Reconnaitre if <cond> then <nonexp> else <nonexp> comme non-expansive (demande de Luc); nettoyages dans Typecore.is_nonexpansive
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-01 13:14:36 +00:00 |
|
Jacques Garrigue
|
0f6571dd22
|
correctly print equality constraint between type parameters
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-25 03:09:28 +00:00 |
|
Jacques Garrigue
|
43991e0a52
|
check recursive use of parameters in type abbreviations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-25 02:09:13 +00:00 |
|
Jacques Garrigue
|
1ae2e2724a
|
comment
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-25 02:08:23 +00:00 |
Pierre Weis
|
2dfad7aeef
|
Typo.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 14:32:25 +00:00 |
|
Jacques Garrigue
|
5c8badadbc
|
bootstrap required
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 08:19:02 +00:00 |
|
Jacques Garrigue
|
62932a7cae
|
already found a bug...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 08:06:33 +00:00 |
|
Jacques Garrigue
|
09857eb69f
|
3.00+5: delay constraint checking in type declarations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 06:19:39 +00:00 |
|
Jacques Garrigue
|
d6fc16fed8
|
bug fixes: PR#128,#109,#112,#117,#127
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 01:25:42 +00:00 |
|
Jacques Garrigue
|
8ca77cdca9
|
PR#127
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-24 00:59:42 +00:00 |
|
Xavier Leroy
|
c79bcb3344
|
Bug dans modif precedente (liaisons toplevel)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3172 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-23 07:21:27 +00:00 |
|
Pierre Weis
|
e8658a1a37
|
Petites modifs (typos).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-22 14:57:26 +00:00 |
|
Xavier Leroy
|
833eb26c39
|
On peut mettre autant de constructeurs constants que l'on veut, seul le nombre de constructeurs nonconst est limite par Config.max_tag (PR#117, PR#118)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-22 08:24:05 +00:00 |
|
Jacques Garrigue
|
cb76423d18
|
reset Arg module in run_script
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-22 00:59:13 +00:00 |
|
Pierre Weis
|
34d04d0aed
|
Le fichier graph_test tente d'essayer bon nombre des primitives de graphics.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-17 12:14:32 +00:00 |
|
Jacques Garrigue
|
1caceba312
|
passe demo.ml en mode classique
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-17 00:19:09 +00:00 |
|
Xavier Leroy
|
6d57cf7461
|
Threads natifs pour OpenBSD. Chercher ndbm.h dans /usr/include/db1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-16 16:38:05 +00:00 |
|
Xavier Leroy
|
7def4b472a
|
Revu la compilation des liaisons toplevel (utiliser une table de hash au lieu des globaux pour permettre la recuperation memoire des liaisons masquees)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-16 16:19:04 +00:00 |
|
Xavier Leroy
|
221c25753b
|
Ajout d'une fonction de comparaison sur les channels (necessaire entre autres pour Unix.close_process*)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-16 09:11:51 +00:00 |
|
Xavier Leroy
|
e09e3ba7c7
|
Revu substitution des signatures et modtypes pour eviter les captures de variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-16 06:28:21 +00:00 |
|
Xavier Leroy
|
7092eeb82b
|
Ajout de Ident.rename
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-16 06:27:44 +00:00 |
|
Jacques Garrigue
|
57460efca2
|
pthreads/FreeBSD
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-15 13:34:06 +00:00 |
|
Xavier Leroy
|
3a47393406
|
Debugging des tests de bornes lors des acces aux sous-chaines (PR#96)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-05-15 11:50:42 +00:00 |