delta/ocaml.git/stdlib, branch flambda

PR#6245: Minor inconsistencies between related signatures in arg.mli

2013-11-30T22:15:11+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:

2013-11-29T13:04:38+00:00

14278
14277
14276
14176
14175
14173
14172
14171
14169
14168
14167
These changes need to mature on their own branch.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Reintegrate raise_variants branch.

2013-11-13T13:55:13+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Simplify special logic for array bound error (allocate the exception value from Pervasives).

2013-11-08T16:18:21+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Fix typos and wording (#6231).

2013-11-08T15:36:36+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Do not introduce Obj.raw_tag.

2013-11-06T10:57:20+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Support for exception values allocated in the static area (e.g. out of bound exception in native code).

2013-10-23T15:17:05+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Add two functions to get the exception slot id and name from an exception value.

2013-10-23T14:35:43+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Change the representation of exception slots: instead of being represented as 'string ref', they are now blocks

2013-10-23T14:28:31+00:00

of size 2, with tag = Object_tag, the first field being the pointer to the string, and second one being a unique id, generated
from the same sequence as for object values.  Special case for predefined exceptions, represented with a negative id.

The unique id generator is moved from camlinternalOO to the C runtime system.

Also fix some bugs.



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

#6203: change representation of exception values created with a constant constructor: the value is now equal to the exception slot. This avoids some allocation when the constructor is called and an extra indirection on matching against the constructor.

2013-10-18T13:00:58+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02