delta/ocaml.git/boot, branch deprecated_optional_arguments

Makefile.menhir: sanitize the standard.mly path to avoid useless churn

2018-09-06T17:06:09+00:00

Tested by François Pottier.

Bootstrap

2018-09-06T15:30:37+00:00

Parser: in the definition of [simple_core_type], replace

2018-09-04T15:20:52+00:00

[core_type_comma_list] with [core_type], as this is what is really intended:
allow a single type. This removes the need for raising [Parsing.Parse_error]
in the semantic action, and should fix bug #7847. This change alone would
create a conflict in the grammar, which is avoided by replacing
[core_type_comma_list] with [inline_core_type_comma_list] in two places.

Parser: introduce a generic definition of [reversed_separated_nonempty_list]

2018-09-04T15:19:37+00:00

and use it to give a more concise definition of [core_type_comma_list]. This
should make no difference whatsoever: the generated LALR(1) automaton should
be the same (up to some possible differences in naming).

rename parsing/parser_menhir into parsing/parser

2018-09-01T21:17:06+00:00

remove the yacc parser

2018-09-01T21:17:06+00:00

The large diff in boot/menhir/parser_menhir.ml comes from the fact
that the token list is now included in it, instead of being merely
a reference to the yacc parsers' Parser.token type.

menhir bootstrap

2018-09-01T21:17:06+00:00

menhir --fixed-exception, use the same exception as yacc

2018-09-01T21:17:05+00:00

Use $loc and $sloc (requires Menhir >= 20180703)

2018-09-01T21:17:04+00:00

This commit includes a menhir parser bootstrap, as it changes the
Docstrings API and thus wouldn't work for the previous bootstrapped
parser.

add the generated parser_menhir to the bootstrap

2018-09-01T21:17:03+00:00