Jacques Garrigue
602146f892
add virtual instance variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-05 02:28:13 +00:00
Damien Doligez
125ea40d4c
fusion 3.09.0 -> 3.09.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04 16:55:50 +00:00
Xavier Leroy
0ba3106399
Retour en arriere sur la simplification des signatures inferees (fix du PR#3545 du 2005-08-02), qui est completement bugge
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-08 09:41:52 +00:00
Xavier Leroy
754bc39c90
Systematiser la simplification des signatures inferees (PR#3545)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-02 09:49:30 +00:00
Xavier Leroy
d4d7720ca9
Revu implementation de ocamlopt -pack. Remplacement du renommage a posteriori par un renommage a priori via l'option -for-pack
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-01 15:51:09 +00:00
Xavier Leroy
f55d676d2c
Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, 3304, 3457)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-31 12:03:40 +00:00
Damien Doligez
6c9bac39d4
ajout de l'option -config (suggestion de Gerd Stolpmann)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-09 13:39:17 +00:00
Damien Doligez
444cfd440c
changement doc -warn-error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6722 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-12-01 12:06:29 +00:00
Damien Doligez
1971a6ba83
changements sur les warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-30 18:57:04 +00:00
Damien Doligez
d113ba55c5
ajout warning unused variable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-09 12:44:49 +00:00
Damien Doligez
4ffbf5ec57
ajout warning unused variable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-06 20:17:47 +00:00
Damien Doligez
fae0bc9d9b
PR#1938
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 16:58:46 +00:00
Xavier Leroy
3dce37c196
Generalisation de l'option -o
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:41 +00:00
Xavier Leroy
f8ae9668d9
Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de commande pour denoter des sous-modules dont l'implementation est identique a l'interface
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-09 13:32:28 +00:00
Damien Doligez
776a8d59b7
suppression support MacOS9
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-16 15:24:03 +00:00
Xavier Leroy
5385770407
Bug dans l'initialisation de load_path au toplevel (PR#1770,1775)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 12:17:19 +00:00
Xavier Leroy
680a54d3c2
Faire cohabiter les threads bytecode et les threads systeme. Ajout option ocamlc -vmthread.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-17 08:38:28 +00:00
Xavier Leroy
50bdc60761
L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .o, ainsi que le link
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 13:22:09 +00:00
Xavier Leroy
1fa763e0c5
Merge branch with recursive modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19 15:53:53 +00:00
Damien Doligez
7907414f8f
changement .types -> .annot + format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-12 12:52:17 +00:00
Xavier Leroy
e11c636eaf
Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:34:05 +00:00
Pierre Weis
b194d85ef5
I hope I found all places where ocamlc options are listed; some amount of sharing could be desirable here.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 13:17:32 +00:00
Pierre Weis
f2709a7576
Better error message for fragile patterns.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 12:52:11 +00:00
Pierre Weis
5d997d004e
Addition of fragile match warning.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 10:09:52 +00:00
Pierre Weis
b05ec8f2fa
Addition of the Fragile_pat warning.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 08:47:34 +00:00
Damien Doligez
a51ea25db1
-stypes -> -dtypes; meilleur mode emacs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-03 13:59:38 +00:00
Damien Doligez
abbb4743c8
option -stypes, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 12:46:25 +00:00
Damien Doligez
43b02185d7
ajout option -stypes; depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 01:32:09 +00:00
Xavier Leroy
2413371d18
Prevoir d'avoir des options de ligne de commande specifiques a un processeur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-29 15:03:37 +00:00
Damien Doligez
aba0bd1fbd
documentation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 12:40:51 +00:00
Damien Doligez
ed3123ee87
changement des locations, premiere tranche
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-01 17:06:47 +00:00
Damien Doligez
96f5065222
ajout option -version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-01 15:18:03 +00:00
Xavier Leroy
f12a554a0d
Typo doc -pack (PR#1259)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-25 15:52:54 +00:00
Xavier Leroy
ed4fe78854
Nettoyage gestion option -o
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-11 14:15:12 +00:00
Jacques Garrigue
c5819d3bbb
add -nostdlib to bootstrap compilers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-08 03:27:50 +00:00
Xavier Leroy
9842ae282a
Decouper l'argument de -cclib et -dllib
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-07 13:16:57 +00:00
Jacques Garrigue
b148bb401e
acceleration des Makefiles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-27 14:45:33 +00:00
Jacques Garrigue
0a8236066f
vive les methodes polymorphes!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 07:27:47 +00:00
Xavier Leroy
73ce0ac808
Simplifier lors de l'affichage les declarations val et exception redondantes dans les signatures inferees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 12:35:10 +00:00
Damien Doligez
130e3415fd
ajout option -nostdlib
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 15:17:11 +00:00
Xavier Leroy
71cf31f0e2
Ajout du packaging d'unites de compilation (option -pack)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 16:55:44 +00:00
Daniel de Rauglaudre
c1e0dad2a8
Regroupement du preprocessage et de la lecture directe des fichiers source
...
à arbre de syntaxe, dans un nouveau fichier pparse.ml commun a compile.ml
et optcompile.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 10:14:31 +00:00
Daniel de Rauglaudre
bd7a6924b6
Ajouté un warning si l'option -unsafe est utilisée alors que le source
...
est un arbre de syntaxe.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 09:27:48 +00:00
Daniel de Rauglaudre
fe0f46244c
Added Misc.chop_extension_if_any for the case when the input filename does
...
not have any extension.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-28 17:25:26 +00:00
Damien Doligez
e962b870e8
bug lazy dans ocamlopt + diverses bricoles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 22:20:58 +00:00
Jacques Garrigue
2f149a6ea9
variant tag error messages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-04 02:02:50 +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
Xavier Leroy
16b0f855a4
Suppression -make-runtime, -use-runtime
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-11 12:09:06 +00:00
Daniel de Rauglaudre
15ad21a38b
Correction: la suppression du fichier préprocessé en cas d'erreur ne peut
...
avoir lieu que si le résultat du préprocesseur est un fichier binaire
"arbre de syntaxe" (typiquement produit par camlp4), sinon l'affichage
du message d'erreur se plante.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-01 08:09:58 +00:00