Commit Graph

1299 Commits (f836e04fb1f4495c8081552a78d42283dd1a4775)

Author SHA1 Message Date
Jérôme Vouillon ff37499e5f Mes changements pour la 1.03
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-28 18:33:47 +00:00
Jérôme Vouillon ffcad91131 Unification sous prefixe : le test d'occurence ne traverse pas tout le
type. Il faut donc utiliser une fonction a part : `check_level'


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-28 17:51:55 +00:00
Jérôme Vouillon 4f4a33e73f L'equalite structurelle ne doit pas etre utilisee pour les objets.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-28 16:29:32 +00:00
Jérôme Vouillon 6fbd844af1 `build_supertype' inutilise.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-27 09:43:07 +00:00
Jérôme Vouillon d8ef8e4915 Type de methode maintenant optionnel dans interface de classe (permet
de passer de virtual a method sans avoir a preciser le type).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 22:06:22 +00:00
Jérôme Vouillon bcf2afbb79 (#m) comme abreviation de fun x -> x#m.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 21:42:48 +00:00
Jérôme Vouillon 759d73131c Erreur de syntaxe de Damien...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 20:47:34 +00:00
Jérôme Vouillon 5c6cd7912c Correction d'un bug des classes recursives dans une interface.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 20:16:31 +00:00
Jérôme Vouillon 352a42e6b6 Message d'erreur correct pour `(1 : int :> bool)'.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 19:39:26 +00:00
Jérôme Vouillon 2462e1c7e2 Equivalent de type_expect pour les methodes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 16:44:51 +00:00
Jérôme Vouillon e452c0198a Revision 1.7 en plus simple.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:57:49 +00:00
Jérôme Vouillon 4540410697 Reglage probablement meilleur des parametres (a verifier sur un gros
exemple).
Utilisation de Sys.get_config pour connaitre la taille d'un mot.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:46:59 +00:00
Jérôme Vouillon eda8b115dd Les variables permettant le parametrage du module Oo sont maintenant
exportees.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:44:18 +00:00
Jérôme Vouillon 845e4b0563 Revision de la fonction `occur' : accepte de nouveau les recursions a
travers des types construits qui ne sont pas des abreviations (e.g.:
unification de 'a list avec 'a).
Gestion correcte des abreviations du genre 'a t = int.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:43:02 +00:00
Jérôme Vouillon ed9ca92aa8 Pour les sous-typage, il faut differencier les variables "libres" des
alias.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:36:11 +00:00
Jérôme Vouillon 64c80892fc Bug dans check_unique_names : les classes produisent des abreviations...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-25 21:34:25 +00:00
Xavier Leroy e4626b17e3 Meilleur traitement des abreviations dans Ctype.moregen et Ctype.moregen_occur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-25 13:40:04 +00:00
Xavier Leroy 1a2a8f1a21 MAJ.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-25 13:38:55 +00:00
Xavier Leroy f04797fa55 Portage 680x0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 16:16:11 +00:00
Xavier Leroy 2daa336fad Empecher l'optimisation des fonctions tuplifiees...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 16:15:54 +00:00
Xavier Leroy 113fb441ff Adaptation a SunOS 3 (soupir...)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1094 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 16:15:25 +00:00
Xavier Leroy 9a374eb4d6 Portage 680x0.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 16:14:57 +00:00
Damien Doligez 0e321e2847 version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1092 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 15:19:32 +00:00
Damien Doligez 901222ceae Ajout de [Arg.usage].
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 15:19:22 +00:00
Damien Doligez c602b30b57 Changement du module Arg.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 14:17:48 +00:00
Damien Doligez d349b743e9 Proprification sur os_type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 14:17:18 +00:00
Damien Doligez a472b7f3ea bricoles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-24 14:16:30 +00:00
Xavier Leroy 01e9d07a67 Un blanc est necessaire entre "open" et le nom du module.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-22 16:27:30 +00:00
Xavier Leroy b412ee9728 Ajout d'un flag disant si on est sous le compilo natif ou bytecode.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-22 13:37:20 +00:00
Xavier Leroy 567e31cd7f Detection des fonctions tuplifiees.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-22 13:36:59 +00:00
Xavier Leroy 126cd22562 Optimisation des fonctions tuplifiees.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-22 13:36:12 +00:00
Xavier Leroy 456b225d78 Ajout de directives .frame, .mask pour eviter les plantages lorsqu'une
fonction C decide de faire une exception (e.g. exp(-1e10)).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-21 11:20:56 +00:00
Xavier Leroy c7f8a411d8 Rectification de symbol_start pour une epsilon-production.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 10:01:35 +00:00
Xavier Leroy 34dd4de7e2 Doc de input_value.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 10:00:00 +00:00
Xavier Leroy a8558f4fd1 close_process: fermer les deux canaux (maintenant qu'on peut fermer un
meme canal plusieurs fois).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 09:59:45 +00:00
Xavier Leroy 146c843406 scheduler: ajout de tests d'initialisation.
thread.ml: type de thread_wait_pid.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 09:59:18 +00:00
Xavier Leroy e8aedecb1a Tester l'initialisation dans thread_self.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 09:58:30 +00:00
Xavier Leroy b379e9a691 interp.c: retour a la division et au modulo de C (non specifies sur
les arguments negatifs)
io, startup: allocation des buffers d'I/O dans le tas majeur, comme
objets finalises.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-17 09:57:49 +00:00
Xavier Leroy bc96b0f934 Correction du mode d'adressage addr - ofs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-16 15:21:51 +00:00
Damien Doligez fb851dbd7d [ocamlheader] -> [camlheader]
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-10 11:58:35 +00:00
Damien Doligez d32d903481 version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 16:21:10 +00:00
Damien Doligez 8785c58f8b "Macintosh" -> "MacOS"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 16:21:02 +00:00
Damien Doligez 1e88de1034 Euh... j'me rappelle plus.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 16:20:19 +00:00
Xavier Leroy 32f11c1c99 Expanser les abreviations de maniere plus paresseuses pour faire la
strength reduction basee sur les types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 13:38:50 +00:00
Xavier Leroy 706e26ad1b Utiliser un overflow trap pour detecter les acces hors des tableaux.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 13:36:48 +00:00
Xavier Leroy 46dddeb68c pervasives: ajout de do_at_exit.
std_exit: appeler do_at_exit mais pas exit (pour permettre le retour
dans du code C)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:15:13 +00:00
Xavier Leroy e4f0480a47 Ajout de do_at_exit
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:14:50 +00:00
Xavier Leroy e684a44952 Revenir a la ligne a la fin de l'affichage de la signature avec
l'option -i.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:14:34 +00:00
Xavier Leroy 129646d5d7 Meilleure comparaison entiers vs. pointeurs.
Eviter le debordement lors de la comparaison de deux pointeurs externes.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:14:11 +00:00
Xavier Leroy f5f74127af Linker -lcamlrun apres les .o de l'utilisateur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:13:34 +00:00