summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Sync with trunk.constructors_with_record4Alain Frisch2014-10-090-0/+0
|\
| * Update dependencies.Alain Frisch2014-10-091-8/+7
* | Update dependencies.Alain Frisch2014-10-091-4/+3
* | Sync with trunk.Alain Frisch2014-10-091-6/+3
|\ \ | |/
| * Factorize code to print constructors.Alain Frisch2014-10-092-27/+35
* | Cleanup.Alain Frisch2014-10-094-42/+34
* | Cleanup.Alain Frisch2014-10-091-2/+1
* | Fix.Alain Frisch2014-10-091-1/+3
* | Better error message.Alain Frisch2014-10-091-3/+1
* | Text.Alain Frisch2014-10-091-1/+1
* | Record arguments under extension constructors can be mutable.Alain Frisch2014-10-091-1/+1
* | Sync with trunk.Alain Frisch2014-10-094-95/+108
|\ \ | |/
| * Move constructor and label description records to the bottom of Types. Conce...Alain Frisch2014-10-092-86/+86
| * Add 0x400 flag to OCAMLRUNPARAM=v. It displays the total number of words all...Alain Frisch2014-10-091-0/+12
| * minor: correct error locations in emit.mlpGabriel Scherer2014-10-081-1/+2
* | Improve error message.Alain Frisch2014-10-071-3/+11
* | Reduce diff with trunk.Alain Frisch2014-10-071-1/+0
* | Reduce diff with trunk.Alain Frisch2014-10-071-2/+3
* | Stop propagating manifest on inlined record types created by rebinding of ext...Alain Frisch2014-10-075-30/+26
* | Sync with trunk.Alain Frisch2014-10-0718-94/+151
|\ \ | |/
| * Simplify removal of duplicated values in signatures, reusing the same code as...Alain Frisch2014-10-071-73/+35
| * followup to PR#6590: disable optimization -GyDamien Doligez2014-10-062-6/+6
| * Document -ppx option.Gabriel Scherer2014-10-046-10/+47
| * tell ocamlbuild about ocamldep's support of -openGabriel Scherer2014-10-032-0/+13
| * ocamldep support for -openGabriel Scherer2014-10-033-12/+23
| * minor refactoring in ocamldep.mlGabriel Scherer2014-10-031-5/+8
| * minor configure changesGabriel Scherer2014-10-031-5/+5
| * sync configure with the bdf.h objinfo changeGabriel Scherer2014-10-031-2/+2
| * PR#6181 and PR#6590Damien Doligez2014-10-035-25/+28
| * Factorize.Alain Frisch2014-10-033-69/+44
* | Disallow completely inline records on GADT constructors.Alain Frisch2014-10-071-8/+4
* | Sync with trunk.Alain Frisch2014-10-031-2/+0
* | Sync with trunk.Alain Frisch2014-10-031-3/+3
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-14/+17
* | Sync with trunk.Alain Frisch2014-10-031-0/+1
|\ \ | |/
| * Factorize.Alain Frisch2014-10-033-65/+70
* | Sync with trunk + cleanup.Alain Frisch2014-10-031-17/+13
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-9/+7
* | Sync with trunk.Alain Frisch2014-10-030-0/+0
|\ \ | |/
| * Cleanup.Alain Frisch2014-10-031-10/+10
* | Cleanup.Alain Frisch2014-10-031-2/+1
* | Sync with trunk.Alain Frisch2014-10-031-8/+2
|\ \ | |/
| * Factorize.Alain Frisch2014-10-031-39/+22
* | Sync with trunk.Alain Frisch2014-10-031-0/+1
|\ \ | |/
| * Cleanup detection of duplicated type/... names.Alain Frisch2014-10-031-37/+42
* | Reduce diff.Alain Frisch2014-10-031-10/+5
* | Reduce diff.Alain Frisch2014-10-032-6/+5
* | Reduce diff.Alain Frisch2014-10-031-2/+2
* | Reduce diff.Alain Frisch2014-10-031-9/+7
* | Sync with trunk.Alain Frisch2014-10-031-12/+10
|\ \ | |/