Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit d1026227 authored by Frédéric Bour's avatar Frédéric Bour

add location directive

parent d05e16cf
......@@ -137,6 +137,7 @@ let drop (g : S.grammar) : T.grammar =
T.preludes = g.S.p_preludes;
T.postludes = g.S.p_postludes;
T.parameters = g.S.p_parameters;
T.location = g.S.p_location;
T.start_symbols = StringMap.domain g.S.p_start_symbols;
T.types = drop_type_declarations g.S.p_types;
T.tokens = g.S.p_tokens;
......
......@@ -81,6 +81,14 @@ Examples of well-formed declarations:
# ----------------------------------------------------------------------------
grammar: LOCATION UID
Ill-formed %parameter declaration.
Examples of well-formed declarations:
%location <MyLocation.Module>
# ----------------------------------------------------------------------------
grammar: PERCENTPERCENT TYPE
Either a rule or %% is expected at this point.
......
......@@ -80,6 +80,7 @@ type grammar = {
preludes : Stretch.t list;
postludes : Syntax.postlude list;
parameters : Stretch.t list;
location : Stretch.t option;
start_symbols : StringSet.t;
types : Stretch.ocamltype StringMap.t;
tokens : Syntax.token_properties StringMap.t;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment