Xavier Leroy
bf4fdce9f2
Avec -output-obj, ne pas executer les fonctions at_exit, car ca peut invalider des callbacks C->Caml apres (PR#525)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-27 13:00:09 +00:00
Xavier Leroy
05313c9c6a
Nettoyage du .obj laisse par MSVC (PR#640)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-26 14:24:59 +00:00
Xavier Leroy
320487c59f
Revu gestion des backtrace; suppression de RERAISE, utiliser l'adresse de l'objet exception a la place
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4040 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-26 12:47:03 +00:00
Xavier Leroy
1b985c3f95
Retour de -make-runtime -use-runtime par demande populaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 10:11:30 +00:00
Xavier Leroy
343d49401a
Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 09:32:32 +00:00
Jacques Garrigue
66343c894b
architectures sans librairies partagees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-06 12:35:50 +00:00
Jacques Garrigue
42d1811a93
enrich variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-25 09:54:18 +00:00
Luc Maranget
bd1a4e00c3
bug 539
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-21 15:59:16 +00:00
Jacques Garrigue
4cdb4bc3f9
concatene les rpaths (necessaire pour D/Unix 4.0)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-13 06:06:15 +00:00
Jacques Garrigue
83d1bf3ffb
prefixe le nom si trouve' dans le repertoire courant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-09 08:40:37 +00:00
Jacques Garrigue
4bdf28108f
avoid problem with dlsym/failwith and keep thread linking info
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-07 05:56:31 +00:00
Jacques Garrigue
ea299bbbc1
passage aux labels stricts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-06 08:52:32 +00:00
Xavier Leroy
e11cb7a39b
Decoupage de Dll en Dllpath + Dll, facilite la construction de ocamlc.opt et ocamlopt.opt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-30 09:02:55 +00:00
Xavier Leroy
ddd99c7e5d
Chargement dynamique de primitives C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-28 14:47:48 +00:00
Damien Doligez
dcbb92b2d0
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 18:49:22 +00:00
Damien Doligez
8945c234c0
encore du 68k qui trainait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 15:11:40 +00:00
Xavier Leroy
ae5068567f
PR#339, suite: il faut aussi gerer les debordements de pile pour le code d'initialisation, et non juste pour les fonctions!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 08:00:39 +00:00
Luc Maranget
69a062ccf8
bug 454
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-27 14:40:57 +00:00
Xavier Leroy
9387fab6bc
Gestion correcte du cas ou une fonction utilise un espace de pile superieur a Stack_threshold (PR#339)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-05-28 15:14:18 +00:00
Luc Maranget
2876eb2bc2
bug 355
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-05-11 18:00:00 +00:00
Luc Maranget
62cf939f0d
more tests against zero
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 18:51:44 +00:00
Luc Maranget
046e095ec2
stupid bug in offsets (Switch)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 18:08:22 +00:00
Luc Maranget
157c4e54c9
new Switch module
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 16:31:09 +00:00
Luc Maranget
5b1d133498
cleaned bytecomp/simplif.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 12:46:21 +00:00
Luc Maranget
08f20bcdfa
bug 342 (records dans les orpats)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 09:29:22 +00:00
Luc Maranget
e7d2a4ed93
corrected bug 325
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-30 13:35:15 +00:00
Luc Maranget
b1b8940a04
bug idiot 324
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-26 12:45:50 +00:00
Luc Maranget
ac752c7e3c
bug 319 (equivalent orpats with variables)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-21 17:53:49 +00:00
Jacques Garrigue
141578ccef
ajout d'un champ filtrage a Reither
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-03 00:14:35 +00:00
Luc Maranget
35a5f8ca5e
ptit truc en plus pour les variants, cas que des constantes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-23 08:47:10 +00:00
Luc Maranget
42fb4de908
bug du matching sur les variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-22 20:14:29 +00:00
Xavier Leroy
b0b5847fe0
PR#282: les -ccopt de l'utilisateur doivent etre passes en premier au compilateur C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-20 09:40:52 +00:00
Luc Maranget
eb7578b8db
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:27:52 +00:00
Xavier Leroy
f2a7fdbcd3
Ajout de l'instruction RERAISE
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 12:28:04 +00:00
Xavier Leroy
1a9c1df96e
Suppression d'un let inutile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-13 09:28:46 +00:00
Xavier Leroy
ccd4b57ed0
Rendre a Luc ce qui appartient a Luc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-05 08:49:52 +00:00
Xavier Leroy
92045581a7
Espace en trop
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-05 08:49:33 +00:00
Xavier Leroy
8a3c82b215
int32, int64, nativeint ne sont pas des flottants!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-13 11:55:09 +00:00
Pierre Weis
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
Damien Doligez
b80c77b025
fix -noassert pour que le typage des assertions soit toujours fait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-04 15:37:05 +00:00
Xavier Leroy
ab73fdc7f1
Ajout de la construction 'include' dans les structures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-01 09:35:00 +00:00
Damien Doligez
836c1851dd
PR#212, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-31 14:55:30 +00:00
Damien Doligez
bf5cdff645
pas de curses en natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-27 15:18:24 +00:00
Luc Maranget
ab97fd0dcc
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:18:05 +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
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
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
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
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
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
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
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
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
Xavier Leroy
7def4b472a
Revu la compilation des liaisons toplevel (utiliser une table de hash au lieu des globaux pour permettre la recuperation memoire des liaisons masquees)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-16 16:19:04 +00:00
Damien Doligez
78755de5f7
use-prims -> no-auto-link
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-20 14:39:01 +00:00
Xavier Leroy
af921a24ae
Mettre automatiquement une option -L pour chaque repertoire donne par -I
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-16 14:36:00 +00:00
Xavier Leroy
975d4dc752
Effacer le fichier .obj laisse par VC++
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-11 13:05:58 +00:00
Xavier Leroy
8982b654f4
Desactiver l'auto-link si -use-runtime
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-10 15:01:10 +00:00
Pierre Weis
e3f1ab289d
Restaient 3 print_space...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-27 16:59:04 +00:00
Xavier Leroy
e0de38ba60
Adaptation au nouveau format de .cma, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-27 12:18:09 +00:00
Xavier Leroy
5c65f975b2
Meilleure impression des exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-25 18:55:45 +00:00
Pierre Weis
b34a32bdd8
Le module Ident passe a Format.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-13 16:49:01 +00:00
Xavier Leroy
c4801c35fb
Ajout du renommage d'exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-12 13:10:29 +00:00
Xavier Leroy
c7b7c24381
Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires pour le link final
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-09 09:12:28 +00:00
Jacques Garrigue
5fc397c150
print boxed integer conversion
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-07 03:04:09 +00:00
Pierre Weis
b96208b7a2
Revu les impressions du compilateur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 22:12:09 +00:00
Xavier Leroy
12ec3de6fb
Gestion des sections dans un executable bytecode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 20:20:24 +00:00
Xavier Leroy
ee2c3d5bc6
Nouveau format extensible d'executables bytecode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-05 19:18:50 +00:00
Xavier Leroy
96cb7c30af
Ajout des conversions int <-> int32 <-> int64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-05 19:17:54 +00:00
Xavier Leroy
c0feeaa7e5
Optimisation des acces aux bigarrays
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-28 15:45:50 +00:00
Xavier Leroy
b09f44025c
Ajout des types predefinis int32, int64, nativeint.
...
Ajout des primitives correspondantes dans le type lambda.
Optimisation de ces primitives dans le compilateur natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-21 18:14:56 +00:00
Pierre Weis
39553e9972
Révision de l'impression à l'aide de format: utilisation de printf
...
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-08 20:00:06 +00:00
Jacques Garrigue
ea77b3d485
Variant compilation bugs: simple mistakes in matching.ml, and incorrect use of Const_pointer for 31-bit integers in translcore.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2747 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-01-07 17:21:29 +00:00
Damien Doligez
ec1c205be6
detabisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-01-07 15:56:27 +00:00
Xavier Leroy
555c7f8022
Ajout de la primitive %obj_is_int
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-12 16:29:31 +00:00
Jacques Garrigue
c7c92e6a06
Nettoyage de l'optimisation des valeurs par defaut dans translcore.ml. Ajout de Default a Asttypes.rec_flag.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-06 17:05:19 +00:00
Xavier Leroy
45a18236df
Revu compilation du filtrage des variants. Ajout de la primitive Pisint et de l'instruction bytecode ISINT.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-06 16:59:24 +00:00
Jacques Garrigue
8afcd89b70
Kbranchif -> Kbranchifnot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-01 16:03:37 +00:00
Jacques Garrigue
e6d3ba276e
bug in pushing defaults in function definitions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-01 15:56:42 +00:00
Jacques Garrigue
6dceef2ead
evaluate all arguments in out-of-order partial applications
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2662 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-01 14:07:38 +00:00
Jacques Garrigue
f8a8e9c449
Do not branch to label 0. Really needed?
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-01 12:31:56 +00:00
Jacques Garrigue
04cc48209b
dead files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 17:21:48 +00:00
Jacques Garrigue
296fc05470
Merge olabl branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
Damien Doligez
096a160b1e
MacOS: utilisation de ToolServer
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-29 19:04:49 +00:00
Jérôme Vouillon
26aefbfc98
Bug introduit par mon changement precedent
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-20 23:40:21 +00:00
Xavier Leroy
cc0f32b054
Changement de la licence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
Xavier Leroy
a048d42b10
Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 17:06:33 +00:00
Damien Doligez
55df3c20f0
generation de ENVACC4 et suppression de ATOM1..ATOM3
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 15:27:26 +00:00
Damien Doligez
05f4452887
option -nopervasives pour le link
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 15:25:41 +00:00
Jérôme Vouillon
04119ce497
Moins d'optimisation des lets avec l'option -g
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-07 23:56:38 +00:00
Xavier Leroy
44ece46b45
Bug dans matching de tableaux de flottants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-03-02 14:49:26 +00:00
Xavier Leroy
88dcc69825
Bug dans transl_store_structure quand un module est exporte avec une signature differente de sa signature de definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-25 14:02:44 +00:00
Xavier Leroy
5038f3cdb6
Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-24 15:21:50 +00:00
Xavier Leroy
0ecbd9a5ab
Verification plus stricte des let rec (bug de Pascal Cuoq)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-19 16:28:45 +00:00
Xavier Leroy
2cda61d091
Ne pas evaluer plusieurs fois les arguments dans Matching.for_multiple_match (bug de M. Quercia)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-17 16:59:41 +00:00
Xavier Leroy
4189443be3
Nouveau schema de compilation des definitions d'une unite de compilation en ocamlopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-04 10:31:16 +00:00
Xavier Leroy
946e79f63d
Code plus compact genere pour {r with ...} quand r a beaucoup de champs qui ne sont pas redefinis
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-03 16:03:58 +00:00
Xavier Leroy
fe6053233e
Transformation foo -> foo.exe sous Windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-12-04 09:38:03 +00:00
Xavier Leroy
7f9ee6a995
MAJ portage Win32
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-12-02 14:39:27 +00:00
Xavier Leroy
16bc49829e
Implementation de -cclib -lfoo pour Windows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-12-02 10:58:22 +00:00
Jérôme Vouillon
967244f4a1
Compilation correcte de "class c = let e in e'".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-30 18:25:12 +00:00
Jérôme Vouillon
afc341a3cd
Evaluation retardee de object ... end
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-24 22:00:06 +00:00
Xavier Leroy
8518178bb9
Rendu le fichier camlprim.c compatible avec C++, au cas ou il serait compile par un compilo C++ qui n'honore pas le suffixe .c
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-20 15:36:00 +00:00
Pierre Weis
29ceedb180
Warning de la séquence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 16:53:20 +00:00
Pierre Weis
208727b833
Éviction des alertes des séquences.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 14:51:27 +00:00
Xavier Leroy
939d9b30a9
En ocamlopt, les acces hors bornes levent Invalid_argument au lieu de planter le programme. Itou pour les fonctions C qui appellent invalid_argument. Teste sur Intel, a tester sur les autres
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-11 15:35:48 +00:00
Xavier Leroy
10231cade2
Ajout de l'option -cc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-06 15:39:43 +00:00
Pierre Weis
61c55468ae
Addition du warning de la séquence: ajout de la fonction set_prim_table.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-05 08:00:35 +00:00
Xavier Leroy
e8b236535c
Nouveau format d'infos de debug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-20 12:45:45 +00:00
Damien Doligez
89074600b8
ajout option -use_prims
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-02 12:40:44 +00:00
Xavier Leroy
55668b9dd2
Bien traiter le cas d'un .cmo ou .cma vide (e.g. si disque plein ou utilisateur stupide)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-01 12:38:09 +00:00
Xavier Leroy
ecf542ed93
Ajout de invoke_traced_function
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-09-11 17:38:44 +00:00
Jérôme Vouillon
5db83b0276
Bugs de compilation des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-31 19:41:24 +00:00
Xavier Leroy
0f58b302c0
De-optimisation pour -g un peu moins violente
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-17 09:00:23 +00:00
Jérôme Vouillon
bb01d78cf6
Ne pas simplifier les let lorsque l'on compile avec l'option -g
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2054 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:39:30 +00:00
Jérôme Vouillon
87b17301f4
Nouvelle syntaxe des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24 19:22:26 +00:00
Xavier Leroy
19d79cd6ac
Meilleurs noms pour les exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-23 10:06:50 +00:00
Xavier Leroy
4542b86635
Dans maybe_pointer, reconnaitre le cas d'un type enumere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-09 13:41:18 +00:00
Xavier Leroy
d5332ed52e
Meilleur affichage de Psetfield
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-09 13:40:55 +00:00
Xavier Leroy
4cdadc0c6d
Revu la gestion du camlheader pour que l'install par defaut marche meme sans faire un tour de bootstrap
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-01 14:53:28 +00:00
Xavier Leroy
6368084fa2
Cas Koffsetclosure oublie
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-05-25 09:17:03 +00:00
Xavier Leroy
baa58a54a9
Ajout du let_kind Variable, pour aider les transformations ulterieures (e.g. propagation des constantes entieres dans Closure)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-30 12:12:28 +00:00
Xavier Leroy
966c09366b
Ajout de l'extension de records {r with lbl=expr}
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-27 15:17:11 +00:00
Xavier Leroy
e991e9442f
Composer les passes du compilateur avec ++ pour eviter de garder des pointeurs vers des structures inutilisees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-27 15:16:48 +00:00
Xavier Leroy
fd8ea59807
Ajout des options -make_runtime et -use_runtime
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-14 14:48:34 +00:00
Xavier Leroy
d22b828639
Eviter de generer des let x = x lors de la compilation du pattern-matching; ceux-ci perturbent Simplif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-08 11:33:39 +00:00
Xavier Leroy
ea8fe59ea0
Adoption des memes representations que dans ocamlopt pour les tableaux de flottants et les fonctions mutuellement recursives.
...
Simplification de la compilation du let rec de valeurs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-06 09:15:55 +00:00
Xavier Leroy
83cea541c3
Ajout de let module = <modulexpr> in <expr>
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-02-26 12:54:44 +00:00
Xavier Leroy
265e7ef035
Permettre ocamlc -output-obj -g
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-01-05 12:43:08 +00:00
Jérôme Vouillon
b3061a3e52
Bug dans la fusion de deux evenements
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-12-17 20:34:24 +00:00
Damien Doligez
100004bca8
Changement de type de Array.iter.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1746 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-31 12:58:12 +00:00
Xavier Leroy
84505b211b
Si -custom, ajuster le nom de l'executable pour suivre ce que fait
...
Visual C++.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-24 15:51:36 +00:00
Damien Doligez
27ae624991
suppression de quelques warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-22 13:26:19 +00:00
Xavier Leroy
b149e67a88
Nouveau module Marshal dans stdlib
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-07-02 18:16:15 +00:00
Damien Doligez
3cf9325149
Fix: compilo C different quand on compile en natif.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-23 14:36:30 +00:00
Jérôme Vouillon
d7383a861e
Modification des evenements.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-16 13:34:34 +00:00
Jérôme Vouillon
b31ba453db
Utilisation de "name_pattern" pour [try ... with ...] aussi.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 16:50:09 +00:00
Jérôme Vouillon
569a09864a
Les appels a super ne compilaient plus...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1606 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 12:35:16 +00:00
Jérôme Vouillon
d200d2ea4c
Nouveau format d'executable (ajustements pour le toplevel).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 11:57:23 +00:00
Xavier Leroy
7ec8fce54c
Nouveau format d'executable.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-13 15:48:53 +00:00
Damien Doligez
4eeb35cc67
Fix de let rec dans ocamlc -g
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1585 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-12 15:25:01 +00:00
Jérôme Vouillon
7849c7d509
Bug application partielle de [new c].
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-09 13:25:20 +00:00
Damien Doligez
03ec746bf1
deTABisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-19 15:42:21 +00:00
Xavier Leroy
3f1b15e439
bytelink, emitcode: nouvelle gestion des CRC des interfaces.
...
bytelink: Sys.command -> Ccomp.command
translcore: expanser les abreviations dans has_base_type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:25:14 +00:00
Jérôme Vouillon
874f21a083
Methodes privees.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-11 21:48:21 +00:00
Jérôme Vouillon
e710f38d9a
Bug de la command "start" du debugger
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-07 12:33:25 +00:00
Xavier Leroy
47cf17d88d
Ne pas augmenter inconsiderement la marge en cas de let et de
...
sequences entremeles.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-11 13:55:39 +00:00
Jérôme Vouillon
f267206dca
Evenement apres un appel a une fonction C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:41:54 +00:00