Commit cbf1d8dc authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent db8f8d4a
(* This module instantiates the generic [Engine] with a thin decoding layer
for the generated tables. Like [Engine], it is part of [MenhirLib]. *)
(* The exception [Accept] is pre-declared here: this obviates the need
for generating its definition. The exception [Error] is declared
within the generated parser. This is preferable to pre-declaring it
here, as it ensures that each parser gets its own, distinct [Error]
exception. This is consistent with the code-based back-end. *)
(* This functor is invoked by the generated parser. *)
module Make (T : TableFormat.TABLES)
= Engine.Make (struct
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