Commit dc2f76a1 authored by POTTIER Francois's avatar POTTIER Francois

Explicit dependencies of Interface on TokenType.

parent 592c86e9
open UnparameterizedSyntax
open IL
open CodeBits
open TokenType
(* In this module, we use [PreFront], not [Grammar], in order to avoid
a circularity. [Interface] is used by [Infer], which runs before
......@@ -34,7 +33,7 @@ let ocamltype_of_start_symbol symbol =
let entrytypescheme symbol =
let typ = ocamltype_of_start_symbol symbol in
type2scheme (marrow [ arrow tlexbuf ttoken; tlexbuf ] typ)
type2scheme (marrow [ arrow tlexbuf TokenType.ttoken; tlexbuf ] typ)
(* When the table back-end is active, the generated parser contains,
as a sub-module, an application of [Engine.Make]. This sub-module
......@@ -69,7 +68,7 @@ let table_interface =
MTNamedModuleType "MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE",
"token", (* NOT [tctoken], which is qualified if [--external-tokens] is used *)
WKDestructive,
ttoken
TokenType.ttoken
)
);
IIComment "The entry point(s) to the incremental API.";
......@@ -83,11 +82,11 @@ let table_interface =
(* This is the interface of the generated parser. *)
let tokentypedef =
match tokentypedef with
match TokenType.tokentypedef with
| [] ->
[]
| _ ->
[ IIComment "The type of tokens."; IITypeDecls tokentypedef ]
[ IIComment "The type of tokens."; IITypeDecls TokenType.tokentypedef ]
let interface = [
IIFunctor (PreFront.grammar.parameters,
......
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