Commit 0497fe23 authored by POTTIER Francois's avatar POTTIER Francois

[InspectionTableInterpreter]: require more type equalities in the signature

of the third argument [ET]. They will be needed for [feed].
parent bfcde87d
......@@ -44,7 +44,10 @@ module Make
(TT : TableFormat.TABLES)
(IT : InspectionTableFormat.TABLES
with type 'a lr1state = int)
(ET : EngineTypes.TABLE)
(ET : EngineTypes.TABLE
with type terminal = int
and type nonterminal = int
and type semantic_value = Obj.t)
= struct
(* Including [IT] is an easy way of inheriting the definitions of the types
......
......@@ -31,13 +31,16 @@ end)
[InspectionTableFormat]. *)
module Make
(B : TableFormat.TABLES)
(T : InspectionTableFormat.TABLES
with type 'a lr1state = int)
(ET : EngineTypes.TABLE)
(TT : TableFormat.TABLES)
(IT : InspectionTableFormat.TABLES
with type 'a lr1state = int)
(ET : EngineTypes.TABLE
with type terminal = int
and type nonterminal = int
and type semantic_value = Obj.t)
: IncrementalEngine.INSPECTION
with type 'a terminal := 'a T.terminal
and type 'a nonterminal := 'a T.nonterminal
and type 'a lr1state := 'a T.lr1state
with type 'a terminal := 'a IT.terminal
and type 'a nonterminal := 'a IT.nonterminal
and type 'a lr1state := 'a IT.lr1state
and type production := int
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