Commit e3837df3 authored by POTTIER Francois's avatar POTTIER Francois

Brand new version of the safe expansion test, [CheckSafeParameterizedGrammar].

parent 54d0c5ab
This diff is collapsed.
......@@ -11,8 +11,11 @@
(* *)
(* [check] determines whether a parameterized grammar is safe for expansion,
that is, whether the process of expanding away its parameterized symbols is
guaranteed to terminate. *)
(* This test accepts a parameterized grammar, with the restriction that all
parameters must have sort [*]. Parameters of higher sort must be eliminated
prior to running this test: see [SelectiveExpansion]. *)
(* This test succeeds if and only if the expansion of this grammar is safe,
that is, terminates. *)
val check: Syntax.grammar -> unit
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