summaryrefslogtreecommitdiff
path: root/boot
Commit message (Collapse)AuthorAgeFilesLines
* Bootstrap.Daniel Bünzli2017-06-303-0/+0
|
* Bootstrap.alainfrisch2017-03-243-0/+0
|
* bootstrapGabriel Scherer2017-02-143-0/+0
|
* bootstrapValentin Gatien-Baron2017-02-013-0/+0
|
* BootstrapDavid Allsopp2016-12-143-0/+0
|
* Annotate Texp_function with an Ident.t for the parameter (#831)Mark Shinwell2016-10-143-0/+0
|
* bootstrap after removing string_setHongbo Zhang2016-08-071-0/+0
|
* bootstrap with new stdlib versionHongbo Zhang2016-08-073-0/+0
|
* bootstrap with new lambda IRHongbo Zhang2016-08-073-0/+0
|
* Prepare primitives required for safe stringHongbo Zhang2016-08-073-0/+0
|
* BootstrapLeo White2016-07-283-0/+0
|
* GPR#606: add unboxed typesDamien Doligez2016-07-213-0/+0
|
* Fix link.alainfrisch2016-07-211-0/+0
|
* Also remove linking hack for bytecodePierre Chambart2016-07-081-0/+0
| | | | | | | | | | | | | | | | | Adds the required_globals information to bytecode compilation units. This patch also bootstrap ocamlc. The cmo format is changed by this commit, there is no way around bootstraping here. Note that ocamldep and ocamllex does not rely on the cmo format, so they are not present in this commit. Changes in tests: * Update test/transprim/comparison_table.ml.reference: The (opaque (global List!)) expression is not present anymore * Update tests/no-alias-deps/aliases.cmo.reference The output of objinfo changed
* bootstrap againHongbo Zhang2016-04-243-0/+0
|
* bootstrapHongbo Zhang2016-04-243-0/+0
|
* Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-263-0/+0
| | | | GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably
* Add support for immediate attributeWill Crichton2016-02-023-0/+0
|
* [GC] add full-featured ephemerons in an inefficient wayFrançois Bobot2016-01-233-0/+0
| | | | | | | | | - use the generic abstract tag like weak pointers - a weak pointer is implemented using an ephemeron (one additionnal word) - add for every full GC a complexity of O((n+m)*(m+1)) with m the number of pure ephemerons, n the number of ephemerons used as weak pointers - multiple keys, modifiable keys
* bootstrapMark Shinwell2016-01-142-0/+0
|
* opaqueMark Shinwell2016-01-143-0/+0
|
* bootstrapMark Shinwell2015-12-233-0/+0
|\
| * bootstrap for new primitiveDamien Doligez2015-12-213-0/+0
| |
* | Add Format.kasprintf and fix Misc.fatal_errorf to use itMark Shinwell2015-12-232-0/+0
|/
* When copying the new compilers to boot/, also strip the #! header. It is ↵Xavier Leroy2015-12-093-0/+0
| | | | not needed and can cause spurious merge conflicts.
* Strip debugging information off the bootstrap compilers, to reduce their sizeXavier Leroy2015-12-093-0/+0
| | | | | | The stripping is done during bootstrap, when copying the new ocamlc, ocamllex and ocamldep to boot/. The new "stripdebug" tool performs this task. As a consequence, comparing the new compilers with the boot/ compilers at the end of bootstrap is more complicated, since the debug section must be ignored. A new tool, "cmpbyt" in tools/, performs this comparison.
* Revert "Add a special syntax for index operators"Gabriel Scherer2015-11-292-0/+0
| | | | | | | This reverts commit 16bc43219cbd49bb3450e362c6c3e0b3a129f374. (Conflict resolution: bytecomp/translcore.ml:prim_makearray was dead code and has since been removed)
* Revert "Simplify the use of custom .() and .[]"Gabriel Scherer2015-11-293-0/+0
| | | | | | | This reverts commit 7e47735db8bbc4e54e1653d218cc1e6c90813ba4. (Again, this required manual conflict resolution in parsing/parser.mly, due to the change in argument label type)
* Revert "Simplify the definition of custom .{} operators"Gabriel Scherer2015-11-292-0/+0
| | | | | | | This reverts commit 4a80e9da1114cb1e351a8c61cab6f04e6c1ba927. (The revert required some manual conflict resolution because of use of function argument labels in the parser.)
* bootstrapGabriel Scherer2015-11-293-0/+0
| | | | | | | Because debug-information has been enabled for compiler build (GPR#300, e69ccdb), boot/ocamlc suffers a very large increase in size: it goes from 1838126 bytes (around 1.75 MiB) to 9749343 bytes (9.30 MiB), a 5.3x increase.
* Add the predefined type extension_constructorJeremie Dimino2015-11-273-0/+0
| | | | So that we can create constants of type [extension_constructor]
* GPR#268: Hexadecimal notation for floating-point numbersXavier Leroy2015-11-193-0/+0
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * Preliminary support for hexadecimal notation for FP numbers.Xavier Leroy2015-07-263-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | - Primitives: caml_float_of_string extended to recognize "0x" hexa notation caml_hexstring_of_float new primitive We do not assume hex floats are supported by the C standard library. Instead, conversions hex string <-> float are implemented manually. - Printf: hex FP output supported with formats %h / %H - Scanf: remains to be updated (see TODO in stdlib/scanf.ml) git-svn-id: http://caml.inria.fr/svn/ocaml/branches/hex-float@16257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | simplify .gitignore; remove .ignore files and tools/setignore; adjust ↵Damien Doligez2015-11-061-6/+0
| | | | | | | | tools/check-typo
* | transl_exception_constructor now uses ImmutableMark Shinwell2015-10-283-0/+0
| |
* | bootstrap (to fix build of ocamlopt)Jérémie Dimino2015-10-233-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Replace uses of "float" by [@@unboxed] [@@noalloc]Jérémie Dimino2015-10-063-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Replace uses of "noalloc" by [@@noalloc]Jérémie Dimino2015-10-063-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Linking order for module Weak has changed.Pierre Weis2015-09-213-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-253-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 colorsGabriel Scherer2015-08-152-0/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | add primitive caml_sys_isatty; fix bootstrapGabriel Scherer2015-08-153-0/+0
|/ | | | | | (Simon Cruanes) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bootstrap (hoping to un-stuck the CI instances on format typing)Gabriel Scherer2015-07-263-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6902, GPR#210: runtime emits a warning when finalizing an I/O channel ↵Alain Frisch2015-07-243-0/+0
| | | | | | which is still open. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* update .depend and bootstrap compilers after 4.02 mergeDamien Doligez2015-07-173-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bootstrapGabriel Scherer2015-05-023-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* update bootstrap compilers to avoid "inconsistent assumptions" on 32-bit i386Damien Doligez2015-04-223-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6827: prefer string to bytes with -short-pathsDamien Doligez2015-04-073-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6521: {Bytes,Char,String}.escaped are locale-dependentDamien Doligez2015-03-113-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-083-0/+0
| | | | | | | (Peter Zotov and Jake Donham, review by Gabriel Scherer and Jacques-Henri Jourdan) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status