Commit 68a590db authored by POTTIER Francois's avatar POTTIER Francois

Remove the old grammar expansion code, ExpandParameterizedGrammar.

parent fe331e4f
This diff is collapsed.
(* *)
(* Menhir *)
(* *)
(* François Pottier, Inria Paris *)
(* Yann Régis-Gianas, PPS, Université Paris Diderot *)
(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU General Public License version 2, as described in the *)
(* file LICENSE. *)
(* *)
(* This turns a grammar where nonterminal symbols can be parameterized
into a grammar where nonterminal symbols are not parameterized. The
transformation is a textual expansion process, whose termination is
guaranteed by a simple type system.
Expansion creates new nonterminal symbols whose names contain
parentheses and commas. These names can be printed directly in
informational messages (error messages, conflict reports,
descriptions of the automaton, etc.). However, they must be
sanitized via [Misc.normalize] when printed in a context where a
valid identifier is expected. *)
val expand : Syntax.grammar -> UnparameterizedSyntax.grammar
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