516c752e0d
#5546 : change compilation scheme for nested structures (improve compilation time and sometimes runtime performance as well). Patch by F. Le Fessant.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-13 15:40:25 +00:00
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
3fa58bda89
Fix PR#5735: %apply and %revapply not first class citizens
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21 07:12:04 +00:00
d39d43e55f
merge with branch bin-annot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 14:52:37 +00:00
05c973e6ed
Compile with warning 33, and remove unused opens.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:10:03 +00:00
b2846ae5a3
PR#5364: missing thinning on (val m : S) projection
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-30 09:47:21 +00:00
d9eb848d86
PR#5238, PR#5277: Sys_error when getting error location
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04 14:59:13 +00:00
3b507dd1aa
renaming of Objective Caml to OCaml and cleanup of copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
04b1656222
clean up spaces and tabs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-22 12:48:24 +00:00
1e5b4a4857
Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.
...
Adapt the Changes file. Bump magic numbers. Bootstrap.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-26 10:53:16 +00:00
1ba87b442b
Output references to the native version of the primitives in ocamlopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-24 05:35:22 +00:00
9ea5edac9a
merge changes 3.10.0 -> 3.10.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11 16:13:18 +00:00
3958a92c72
Merge the natdynlink branch into HEAD.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-06 15:16:56 +00:00
1dd68ccf50
ajout des annotations pour variables et appels terminaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-05-16 08:21:41 +00:00
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
c2ac86736b
Revu compilation de 'module rec'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-12 12:55:11 +00:00
762a006652
Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
6a940ef65d
switch to new vtable representation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-26 11:10:52 +00:00
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
31943bac1d
depollution suite (PR#1914 et PR#1956); byterun/weak.c: PR#1929 suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-29 22:15:02 +00:00
f2095623ff
fast and compact classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-25 09:20:45 +00:00
eebd71d385
Mauvaise compilation du module rec (PR#1863)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-03 14:36:00 +00:00
62a2e69361
Bug dans init_value sur les exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-07 13:42:49 +00:00
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
04b293fe2e
Utilisation de noms uniques pour les modules toplevel (PR#1672)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:10:18 +00:00
426afa35eb
Pour l'option -pack, permettre de donner une interface explicite (via un .mli) au module synthetise
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-06 15:59:55 +00:00
632cc186a2
Bug dans la compilation de 'include <module expression with free vars>' au toplevel d'un module natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-17 13:48:55 +00:00
4cc30822ae
include A ne doit pas faire reference au global A si le module A ne definit que des types (PR#1125)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-26 07:52:27 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
64ee63cf8a
Lorsqu'une phrase toplevel contient plusieurs definitions, les traiter dans l'ordre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:40:54 +00:00
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
3800faa6c0
Les classes recursives n'etaient pas placees dans l'ordre dans les
...
modules.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 20:34:45 +00:00
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
Alain Frisch
Damien Doligez
Fabrice Le Fessant
Xavier Leroy
Jacques Garrigue
Jérôme Vouillon