Commit 4f9771b2 authored by POTTIER Francois's avatar POTTIER Francois

Publish the existence of the type [MenhirInterpreter.token],

which is the same as [token].
parent b508805d
......@@ -3,6 +3,15 @@
module I =
Parser.MenhirInterpreter
(* TEMPORARY *)
module Essai = (I : sig
include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE
include MenhirLib.IncrementalEngine.INSPECTION
with type 'a lr1state := 'a lr1state
with type production := production
end)
(* The length of a stream. *)
let rec length xs =
......
......@@ -115,7 +115,7 @@ let inspection_api grammar () =
(* The incremental API. *)
let incremental_engine () : module_type =
with_types WKDestructive
with_types WKNonDestructive
"MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE"
[
[],
......
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