summaryrefslogtreecommitdiff
path: root/bytecomp
Commit message (Expand)AuthorAgeFilesLines
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-1111-23/+47
* Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-256-76/+47
* GPR#213: Simplif.emit_tail_infos: recurse on function body in an applicationGabriel Scherer2015-07-251-0/+1
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-173-15/+36
* Fix PR#6874 by pushing module pattern bindings together with default argument...Jacques Garrigue2015-05-212-5/+29
* #6845: -no-check-prims to tell ocamlc not to check primitives in runtime.Alain Frisch2015-04-221-1/+1
* GPR#111: `(f [@taillcall]) x y` warns if `f x y` is not a tail-callGabriel Scherer2015-04-1210-42/+84
* GPR#133: turn the Lfunction payload (in Lambda.lambda) into a recordGabriel Scherer2015-04-128-70/+89
* Add location info on Tcoerce_primitiveFabrice Le Fessant2015-04-031-3/+3
* Ignore rec_flag on "type" items in TranslmodJérémie Dimino2015-03-131-5/+5
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-084-3/+13
* PR#6642: replace $CAMLORIGIN in -ccopt with the path to cma or cmxaGabriel Scherer2015-02-081-3/+4
* Resolve PR#6742: remove duplicate virtual_flag information from Tstr_classJacques Garrigue2015-01-161-28/+19
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-221-1/+1
* minor: cut too-long linesGabriel Scherer2014-12-211-1/+2
* PR#6475: accept -o in ocamlc when compiling C filesGabriel Scherer2014-12-211-1/+1
* PR6695: Make sure the compiler only uses ASCII string functions.Gabriel Scherer2014-12-212-3/+3
* PR#6616: allow meaningful use of -use-runtime without -custom.Gabriel Scherer2014-12-211-1/+1
* Add a special syntax for index operatorsGabriel Scherer2014-12-131-1/+18
* correct PR#6674Luc Maranget2014-11-252-4/+13
* specialize_comparison: also specialize bool and all-constant-constructors typesGabriel Scherer2014-11-171-1/+2
* New primitive: caml_alloc_dummy_function ... caml_alloc_dummy_function takes ...Gabriel Scherer2014-11-171-3/+10
* Sys: Use constant for some runtime limitations.Gabriel Scherer2014-11-175-0/+10
* Translcore.transl_primitive: enable type-directed optimizationsGabriel Scherer2014-11-175-94/+116
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-171-5/+6
* Printlambda: print array kind with array primitivesGabriel Scherer2014-11-171-6/+12
* Solve PR#6646, ie avoid introducing huge jump summariesLuc Maranget2014-11-071-41/+58
* merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-156-33/+48
|\
| * Sync with trunk.Alain Frisch2014-09-0411-31/+49
| |\
| * \ Sync with trunk. Rebinding of inlined extension constructors with free variab...Alain Frisch2014-08-0730-185/+396
| |\ \
| * \ \ Synchronize with trunk.Alain Frisch2014-04-221-19/+31
| |\ \ \
| * \ \ \ Synchronize with trunk.Alain Frisch2014-04-1414-365/+700
| |\ \ \ \
| * | | | | Keep inlined records in Typedtree and Types. Synthesize record types when in...Alain Frisch2014-04-071-2/+3
* | | | | | Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-146-19/+60
|\ \ \ \ \ \ | |/ / / / / | | | | | / | |_|_|_|/ |/| | | |
| * | | | Distinguish explicitly representation of regular records and inlined records ...Alain Frisch2014-04-044-11/+18
| * | | | Support for record arguments on exceptions.Alain Frisch2014-04-014-12/+31
| * | | | Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-311-3/+2
| * | | | Encode record arguments into extra record declarations.Alain Frisch2014-03-314-12/+18
| * | | | Some preparation for record arguments.Alain Frisch2014-03-281-2/+3
* | | | | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-2211-31/+49
| |_|_|/ |/| | |
* | | | first part of Benoît Vaugon's format-gadts patchGabriel Scherer2014-05-121-1/+0
* | | | Correct PR#6412 by ruling out sharing of LeventsLuc Maranget2014-05-122-8/+14
* | | | Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-0922-0/+89
* | | | re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-077-13/+24
* | | | Indent + comment.Alain Frisch2014-05-051-0/+3
* | | | #6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, bac...Alain Frisch2014-05-055-26/+70
* | | | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-044-89/+134
* | | | Add support for floating attributes in class structures and class signatures....Alain Frisch2014-05-041-2/+4
* | | | add the %int_as_pointer primitiveJérémie Dimino2014-05-025-0/+7
* | | | revert commit 14719Jacques Garrigue2014-05-027-24/+13