summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | Merge pull request #1585 from alainfrisch/optim_ocamllex_mlGabriel Scherer2018-01-306-144/+557
|\ \ | | | | | | Optimize "ocamllex -ml"
| * | Changelog.alainfrisch2018-01-301-0/+3
| | |
| * | Refactor.alainfrisch2018-01-301-9/+16
| | |
| * | Move inlining decision to its own function.alainfrisch2018-01-301-14/+17
| | |
| * | Avoid quoted strings, better indentation, limit scope of internal variables.alainfrisch2018-01-301-84/+89
| | |
| * | Emit indented code (patch from Frederic Bour)alainfrisch2018-01-301-91/+86
| | |
| * | Update benchmark and results.alainfrisch2018-01-262-1/+14
| | |
| * | Do not update lex_start_p/lex_curr_p when lex_curr_p == Lexing.dummy_pos.alainfrisch2018-01-261-5/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | This allows the client code to disable update of those fields, which accounts for a significant amount of time spend in the generated code. Perhaps this should rather be controlled more statically (to avoid a runtime check -- but it is very cheap), by some directive in the lexer specification itself (global, or on each rule).
| * | Benchmark results.alainfrisch2018-01-261-0/+98
| | |
| * | Also test a simpler lexer with trivial actions.alainfrisch2018-01-262-0/+90
| | |
| * | Optimize output of ocamllex -mlalainfrisch2018-01-261-134/+258
| | |
| * | Add benchmark for ocamllex-generated lexers.alainfrisch2018-01-262-0/+71
| |/
* | Fix MPR#7711 (constraint hides object fields and causes assertion) (#1581)Jacques Garrigue2018-01-304-1/+29
|/ | | | * fix by checking for self type in Ctype.unify3
* Merge pull request #1545 from jfehrle/improve_docFlorian Angeletti2018-01-254-44/+59
|\ | | | | Improvements to OCaml manual
| * Merge pull request #1 from Octachron/pr/1545Jim Fehrle2018-01-250-0/+0
| |\ | | | | | | manual: last minute fixes
| | * manual: small fixesoctachron2018-01-252-2/+2
| | |
| | * Improve wording in several places in the OCaml manual, mostly in chapterJim2018-01-244-45/+60
| | | | | | | | | | | | | | | 1. PR#7698
| * | Improve wording in several places in the OCaml manual, mostly in chapterJim2018-01-254-44/+59
| |/ | | | | | | | | 1. PR#7698
* | Merge pull request #1577 from gasche/pattern-matching-3Gabriel Scherer2018-01-232-33/+41
|\ \ | | | | | | parmatch.ml refactoring: make the simplify_head_pat functions more generic
| * | parmatch.ml refactoring: make the simplify_head_pat functions more genericGabriel Scherer2018-01-192-33/+41
| | |
* | | Merge pull request #1576 from trefis/pr7712Thomas Refis2018-01-233-1/+24
|\ \ \ | | | | | | | | forget_abbrev: do not assert when no abbrevs
| * | | ChangesThomas Refis2018-01-231-0/+3
| | | |
| * | | pr7712: add a testThomas Refis2018-01-231-0/+20
| | | |
| * | | forget_abbrev: do not assert when no abbrevsThomas Refis2018-01-231-1/+1
|/ / /
* | | ocamltest: enhance communication with hooksSébastien Hinderer2018-01-224-12/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, ocamltest hooks could modify environment when they succeded, but they were not able to report a reason when they returned a skip or falure result. This commit removes this limitation. To do so, the ocamltest_env variable has been renamed to ocamltest_response. When the hook returns a PASS result, the content of the ${ocamltest_response} file is interpreted as a list of environment modifiers, as was the case for the content of ${ocamltest_env} before this commit. However, from now on, the content of ${ocamltest_response} is also read (as a string, which is trimmed), when the hook returns a skip or failure result. This string should describe why the hook returned the skip or fail result.
* | | ocamltest: add the OCaml-specific shared-libraries actionSébastien Hinderer2018-01-228-32/+36
| | | | | | | | | | | | | | | This action passes when support for shared libraries has been configured. Otherwise, it skips.
* | | Update ChangesPierre Chambart2018-01-211-0/+5
| | |
* | | Avoid generating initialization code for init symbol of constantsPierre Chambart2018-01-216-31/+74
| |/ |/|
* | Merge pull request #1575 from dra27/docs-typo-ucharGabriel Scherer2018-01-192-5/+5
|\ \ | | | | | | Minor docs correction
| * | s/an Unicode/a Unicode/David Allsopp2018-01-192-5/+5
|/ /
* | Follow up to #1559 : have the name of unknown missing tag depend on the row ↵Jacques Garrigue2018-01-186-59/+77
| | | | | | | | | | | | (#1564) Print `AnyOtherTag (with possible extra apostrophes to avoid conflicts) it there is a row variable, or `<some private tag> if this is a private row.
* | Update changesSébastien Hinderer2018-01-171-1/+1
| |
* | Migrate tests/typing-warnings tests to ocamltestSébastien Hinderer2018-01-1733-273/+324
| |
* | Migrate tests/typing-unboxed-types test to ocamltestSébastien Hinderer2018-01-175-123/+110
| |
* | Migrate typing-short-paths tests to ocamltestSébastien Hinderer2018-01-1714-68/+70
| |
* | Migrate typing-private tests to ocamltestSébastien Hinderer2018-01-175-106/+92
| |
* | Migrate typing-objects tests to ocamltestSébastien Hinderer2018-01-1722-242/+259
| |
* | Migrate typing-fstclassmod tests to ocamltestSébastien Hinderer2018-01-173-22/+5
| |
* | Migrate tool-toplevel tests to ocamltestSébastien Hinderer2018-01-1711-57/+54
| |
* | Migrate gc-roots test to ocamltestSébastien Hinderer2018-01-173-23/+6
| |
* | ocamltest: the ocaml action should include the toplevel directorySébastien Hinderer2018-01-171-0/+7
| |
* | ocamltest: use values of variables if defined in toplevel testSébastien Hinderer2018-01-161-17/+24
| |
* | ocamltest: let toplevel test use auxiliary modulesSébastien Hinderer2018-01-163-28/+126
| |
* | byterun/interp: simplified implementation of LSRINT and ASRINT (#1563)Max Mouratov2018-01-142-3/+5
| | | | | | | | | | | | Clearing the tag bit of the first argument is redundant. The formulas are now the same as in cmmgen.
* | Add reference to Cygwin64 rebase issue in flexlinkDavid Allsopp2018-01-111-0/+1
|/
* MPR#7702: refresh raise counts when inlining a function (#1553)Xavier Clerc2018-01-097-36/+79
|
* Merge pull request #1560 from gasche/pattern-matchingGabriel Scherer2018-01-092-45/+43
|\ | | | | Pattern matching refactoring
| * ChangesGabriel Scherer2018-01-091-1/+1
| |
| * parmatch.ml refactoring: make (full_constrs cond []) return falseGabriel Scherer2018-01-091-21/+18
| |
| * parmatch.ml refactor: minor style changeGabriel Scherer2018-01-091-23/+24
|/
View Lorry Controller Status