Commit 38f393e9 authored by POTTIER Francois's avatar POTTIER Francois

Changed UnparameterizedSyntax from an .mli to an .ml file.

This allows defining a few small functions in it.
parent f4390675
......@@ -72,7 +72,7 @@ module Nonterminal = struct
StringSet.fold (fun symbol ss -> (symbol ^ "'") :: ss) Front.grammar.start_symbols []
let original_nonterminals =
StringMap.fold (fun nt _ rules -> nt :: rules) Front.grammar.rules []
nonterminals Front.grammar
let start =
List.length new_start_nonterminals
......
......@@ -43,3 +43,6 @@ type grammar =
tokens : Syntax.token_properties StringMap.t;
rules : rule StringMap.t;
}
let nonterminals grammar =
StringMap.fold (fun nt _ rules -> nt :: rules) grammar.rules []
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