Xavier Leroy
2672272905
Modifs mineures de generation de code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-25 13:21:30 +00:00
Xavier Leroy
eea93aba58
Ajout du profiler.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:46:19 +00:00
Xavier Leroy
cec6b5e0ba
Ajout du module Profiling.
...
Ajout de Filename.chop_extension.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:38:03 +00:00
Xavier Leroy
0dd6dfcaa7
Le profiler de Caml Light, porte.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:37:39 +00:00
Xavier Leroy
03e89043b0
Pour le profiler, ajout de ".mlt" comme extension valide pour un
...
fichier source.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:37:23 +00:00
Xavier Leroy
862813719d
Ajout de std_exit
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 17:00:07 +00:00
Xavier Leroy
e772ecf7cb
Les definitions de primitives ne generent plus de code.
...
En consequence, un champ valeur primitive d'une structure n'occupe
plus de place dans le tuple la representant.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:59:41 +00:00
Xavier Leroy
c122bcd662
Ajout du module std_exit et de la fonction at_exit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:58:50 +00:00
Xavier Leroy
d52f79f93e
Makefile: compilation avec cslopt aussi.
...
sendrecv, unix: adaptation de sendto a cslopt (6 arguments).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:58:06 +00:00
Xavier Leroy
0f2c6734f6
Compilation avec cslopt aussi.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:57:13 +00:00
Xavier Leroy
e06a12dcd6
Ajout de std_exit au link.
...
Pas de code produit par une definition de primitive.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:56:52 +00:00
Xavier Leroy
e91113e015
Reecriture de caml_c_call pour laisser $sp inchange, de maniere a
...
pouvoir passer plus de 6 arguments a une fonction C (sur la pile).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:55:42 +00:00
Xavier Leroy
a66c3bed8d
asmlink: ajout de std_exit au link.
...
proc_*: appel de fonctions C avec beaucoup d'arguments.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:55:01 +00:00
Xavier Leroy
0cce85e6d2
Makefile: ajout de stdlib/std_exit.
...
Makefile.config, README: on parle du portage FreeBSD.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-23 16:54:03 +00:00
Xavier Leroy
1f451d888e
Detection des abbrev recursives corrigee (algorithme dit "du rho").
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-19 16:28:44 +00:00
Xavier Leroy
287f69baf3
Bug de memq qui appelait mem sur le tail de la liste...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-19 16:28:21 +00:00
Xavier Leroy
5d2a1f2b9a
Simplification/correction de nondep_supertype sur les declarations de types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-18 15:33:15 +00:00
Xavier Leroy
54af548aa7
Ajout de | au debut des pattern-matchings et des definitions de types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-18 15:32:39 +00:00
Xavier Leroy
0d4e1ea7a2
Digest passe dans stdlib.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:03:00 +00:00
Xavier Leroy
877b49ccca
nondep_supertype ne se permet plus de faire disparaitre des
...
composantes de structure en position covariante. On se permet quand
meme de transformer type t = ty en type t, comme en SML.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:02:47 +00:00
Xavier Leroy
2efe34a4a1
Erreur si une fonction est tracee plusieurs fois.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:02:02 +00:00
Xavier Leroy
3d487de83d
Digest passe dans stdlib.
...
Typo dans la doc de Stack.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:01:45 +00:00
Xavier Leroy
96759d2c52
Passage en mode flottants IEEE maintenant effectue dans floats.c
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-16 16:59:18 +00:00
Xavier Leroy
ef00b1aa1f
Modif. de emit_string_literal parce que certains assembleurs (GAS 1.92
...
sous FreeBSD) lisent "\0033" comme un caractere de code 033 au lieu de
deux caracteres.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-16 16:19:36 +00:00
Xavier Leroy
06a7187d66
pervasives.mli: typo dans les docs
...
Ajout de random.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-16 12:40:46 +00:00
Xavier Leroy
7152a1e3c8
Liste des pervasives: oubli de Gc, ajout de Random.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-16 12:40:05 +00:00
Xavier Leroy
7693edce30
Ajout d'un FINIT avant d'appeler une fonction C, de maniere a liberer
...
tous les registres flottants. Anciennement, on gardait jusqu'a 4
registres occupes, ce qui provoquait un plantage si la fonction C
appelee utilise plus de 4 registres flottants.
Du coup, on passe a 6 le nombre de registres flottants disponibles.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-15 18:55:43 +00:00
Xavier Leroy
07b0ea7270
Ajout d'un FINIT avant d'appeler une fonction C, de maniere a liberer
...
tous les registres flottants.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-15 18:54:33 +00:00
Xavier Leroy
3025a56ef1
Declaration "static" dans md5.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-12 17:53:51 +00:00
Xavier Leroy
c362c35430
MAJ makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-10 12:44:52 +00:00
Xavier Leroy
febeecacd0
Meilleur message d'erreur dans Env quand .cmi pas trouve.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-09 17:39:41 +00:00
Xavier Leroy
eda2f6449b
Nouveau format de .cmo (utilisation de MD5, detection unsafe)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-09 13:37:11 +00:00
Francois Rouaix
f8d5b20bd7
Moins de contraintes sur with type
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-09 12:13:42 +00:00
Xavier Leroy
6eb8978908
Changement du magic number des interfaces.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-05 15:22:38 +00:00
Xavier Leroy
c3d81e3f2f
Locations dans les structure_item.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-05 15:22:23 +00:00
Xavier Leroy
4cec42eea3
Annotations de location sur les structure_item.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-05 15:18:49 +00:00
Xavier Leroy
6ad9216c04
ident: identify rend aussi egaux les noms en plus des stamps
...
typecore: detection des formats errones en fin de chaine.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-05 12:29:40 +00:00
Xavier Leroy
65315f212c
Verif de coherence des interfaces: permettre de linker plusieurs .cmo
...
avec le meme nom.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-04 20:52:43 +00:00
Xavier Leroy
b63f478fe9
raise_exception rectifiee (mauvaise structure du trap frame).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-04 14:36:34 +00:00
Xavier Leroy
453a3517ad
Erreur dans raise_caml_exception.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-04 12:38:46 +00:00
Francois Rouaix
587e1e9732
Suppression de waitopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-04 10:50:00 +00:00
Xavier Leroy
0c0922e2e8
Champ max_young_wosize.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:07:03 +00:00
Xavier Leroy
d1c255478f
Cas particulier pour "type t = t"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:06:45 +00:00
Xavier Leroy
1acdd36ceb
Conversion des abbrevs plus souple.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:06:28 +00:00
Xavier Leroy
7d31cdb264
Faute d'anglais dans un commentaire.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:06:15 +00:00
Xavier Leroy
e6517c9ced
Precedence mal orthographiee.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:06:01 +00:00
Xavier Leroy
afc9574722
On prend symb_start = symb_end quand on applique une epsilon-production.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:04:07 +00:00
Xavier Leroy
97fba0e18e
"with" -> "with type"
...
Compilation de [| ... |] avec plus de 256 elements.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:03:30 +00:00
Xavier Leroy
c55446a1d0
Traitement abbrevs non recursives, ...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:02:50 +00:00
Xavier Leroy
986156eadf
"with" -> "with type".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:02:18 +00:00