Damien Doligez
acb60d3c7e
depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-12 18:56:59 +00:00
Jacques Garrigue
56c42b04e5
mise a jour
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:21:36 +00:00
Xavier Leroy
5e152f7945
- Revu en profondeur la verification des CRC d'interfaces.
...
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
l'executable bytecode, section CRCS. Revu Dynlink pour utiliser ces
CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:42:12 +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
Luc Maranget
c417b82d9e
nouveau ocamllex
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-28 16:46:50 +00:00
Damien Doligez
851b9cb158
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 16:38:07 +00:00
Damien Doligez
8bd27a45b4
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 15:48:45 +00:00
Xavier Leroy
38b49667b1
MAJ dependances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 13:38:00 +00:00
Damien Doligez
77173a5fe7
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4822 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:23:05 +00:00
Pierre Weis
01ca2d9ec2
Introducing a ``scanf'' facility in Objective Caml.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-07 07:41:12 +00:00
Xavier Leroy
bb3cefcb70
Minimiser les dependances sur toplevellib.cma dans les toplevels crees par ocamlmktop (evite des conflits avec des modules de l'utilisateur qui ont le meme nom que des modules references par topstart)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-24 08:02:51 +00:00
Damien Doligez
4e87d1239d
deps + factorisation sprintf/kprintf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-13 17:34:58 +00:00
Daniel de Rauglaudre
1a2ab84a39
ajoute interface pour oprint
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 12:17:56 +00:00
Daniel de Rauglaudre
50161b7513
Regroupement des impressions "outcometree" dans un seul module oprint.ml.
...
Ajout de hooks de print dans toploop.mli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 11:09:19 +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
Xavier Leroy
08d7cf9340
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3950 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 09:33:32 +00:00
Xavier Leroy
212aca66cf
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3836 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-02 15:13:28 +00:00
Daniel de Rauglaudre
98fce1d671
Suppression du parsage des streams et des parseurs (comme prévu, maintenant
...
que Camlp4 est inclus).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-09 11:39:34 +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
91e077432c
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 10:01:28 +00:00
Daniel de Rauglaudre
3b5da7725e
Personalisation de l'affichage des valeurs et des types dans le toplevel.
...
Ajouté module Outcometree et des hooks dans le toplevel: print_out_value et
print_out_type. (j'ai oublié de mettre un message log dans le 1er commit)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-04 10:08:19 +00:00
Daniel de Rauglaudre
10078faaa7
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-02 08:51:55 +00:00
Xavier Leroy
0ec00520a7
Version = 3.01; MAJ deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-06 12:53:58 +00:00
Luc Maranget
a9c4a16caa
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:15:42 +00:00
Damien Doligez
b594c39052
toplevel: prompt * dans les commentaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-14 10:47:23 +00:00
Xavier Leroy
2a8e70c780
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-13 09:28:26 +00:00
Damien Doligez
e0d6b67703
deps + bootstrap
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-09 10:54:22 +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
Pierre Weis
7b0c301e84
Evidemment il manquait une dependance (sur primitive.mli) a cause du
...
bug de ocamldep sur les labels qualifies!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-28 07:59:29 +00:00
Damien Doligez
dbabdd47ab
bof
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-20 14:19:42 +00:00
Xavier Leroy
b0e043eb2d
Re-faire marcher la trace (PR#213)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-07 13:18:20 +00:00
Luc Maranget
89f252d93e
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:08:30 +00:00
Jacques Garrigue
5dfbff7f5e
change variance syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 10:57:32 +00:00
Damien Doligez
2d84d27cb1
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:05:45 +00:00
Xavier Leroy
9bacf41bfa
Eradication de Formatmsg
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-21 11:55:31 +00:00
Pierre Weis
da86545caa
Suppression de Formatmsg
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3122 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-21 08:09:42 +00:00
Xavier Leroy
d84700a77c
MAJ dependances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-09 16:06:36 +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
1cac403368
Ajout des modules Int32, Int64 et Nativeint
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2807 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-11 15:09:27 +00:00
Damien Doligez
71e622a29a
dependances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-01-07 18:08:43 +00:00
Damien Doligez
27a8e18476
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-29 19:48:17 +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
Damien Doligez
b28fc147ba
dependances, dependances...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-09 15:46:12 +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
Xavier Leroy
b9446dbe28
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@2481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 17:02:23 +00:00
Luc Maranget
9f6e05ecce
Partial match avec joli message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-29 14:42:37 +00:00
Damien Doligez
0df72f3e86
blah
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-21 10:03:12 +00:00
Damien Doligez
0342269510
blah
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-09-14 17:19:33 +00:00