summaryrefslogtreecommitdiff
path: root/bytecomp/lambda.ml
Commit message (Collapse)AuthorAgeFilesLines
* Generate annot files from the lambda structure.Xavier Clerc2010-05-171-6/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clean up spaces and tabsDamien Doligez2010-01-221-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Implement Lazy.force as a primitive, and optimize its calls.Michel Mauny2008-08-011-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4223, PR#1508: added unsafe variants of Bigarray.Array{1,2,3}.{get,set}Xavier Leroy2008-07-141-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des changements 3.09.3 -> release309_merge310Damien Doligez2007-02-091-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#3767 features 1 and 2: display full location of events instead of one ↵Damien Doligez2005-08-251-8/+8
| | | | | | position git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix PR#3576 (put free methods in environment)Jacques Garrigue2005-04-041-37/+62
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* share some stringsJacques Garrigue2004-11-301-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy2004-07-131-0/+58
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* switch to new vtable representationJacques Garrigue2004-05-261-3/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* changement des locations, premiere trancheDamien Doligez2002-11-011-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Complex bigarraysXavier Leroy2002-02-101-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* optimsation pm a donfLuc Maranget2001-02-191-17/+31
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-6/+34
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-3/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des conversions int <-> int32 <-> int64Xavier Leroy2000-03-051-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Optimisation des acces aux bigarraysXavier Leroy2000-02-281-0/+16
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des types predefinis int32, int64, nativeint.Xavier Leroy2000-02-211-0/+19
| | | | | | | | 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
* Revu compilation du filtrage des variants. Ajout de la primitive Pisint et ↵Xavier Leroy1999-12-061-0/+2
| | | | | | de l'instruction bytecode ISINT. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de Pervasives.ignore. List.remove -> List.remove_ass*Xavier Leroy1999-02-241-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouveau schema de compilation des definitions d'une unite de compilation en ↵Xavier Leroy1999-02-041-0/+45
| | | | | | ocamlopt git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du let_kind Variable, pour aider les transformations ulterieures (e.g. ↵Xavier Leroy1998-04-301-1/+1
| | | | | | propagation des constantes entieres dans Closure) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de pseudo-evenements en debut de fonction (on ne s'y arrete pas,Jérôme Vouillon1997-03-271-0/+2
| | | | | | | | | mais on peut y mettre des point d'arret). Permet de mettre un point d'arret au debut de n'importe quelle fonction ("break function"). Ce point d'arret est commun a tous les cas de la fonction git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Corrections de bugs dans la gestion des evenements de debug.Xavier Leroy1997-02-191-0/+1
| | | | | | | | | Conserver l'optimisation tailcall et push-acc meme en presence d'evenements de debug. Stockage plus efficace des infos de debug dans les .cmo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du support pour le debuggerXavier Leroy1996-11-291-0/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Detection des fonctions tuplifiees.Xavier Leroy1996-10-221-2/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du module Types et d'infos d'environnement dans Typedtree.Xavier Leroy1996-09-231-1/+0
| | | | | | | 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
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Extension objets.Jérôme Vouillon1996-04-221-3/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Compilation du pattern-matching revue (orpats, matchings avec entiersXavier Leroy1996-04-041-16/+13
| | | | | | | et caracteres). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de la primitive %absfloat (valeur absolue flottante).Xavier Leroy1996-03-071-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* lambda: () est const_pointer 0, pas const_int 0Xavier Leroy1996-01-091-1/+1
| | | | | | | bytegen: bug dans "if not cond then ... else ()". git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@606 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Lfunction a plusieurs arguments. Decurryfication faite dans Translcore.Xavier Leroy1995-12-191-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Acces aux variables liees par un pattern-matching entierement revu.Xavier Leroy1995-12-151-20/+10
| | | | | | | Passe d'elimination des lets inutiles. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Transformation des references en variablesXavier Leroy1995-11-251-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout flag mutable sur Pmakeblock, qui desactiveXavier Leroy1995-11-091-1/+1
| | | | | | | l'approximation pour e.g. les references vers des fonctions. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Foncteurs applicatifs.Xavier Leroy1995-08-231-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Creation du module primitive.Xavier Leroy1995-07-271-6/+25
| | | | | | | Gestion speciale des tableaux de flottants et des records de flottants. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement representation des primitives.Xavier Leroy1995-07-251-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Introduction de Pintoffloat et Pfloatofint.Xavier Leroy1995-07-111-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@75 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-4/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@72 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Codage des constructeurs constants avec Const_pointerXavier Leroy1995-07-021-4/+15
| | | | | | | | | Optimisation de match (a,b) with (p1,p2) -> Renommage de codegen -> bytegen, linker -> bytelink. emitcode: cas Kdummy 0. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@53 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fermetures representees en un seul blocXavier Leroy1995-06-221-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@49 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement representation des constructeurs constants.Xavier Leroy1995-06-181-6/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@40 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remplacement de Cset par SetXavier Leroy1995-05-301-9/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@20 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+129
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status