delta/ocaml.git/boot, branch build-with-debugging-informations

GPR#268: Hexadecimal notation for floating-point numbers

2015-11-19T09:37:20+00:00

Merge of branch 'hex-float'.

- Add support in byterun/floats.c for conversions between floats and strings in hex notation. We cannot rely on the C standard library here because Microsoft consistently fails at supporting hex notation as standardized in C99. Instead, the conversions are implemented from scratch.
- Add support in the lexer so that hex float literals are recognized in OCaml sources.
- Add support in formats. The ISO C99 format letters for hex floats are %a and %A, but %a is already taken. I chose %h and %H, which are rejected today as bad formats (hence no backward incompatibility) and don't mean anything in C either (h is a modifier, not a format letter).
- Add support in printf. All the trimmings are there in the implementation of %h and %H, including sign modifier and fixed precision.
- Benoit Vaugon contributed support in scanf.

Resolved conflicts:
	boot/ocamlc
	boot/ocamldep
	boot/ocamllex
	parsing/lexer.mll

simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/check-typo

2015-11-06T15:25:05+00:00

transl_exception_constructor now uses Immutable

2015-10-28T10:56:49+00:00

bootstrap (to fix build of ocamlopt)

2015-10-23T15:06:59+00:00

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

Replace uses of "float" by [@@unboxed] [@@noalloc]

2015-10-06T10:58:24+00:00

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

Replace uses of "noalloc" by [@@noalloc]

2015-10-06T10:58:22+00:00

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

Linking order for module Weak has changed.

2015-09-21T17:24:43+00:00

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

Support [@unboxed] and [@untagged] attributes

2015-08-25T16:18:46+00:00

Adding [@unboxed] (resp [@untagged]) on a primitive argument means
that the argument must passed unboxed (resp untagged) to the external
function. Adding [@unboxed] (resp [@untagged]) on the result means
that the external function returns its result unboxed (resp untagged).

The unboxing (resp untagging) method is derived from the type.

Currently unboxing is suported for: float, int32, int64 and nativeint.
Untagging is supported for int.

This patch also increases the cm{i,o,a,x,xa} magic numbers as the type
Primitive.description is changed.

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

bootstrap -- for the shiny colors

2015-08-15T16:11:19+00:00

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

add primitive caml_sys_isatty; fix bootstrap

2015-08-15T15:57:47+00:00

(Simon Cruanes)

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