summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
* Preliminary support for hexadecimal notation for FP numbers.Xavier Leroy2015-07-263-0/+0
* bootstrap (hoping to un-stuck the CI instances on format typing)Gabriel Scherer2015-07-263-0/+0
* PR#6902, GPR#210: runtime emits a warning when finalizing an I/O channel whic...Alain Frisch2015-07-243-0/+0
* update .depend and bootstrap compilers after 4.02 mergeDamien Doligez2015-07-173-0/+0
* bootstrapGabriel Scherer2015-05-023-0/+0
* update bootstrap compilers to avoid "inconsistent assumptions" on 32-bit i386Damien Doligez2015-04-223-0/+0
* PR#6827: prefer string to bytes with -short-pathsDamien Doligez2015-04-073-0/+0
* PR#6521: {Bytes,Char,String}.escaped are locale-dependentDamien Doligez2015-03-113-0/+0
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-083-0/+0
* Exhauce PR#6611: remove the option wrapper on optional arguments in the synta...Jacques Garrigue2014-12-222-0/+0
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-223-0/+0
* Simplify the definition of custom .{} operatorsGabriel Scherer2014-12-132-0/+0
* Simplify the use of custom .() and .[]Gabriel Scherer2014-12-133-0/+0
* Add a special syntax for index operatorsGabriel Scherer2014-12-132-0/+0
* bootstrapGabriel Scherer2014-11-173-0/+0
* bootstrapGabriel Scherer2014-11-173-0/+0
* bootstrapGabriel Scherer2014-11-173-0/+0
* tentative fix of PR#6651Jacques Garrigue2014-11-123-0/+0
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-143-0/+0
|\
| * Adapt printer.Alain Frisch2014-04-073-0/+0
| * Support for record arguments on exceptions.Alain Frisch2014-04-013-0/+0
| * Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-313-0/+0
| * Encode record arguments into extra record declarations.Alain Frisch2014-03-313-0/+0
| * Some preparation for record arguments.Alain Frisch2014-03-283-0/+0
* | Fix PR#6593: Functor application in tests/basic-modules failsJacques Garrigue2014-10-023-0/+0
* | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-223-0/+0
* | Cherry-pick 15062,15063,15064 from 4.02 (#6497).Alain Frisch2014-08-073-0/+0
* | PR#6418: support "@[<hov %d>" in the new format implementation (Benoît Vaugon)Gabriel Scherer2014-06-143-0/+0
* | PR#6418: fix format regression on "@{<..%d..%s..>" (Benoît Vaugon)Gabriel Scherer2014-06-093-0/+0
* | Fix PR#6417: sprintf broken when local module named Pervasives is in scopeGabriel Scherer2014-06-091-0/+0
* | bootstrapGabriel Scherer2014-06-093-0/+0
* | format+gadts: make format types "relational" to fix %(...%) typingGabriel Scherer2014-05-213-0/+0
* | Use a nominal datatype for CamlinternalFormat.format6Gabriel Scherer2014-05-143-0/+0
* | bootstrap with -no-naked-pointers againGabriel Scherer2014-05-122-0/+0
* | final bootstrap (make partialclean core coreboot)Gabriel Scherer2014-05-123-0/+0
* | boostrap (same steps as the last one)Gabriel Scherer2014-05-121-0/+0
* | finish %_[nNlL] boostrap (same bootstrap steps)Gabriel Scherer2014-05-121-0/+0
* | temporary bootstrap (%_[nNlL] not yet handled by the typer)Gabriel Scherer2014-05-121-0/+0
* | bootstrapGabriel Scherer2014-05-123-0/+0
* | temporarily revert the bootstrap of naked-pointers before merging format+gadtsGabriel Scherer2014-05-123-0/+0
* | no-naked-pointers patchMark Shinwell2014-05-123-0/+0
* | bootstrapGabriel Scherer2014-05-103-0/+0
* | re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-073-0/+0
* | change -trans-mod to -no-alias-deps, and update messageJacques Garrigue2014-05-051-0/+0
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-043-0/+0
* | Add FIRST_UNIMPLEMENTED_OP instructioon to simplify bootstrapping after addin...Fabrice Le Fessant2014-05-043-0/+0
* | fix bug in previous Val_unit initialization patchMark Shinwell2014-05-023-0/+0
* | revert commit 14719Jacques Garrigue2014-05-023-0/+0
* | weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-013-0/+0
* | merge branch "safe-string"Damien Doligez2014-04-293-0/+0