summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Allow combining static and normal exception handlers in a single try...with.static_exceptionsAlain Frisch2013-01-111-48/+46
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Static exceptions can now escape try blocks also in native code.Alain Frisch2013-01-112-13/+39
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Static exceptions can exit try...with blocks. Currently works only in bytecode.Alain Frisch2013-01-112-18/+32
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Hide static handlers in functor body and classes/objects.Alain Frisch2013-01-102-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support for multiple static handlers in a single try...with block.Alain Frisch2013-01-101-41/+55
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Use the typing environment to keep track of static handlers. Hide static ↵Alain Frisch2013-01-103-22/+36
| | | | | | handlers under try blocks and lazy expressions. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* First version of static exceptions.Alain Frisch2013-01-1011-2/+101
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Create a branch to experiment with static exceptions (#5879).Alain Frisch2013-01-100-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fixed wrong @since version numbersDamien Doligez2013-01-081-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix #5876.Alain Frisch2013-01-081-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Doc.Alain Frisch2013-01-081-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add ocamldoc 'since' tag to Set.find.Alain Frisch2013-01-081-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #5864: add a find operation to Set.Alain Frisch2013-01-087-4/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Extend ast_mapper to allow mapping locations.Alain Frisch2013-01-071-62/+93
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Mark explicitly unused bound variables (warning 27) in tast_iter.ml.Alain Frisch2013-01-071-56/+56
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [coloring] No need to test for "well-typed" interferences.Benedikt Meurer2013-01-071-21/+11
| | | | | | | | The interference graph no longer contains "ill-typed" interferences between registers of different class, so we no longer need to test in the coloring algorithm. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [interf] Don't record "ill-typed" interferences.Benedikt Meurer2013-01-071-14/+15
| | | | | | | | The coloring algorithm uses only the "well-typed" interferences (registers with same class). This is because we don't assign the same stack slot to registers of different register class. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [arm] Inlined byte-swap operations are simple if their arguments are.Benedikt Meurer2013-01-061-0/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5774: Updates Changes.Benedikt Meurer2013-01-061-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5774: Add test for the bswap primitives.Benedikt Meurer2013-01-063-0/+53
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [arm] Implement the byte swap operations (PR#5774).Benedikt Meurer2013-01-063-8/+28
| | | | | | | | Use rev16/movt to implement direct 16-bit byte-swap operation (ARMv6T2 and above) and rev to implement the 32-bit byte-swap operation (ARMv6 and above). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reverting "PR#5868: Bytecode dependencies should not appear in output of ↵Wojciech Meyer2013-01-031-5/+3
| | | | | | | | | | | | | | | | | | | | | | | ocamldep" -native flag semantics are currently different to that what the user expects, and what was attempted to be fixed. The semantics of -native are not to completely disable generation of dependencies for bytecode instead make the compilation to native code more efficient. Most of the project are expected to be buildable with both versions of the compiler. So ocamldep is expected to always generate the dependencies in both cases. When the .mli file is absent ocamldep needs to still generate dependencies in bytecode to build the cmi only and to build cmi and cmx for the dependent compilation unit . Because of some make tool pecularities, handling of two different rules that include the same depenency is problematic, so instead when the -native flag is not used the cmo file is used as a proxy to build cmi, when the -native enabled however, the cmx file is used as proxy to build cmi file for the dependencies to avoid recompilation of the dependent .cmo file just to get .cmi file. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ignore generated fileDamien Doligez2013-01-031-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5804: bad formatting of documentationDamien Doligez2013-01-031-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5712: (6) document OCAMLRUNPARAM flag RDamien Doligez2013-01-035-6/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5712: (6) document OCAMLRUNPARAM flag RDamien Doligez2013-01-031-7/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5868: Somewhat a better fix for -native option.Wojciech Meyer2013-01-011-2/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5868: Bytecode dependencies should not appear in output of ocamldep when ↵Wojciech Meyer2013-01-011-1/+1
| | | | | | -native flag is used git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5212: Fix: ocamlbuild does not warn for bad inputWojciech Meyer2013-01-019-51/+65
| | | | | | Patch by Ygrek! git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix missing files to be installed for ocamlbuildWojciech Meyer2013-01-012-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add some test for ocamlbuild. Make ocamlbuild_test test function handle ↵Wojciech Meyer2013-01-012-19/+37
| | | | | | optional parameters and support expected failures git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Commit also .depend file for ocamlbuild Makefile.nobootWojciech Meyer2013-01-011-0/+192
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Entry point for ocamlbuild noboot version.Wojciech Meyer2013-01-011-1/+5
| | | | | | | | | | Is enabled by saying: # make OCAMLBUILD_NOBOOT=yes world.opt currently just works for bytecode only. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Initial version of Makefile.noboot that does not depend on ocamlbuild being ↵Wojciech Meyer2013-01-011-0/+226
| | | | | | | | | | | booted Still requires some work, in particular: * native build of ocamlbuild * building Camlp4 still is not working * not vpath leftover files break the further build git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove old module from ocamlbuild bootstrap Std_signatures to tide upWojciech Meyer2013-01-012-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add 'K' class of warning tag to ocamlbuildWojciech Meyer2013-01-011-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ocamlbuild_test, remove test directory tree only if existsWojciech Meyer2013-01-011-9/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add two more entries to .ignoreWojciech Meyer2012-12-311-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Removed sporious modules from .odoclWojciech Meyer2012-12-311-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* More work on ocamlbuild testsuite.Wojciech Meyer2012-12-302-32/+53
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Prefer forward slashes to backward slashes on NT as it's more portable.Wojciech Meyer2012-12-301-2/+2
| | | | | | | | | | | | Nowdays all the Windows operating systems accept both, more over it's being passed to our toolchain as a relative path (not UNC), so I see no harm if we want to be a little bit more portable. The only reason to not doing so is conventiob and IDEs which might parse Makefile.nt and not recognise it. Proposed by Adrien Nader. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* WinError.h -> winerror.h. This improves cross-compilation for Windows.Wojciech Meyer2012-12-301-1/+1
| | | | | | Patch proposed by Adrien Nader. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* config/Makefile.*: remove DBM-related variables.Wojciech Meyer2012-12-304-8/+0
| | | | | | Patch by Adien Nader! git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix several C compiler warnings.Benedikt Meurer2012-12-293-26/+30
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* New testing infrastructure for ocamlbuild (PR#5755)Wojciech Meyer2012-12-292-0/+497
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [arm] Fix arch selection with ARMv6. Rename EABI_VFP to EABI_HF.Benedikt Meurer2012-12-292-22/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [arm] Improve register pressure for interval splitting.Benedikt Meurer2012-12-281-6/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revert "PR#5652: Try to use camlp4.opt if it's possible"Wojciech Meyer2012-12-281-10/+4
| | | | | | camlp4.opt works only with native plugins therefore the fix will break bytecode camlp4 plugins. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Slightly improve ordering of constrained registers.Benedikt Meurer2012-12-271-2/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add test cases for PR#5673Jacques Garrigue2012-12-272-0/+46
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status