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 |
|
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 |