Commit dd81bc85 authored by POTTIER Francois's avatar POTTIER Francois


parent 351a4cc2
......@@ -22,3 +22,10 @@ module Make (T : TABLE)
and type semantic_value = T.semantic_value
and type production = T.production
and type env = (T.state, T.semantic_value, T.token) EngineTypes.env
(* We would prefer not to expose the definition of the type [env].
However, it must be exposed because some of the code in the
inspection API needs access to the engine's internals; see
[InspectionTableInterpreter]. Everything would be simpler if
--inspection was always ON, but that would lead to bigger parse
tables for everybody. *)
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment