summaryrefslogtreecommitdiff
path: root/bytecomp
Commit message (Collapse)AuthorAgeFilesLines
* Added tail call heuristic for native compilationannot-from-lambdaXavier Leroy2010-05-252-11/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Generate annot files from the lambda structure.Xavier Clerc2010-05-177-36/+109
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10412 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-2218-125/+118
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-203-39/+75
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez2010-01-071-13/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch2009-10-262-1/+5
| | | | | | | | Adapt the Changes file. Bump magic numbers. Bootstrap. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#0004828 fixedLuc Maranget2009-06-231-1/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-205-14/+25
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes between 3.10.2 and the end of branch 3.10Damien Doligez2008-10-083-4/+16
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Un peu de menage au passageLuc Maranget2008-10-031-5/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* optimize polymorphic variants as suggested in PR#4555Jacques Garrigue2008-08-271-0/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Implement Lazy.force as a primitive, and optimize its calls.Michel Mauny2008-08-016-24/+112
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Output references to the native version of the primitives in ocamloptAlain Frisch2008-07-243-14/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Simplified a bit matcher_lazyMichel Mauny2008-07-221-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4223, PR#1508: added unsafe variants of Bigarray.Array{1,2,3}.{get,set}Xavier Leroy2008-07-145-22/+44
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add lazy patterns.Michel Mauny2008-07-092-3/+60
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Readability: put the case lazy(float_constant) closer to other ↵Michel Mauny2008-07-081-2/+2
| | | | | | lazy(constant) cases. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8905 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Optimized the creation of lazy values in the same way as Lazy.lazy_from_val,Michel Mauny2008-07-081-2/+48
| | | | | | | | | when the values are constants, immediate abstractions and identifiers. The code is the identity when the value cannot be a float or a Lazy.t, and a forward block when this may happen. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8904 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Stop multi-parameter optimization when the pattern is refutable. Now, ((fun ↵Michel Mauny2008-06-161-1/+2
| | | | | | true -> fun x -> x) false) correctly fails. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Found a small bug in bytecomp/simplif.mlLuc Maranget2008-03-191-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8850 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from 3.10.1 to 3.10.2Damien Doligez2008-02-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-113-22/+23
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Improve -output-obj: can now build directly a dynamic library (with all the ↵Alain Frisch2007-11-151-7/+18
| | | | | | ccobjs/ccopts); can also produces simply the uncompiled .c file (e.g. to debug). The output name (-o) is now mandatory when -output-obj is used, and only an extension amongst .c, EXT_OBJ, EXT_DLL is allowed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Cleanup and factorization of linker-related code.Alain Frisch2007-11-151-37/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pass the load_path to flexlink.Alain Frisch2007-11-131-2/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Make it work under Win64.Alain Frisch2007-11-081-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-063-33/+59
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Expanding the usual compiler's type-based optimisations to private ↵Pierre Weis2007-11-011-5/+5
| | | | | | abbreviations. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number ↵Pierre Weis2007-10-091-3/+3
| | | | | | is not yet changed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-169-74/+89
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Better handling of multiple extensions (foo.d.cmo, foo.p.cmx...)Nicolas Pouillard2007-02-231-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des changements 3.09.3 -> release309_merge310Damien Doligez2007-02-095-29/+66
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revised DLL loading: distinguish between loading for executionXavier Leroy2006-09-283-11/+21
| | | | | | | | | (ocamlrun, dynlink, toplevel) and loading for checking the existence of symbols (ocamlc). This is needed for Windows with manifests and not a bad idea for other platforms. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Attempt to support Visual C++ 2005. Remain to be tested.Xavier Leroy2006-09-231-8/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* do not use builtins directlyJacques Garrigue2006-07-061-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Deplacement des infos de format des .cmo et .cma dans Cmo_formatXavier Leroy2006-05-119-83/+69
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout option /link /subsystem:console pour Windows/msvc et meilleur ↵Xavier Leroy2006-05-091-1/+1
| | | | | | traitement des options /link passees via -ccopt git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des changements 3.09.1 -> 3.09.2Damien Doligez2006-04-161-18/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add virtual instance variablesJacques Garrigue2006-04-053-56/+47
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#1956 renommage: bigarray est prefixe par ocaml_ba_Damien Doligez2006-01-272-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#3809 wrong line numbers in backtrace (partial)Damien Doligez2005-10-251-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Retour en arriere sur precedente modif (PR#3556), problematique quand toutes ↵Xavier Leroy2005-10-131-1/+1
| | | | | | les primitives C sont exportees avec 'external' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Si aucun module d'un .cma est utilise, ne pas linker les bibliotheques C ↵Xavier Leroy2005-09-241-1/+1
| | | | | | specifiees dans le .cma (PR#3556) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR #3870Luc Maranget2005-09-071-2/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#3767 features 1 and 2: display full location of events instead of one ↵Damien Doligez2005-08-259-25/+30
| | | | | | position git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des modifs de 3.08.4Damien Doligez2005-08-132-14/+24
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix PR#3576 (put free methods in environment)Jacques Garrigue2005-04-043-39/+83
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Hum, some printout code leftLuc Maranget2005-03-111-2/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* La suite: en cas de gardes le pattern macthing est compile en mode "Partial"Luc Maranget2005-03-111-7/+21
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status