Xavier Leroy
|
e3a13861aa
|
MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-07 14:09:23 +00:00 |
|
Xavier Leroy
|
b00caa1790
|
Suite portage IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-07 14:09:06 +00:00 |
|
Xavier Leroy
|
c4303d0f65
|
Premier jet
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-07 13:55:02 +00:00 |
|
Xavier Leroy
|
b982c6a6f7
|
Suite experience scheduling post emission
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-06 20:56:16 +00:00 |
|
Xavier Leroy
|
440f78442b
|
Essai de scheduling apres emission -- incomplet!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-06 19:29:41 +00:00 |
|
Xavier Leroy
|
5b77735593
|
Suppression des loads et stores avec postincrement (probleme potentiel avec as -xauto)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-01 11:46:20 +00:00 |
|
Xavier Leroy
|
f029d9a546
|
Portage IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-07-01 07:47:19 +00:00 |
|
Xavier Leroy
|
176441f93b
|
Suite portage IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-30 16:37:42 +00:00 |
Jacques Garrigue
|
2e13c569bf
|
corrige PR#151
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-30 01:32:46 +00:00 |
|
Jacques Garrigue
|
3d77c514c3
|
ameliorations dans Typecore et Typeclass
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-30 01:32:17 +00:00 |
|
Xavier Leroy
|
018e774091
|
Premier jet du portage IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 11:46:14 +00:00 |
|
Xavier Leroy
|
1d9f64ec51
|
MAJ pour refleter les changements recents dans C--
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 11:45:24 +00:00 |
|
Xavier Leroy
|
68b5b9b5b5
|
Revu emit_stores pour pouvoir le redefinir pour certains processeurs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 11:44:36 +00:00 |
|
Xavier Leroy
|
7cf43583e4
|
Determination automatique du premier numero de register libre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 11:44:06 +00:00 |
|
Xavier Leroy
|
eca79e519a
|
Erreur de formattage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 11:43:46 +00:00 |
|
Jacques Garrigue
|
24d0d2bb79
|
raffinement du typage des as-patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-29 09:11:42 +00:00 |
|
Jacques Garrigue
|
876df83f6b
|
print constraints correctly
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-28 05:47:42 +00:00 |
|
Jacques Garrigue
|
c136e5d1db
|
plus prudent dans build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-26 03:11:09 +00:00 |
|
Xavier Leroy
|
07039ae56d
|
MAJ suite aux modifs recentes sur C--
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-25 19:54:50 +00:00 |
Damien Doligez
|
b6c2d415c7
|
MacOS: ASCII seulement (PR#147) + deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-06-23 15:08:43 +00:00 |
|
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 |