Module Gramlib.Grammar

Functorial interface

Alternative for grammars use. Grammars are no more Ocaml values: there is no type for them. Modules generated preserve the rule "an entry cannot call an entry of another grammar" by normal OCaml typing.

The input signature for the functor Grammar.GMake: te is the type of the tokens.

Signature type of the functor Grammar.GMake. The types and functions are almost the same than in generic interface, but:

• Grammars are not values. Functions holding a grammar as parameter do not have this parameter yet.
• The type parsable is used in function parse instead of the char stream, avoiding the possible loss of tokens.
• The type of tokens (expressions and patterns) can be any type (instead of (string * string)); the module parameter must specify a way to show them as (string * string)