Commit d4b41997 authored by POTTIER Francois's avatar POTTIER Francois


parent 8b59cff0
......@@ -224,6 +224,14 @@ module Make
(* ------------------------------------------------------------------------ *)
(* The following is the implementation of the function [feed]. This function
is logically part of the LR engine, so it would be nice if it were placed
in the module [Engine], but it must be placed here because, to ensure
type safety, its arguments must be a symbol of type ['a symbol] and a
semantic value of type ['a]. The type ['a symbol] is not available in
[Engine]. It is available here. *)
open ET
open EngineTypes
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