Commit 76bad6ad authored by POTTIER Francois's avatar POTTIER Francois

Add the type [SortInference.sorts].

parent 4b1b1b19
......@@ -214,7 +214,10 @@ let check_grammar env g =
(* -------------------------------------------------------------------------- *)
let infer_grammar (g : grammar) : ground_sort Env.t =
type sorts =
ground_sort Env.t
let infer_grammar (g : grammar) : sorts =
(* For each (terminal or nonterminal) symbol, allocate a unification
variable. The terminal symbols have sort [star], so we can use
......@@ -18,4 +18,6 @@ open SortUnification
rejecting the grammar if it is ill-sorted. It returns a map of
(terminal and nonterminal) symbols to ground sorts. *)
val infer_grammar: grammar -> ground_sort StringMap.t
type sorts = ground_sort StringMap.t
val infer_grammar: grammar -> sorts
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