Jacques Garrigue
5dfbff7f5e
change variance syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 10:57:32 +00:00
Jacques Garrigue
4d30d52fb6
construit supertypes pour constructeurs contravariants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 05:13:09 +00:00
Jacques Garrigue
3d234f9659
patch par Didier le Botlan pour les commentaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 00:38:55 +00:00
Damien Doligez
ee0828c9c4
bug begin end
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06 14:18:32 +00:00
Jacques Garrigue
83ca813e4b
ajout des variances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06 10:21:07 +00:00
Jacques Garrigue
e477ccd225
relaxation de la semantique des effets de bords sur les parametres
...
optionels, pour permettre une compilation plus efficace.
modifie' translcore, typedtree, typecore, typeclass
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-04 08:49:32 +00:00
Damien Doligez
fad2c06db5
alpha-conversion pour eviter un clash bizarre sur Rhapsody
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-01 18:38:43 +00:00
Xavier Leroy
d89cd56af2
1- Ajout d'alpha-conversion dans substitute pour eviter les captures de variables accidentelles entre le corps d'une fonction inlinee provenant d'un autre module et un Ident.create ulterieur.
...
2- Desactiver l'optimisation des fonctions recursives closes lorsque la profondeur d'emboitement des fonctions devient trop importante (sinon: comportement exponentiel en la profondeur)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-01 13:27:11 +00:00
Jacques Garrigue
2e44915a37
add ocamllex.opt and opt.opt targets
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-31 01:10:14 +00:00
Jacques Garrigue
513e7622af
must detect executable name first for Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-25 08:22:01 +00:00
Jacques Garrigue
738f54a8da
use windows fonts for Cygwin; but shell does not work
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-25 08:20:49 +00:00
Jacques Garrigue
307c53c6f5
Warning changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-25 07:02:28 +00:00
Jacques Garrigue
db000d3321
for Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-25 06:56:06 +00:00
Jacques Garrigue
21917d591e
recognize Tk under Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-25 06:53:45 +00:00
Damien Doligez
0b9d867f2f
petit probleme avec Assert
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:13:53 +00:00
Damien Doligez
3d7b7c2e37
option -warn-error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:13:17 +00:00
Damien Doligez
b2fdec8e5c
option -warn-error, directive #warn_error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:13:09 +00:00
Damien Doligez
6b893661dd
test de -warn-error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:10:53 +00:00
Damien Doligez
6abd94399c
ajout Weak.get_copy
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:10:41 +00:00
Damien Doligez
3a43e16ae2
ajout Weak.get_copy
...
Assert -> CAMLassert
suppression des conjonctions dans les Assert
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:10:03 +00:00
Damien Doligez
7f2c1ed367
ajout option -warn-error
...
ajout Weak.get_copy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:07:00 +00:00
Damien Doligez
2d84d27cb1
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:05:45 +00:00
Xavier Leroy
5cca785d1d
Installer bigarray.h
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-21 13:06:54 +00:00
Luc Maranget
2dfaaa4903
ptit bug dans un format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-14 14:24:46 +00:00
Luc Maranget
e8ea52a66a
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:58:52 +00:00
Luc Maranget
d043fecf18
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:50:59 +00:00
Jacques Garrigue
3ad649f365
imprime les traces meme sans expansion, pour les erreurs de sous-typage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 03:19:51 +00:00
Xavier Leroy
17805c9bd4
Typos introduites pendant le portage Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 14:41:24 +00:00
Xavier Leroy
fd8846fecd
Portage Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 09:58:08 +00:00
Jacques Garrigue
d23a489fb1
tiny bug in eqtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 01:46:48 +00:00
Xavier Leroy
feefbdb04d
Pour HAS_SELECT, verifier l'existence du type fd_set (PR#158)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-08 12:37:53 +00:00
Xavier Leroy
c36622eccd
int*_of_string: echouer si la chaine contient des chiffres illegaux dans la base courante (PR#178)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-08 12:26:50 +00:00
Xavier Leroy
668286f4e9
Ouvrir le source en mode binaire pour avoir des numeros de caracteres corrects (PR#175)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-04 10:09:23 +00:00
Jacques Garrigue
bda548635f
autorise l'application d'une contrainte a un type en cours de definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-04 03:29:42 +00:00
Xavier Leroy
e29e48a5df
Utiliser Hashtbl.replace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:26:14 +00:00
Xavier Leroy
51768ea61b
Marshal.{to,from}channel declares val et non external pour permettre redefinition dans les threads
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:25:36 +00:00
Xavier Leroy
d48c6cfaea
Ajout de Hashtbl.replace. Pas d'allocation dans Hashtbl.find
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:24:25 +00:00
Xavier Leroy
169d14212b
sync et tail-recursion
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:23:53 +00:00
Xavier Leroy
eb924a201f
Bug dans output_value_to_malloc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:23:25 +00:00
Xavier Leroy
f410178e5e
Dire a MSVC que le cas 'default' est impossible
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:23:06 +00:00
Xavier Leroy
21b116fc36
Documenter le pb avec strip
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 12:21:57 +00:00
Xavier Leroy
63224d6b80
Version thread-safe de Marshal
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 08:49:50 +00:00
Xavier Leroy
654255415f
Fins de lignes en \r\n dans le protocole HTTP
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-28 08:49:27 +00:00
Xavier Leroy
234c5c9a96
La substitution revue'' ne traitait pas correctement les types recursifs et les classes (PR#163).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 12:40:43 +00:00
Xavier Leroy
91a9c216db
Alpha, -mieee: erreur dans la detection
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 11:12:54 +00:00
Xavier Leroy
72f22f4f55
Sur Alpha, essayer d'ajouter les options -mieee ou -ieee pour compiler l'interprete de bytecode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 11:03:20 +00:00
Xavier Leroy
cc5601b66a
Erreur dans final_custom_operations (PR#169)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 08:37:50 +00:00
Jacques Garrigue
d3b7afb0a2
labels dans les messages d'erreur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 06:30:28 +00:00
Jacques Garrigue
6f40dfc87f
supprime debug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 06:30:06 +00:00
Xavier Leroy
771c8f1667
Bug dans Filename.basename sous Windows (PR#159)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-25 16:13:36 +00:00