Commit Graph

1001 Commits (9b27eb25c6150be9a08bcddee2b578375dd74763)

Author SHA1 Message Date
Jérôme Vouillon 9b27eb25c6 Les variable d'instances n'apparaissant pas dans une interface
n'etaient pas toujours masquees.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 20:31:29 +00:00
Jérôme Vouillon f82b5566e4 Garder autant que possible une abreviation lors de l'unification de
deux types #xxx.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 17:15:59 +00:00
Jérôme Vouillon 2820a6f438 Interfaces de classes : normalisation des abreviations (unroll_abbrev).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 15:59:25 +00:00
Jérôme Vouillon 3de964308c Bug de lecture des types classes #xxx corrige.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 15:58:05 +00:00
Jérôme Vouillon 8ebda1067b Correction d'un bug de moregeneral.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 15:57:00 +00:00
Xavier Leroy 4e50a18bc9 Ajout de Types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 14:28:38 +00:00
Xavier Leroy 4721c517b0 La comparaison entre tableaux flottants utilisait une mauvaise taille.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1009 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 14:28:31 +00:00
Xavier Leroy 033ec5b736 Decoupage du module Typedtree en deux: Types et Typedtree.
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:33:27 +00:00
Xavier Leroy 15b7edd512 Ajout de Types en plus de Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:32:19 +00:00
Xavier Leroy f5fa8e3e46 Test plus complet des tableaux flottants, y compris via un type abstrait.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1006 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:31:59 +00:00
Xavier Leroy 60097c00e2 Implementer length_nat par %obj_size au lieu de %array_length, qui
(a cause de l'overloading des tableaux) est moins efficace.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:31:32 +00:00
Xavier Leroy 8d069d7e00 Ajout du module Types et d'infos d'environnement dans Typedtree.
Translcore: meilleur tests de types pour determiner le kind d'un tableau.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:30:27 +00:00
Xavier Leroy 2d99580163 Ajout du module Types et d'infos d'environnement dans Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:29:48 +00:00
Xavier Leroy dbbdfe2edb Ajout de typing/types.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:29:13 +00:00
Jérôme Vouillon 1acce46d66 Un argument etait inutilise dans linear_abbrev.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-21 12:02:42 +00:00
Jérôme Vouillon 1a196e07ea Reecriture de correct_abbrev, qui etait beaucoup trop lent dans
certains cas.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-20 21:29:50 +00:00
Jérôme Vouillon 55bac22ba5 Ctype.init_def manquant pour typage des interfaces de classes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-20 21:28:13 +00:00
Xavier Leroy f4010a0fc3 MAJ.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-19 13:01:01 +00:00
Xavier Leroy f189fe1ed7 Mise a jour.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-19 12:57:28 +00:00
Xavier Leroy a4c15dc46b Ajout d'un message quand on redimensionne la table des globaux.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-19 12:57:15 +00:00
Xavier Leroy 2b25bf6466 Le patching des operandes porte sur 32 bits, pas 16.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@995 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-19 12:56:54 +00:00
Xavier Leroy f1baf28aa6 Decourager le spilling des registres introduits par reload.
Intel 386: suppression des stack-to-stack moves.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 14:16:16 +00:00
Xavier Leroy 6cb5ca0f1f Exception declaree 2 fois
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 13:29:07 +00:00
Xavier Leroy 3cbba47252 Utilisation de $(ASPP) et $(ASPPFLAGS)
Renommage des .asm en .S.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 13:25:27 +00:00
Xavier Leroy 4678a15deb Configuration de l'assembleur revue.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 13:24:56 +00:00
Xavier Leroy 360004c16d Introduction de $(ASPP) et $(ASPPFLAGS).
Renommage de tous les .asm en .S.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 13:24:41 +00:00
Xavier Leroy 4d78025b54 Fonctions de sortie des chaines deplacees entierement dans Emitaux.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 13:23:56 +00:00
Xavier Leroy bc5d0fad00 Recharger en registre le pointeur de code d'un appel calcule.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@988 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 12:45:15 +00:00
Xavier Leroy 720ef59b1c Portage Solaris/x86
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-18 12:43:46 +00:00
Xavier Leroy 6c458d3816 Explications.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-17 15:07:32 +00:00
Xavier Leroy 5266f76044 close_on.c: reecriture complete
createprocess.c: chercher dans le PATH
unix.ml: il faut deux \000 a la fin d'un bloc d'environnement
winwait.c: le PID renvoye n'etait pas bon.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@985 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-17 14:43:05 +00:00
Xavier Leroy 1685e9fa9d Verifier l'initialisation de unix_error_exn.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-13 13:04:14 +00:00
Xavier Leroy 572550ca7f Declarer les fonctions de curses directement, ne pas utiliser
d'include systeme (trop dependant du systeme).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-12 14:05:05 +00:00
Xavier Leroy 40c2553fdc Mauvais type de buffer.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-12 12:41:48 +00:00
Xavier Leroy 8c48de9380 emit_i386, proc_i386: autorise les moves de pile vers pile.
proc_*: ajoute 1 parametre "round" aux fonctions reload_*.
asmgen: compter le nombre de rounds de reloading, s'arreter si excessif.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-11 15:59:11 +00:00
Damien Doligez 5229e59700 Changement de std_out, std_err en stdout, stderr dans la doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-10 13:58:05 +00:00
Xavier Leroy 1109a9dd32 Expanser les abreviations dans le type d'une fonction tracee (au cas
ou le type contiendrait une abreviation pour un type fleche).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-10 12:44:14 +00:00
Xavier Leroy 4a6ea1c013 Makefile.nt: MAJ.
close_on.c: autre implementation qui marche peut-etre sous 95.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 15:02:35 +00:00
Xavier Leroy 607ae44a56 Lire les fichers en mode binaire.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 15:02:13 +00:00
Xavier Leroy 3dc630d586 MAJ version Win32.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 15:02:04 +00:00
Xavier Leroy 761ac67c70 Ajout de Genlex
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 15:01:46 +00:00
Xavier Leroy 2981acda78 Ajout flag -thread.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:37:18 +00:00
Xavier Leroy b1df74197d Dumper les .cma aussi.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@973 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:37:10 +00:00
Xavier Leroy 8048077818 Histoire avec $(ASFLAGS) (??)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:36:59 +00:00
Xavier Leroy f34e9ef0a6 Aucune fonction d'I/O n'est declaree external.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@971 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:36:32 +00:00
Xavier Leroy 26a25f8e03 MAJ des tests (plus besoin de ThreadIO; utiliser ThreadUnix).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:36:16 +00:00
Xavier Leroy 5d618a9c8b Makefile: install corrigee
pervasives: supprime toutes references a des modules externes.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:35:55 +00:00
Xavier Leroy 7a087e15df Jeu de tests.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:35:10 +00:00
Xavier Leroy b019ba195f Ajout option -thread.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:35:00 +00:00
Xavier Leroy 5a2e78b436 Finition des I/O avec verrouillage.
Portage commun POSIX/Windows.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:25:20 +00:00