summaryrefslogtreecommitdiff
path: root/bytecomp/lambda.mli
Commit message (Collapse)AuthorAgeFilesLines
* Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rename raise_nostack -> raise_notrace. Expose it in Pervasives.Alain Frisch2013-10-141-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6203, #5935: variants of raise. 'reraise' is currently only inserted by the ↵Alain Frisch2013-10-141-1/+6
| | | | | | compiler when an handler does not catch the exception. The default 'raise' always start with a fresh backtrace. There is also 'raise_nostack' which does not trigger the stack trace recording. Bytecode only for now. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5774: Add bswap primitives for amd64Fabrice Le Fessant2012-11-291-0/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and bigarraysFabrice Le Fessant2012-11-091-0/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5762: Add primitives for fast access to bigarray dimensionsFabrice Le Fessant2012-11-061-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Backported '%apply' and '%revapply' from 3.12.1+dev to 3.13+devFabrice Le Fessant2012-01-231-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4971: wrong variable name in alpha/proc.ml; cleanups in lex/cset.mli and ↵Xavier Leroy2010-04-181-2/+0
| | | | | | bytecomp/lambda.mli git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clean up spaces and tabsDamien Doligez2010-01-221-1/+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-1/+1
| | | | 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-3/+3
| | | | | | 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-0/+2
| | | | 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/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* switch to new vtable representationJacques Garrigue2004-05-261-1/+3
| | | | 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-4/+15
| | | | 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-2/+10
| | | | 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-2/+4
| | | | 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/+3
| | | | | | 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/+1
| | | | 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/+10
| | | | | | 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
* Ajout du support pour le debuggerXavier Leroy1996-11-291-0/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Detection des fonctions tuplifiees.Xavier Leroy1996-10-221-1/+3
| | | | 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-1/+4
| | | | 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-7/+10
| | | | | | | 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
* Lfunction a plusieurs arguments. Decurryfication faite dans Translcore.Xavier Leroy1995-12-191-1/+1
| | | | 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-8/+6
| | | | | | | 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/+1
| | | | 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
* "with" -> "with type"Xavier Leroy1995-10-031-1/+1
| | | | | | | Compilation de [| ... |] avec plus de 256 elements. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@310 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
View Lorry Controller Status