Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit f18df990 authored by Yann Regis-Gianas's avatar Yann Regis-Gianas

Possible fix for CheckSafeParameterizedGrammar.

parent c7bac4cb
......@@ -79,7 +79,7 @@ type edge =
| Safe
| Dangerous
let successors_parameter (f : edge -> formal -> unit) x (param : parameter) =
let rec successors_parameter (f : edge -> formal -> unit) x param =
match param with
| ParameterVar _ ->
(* This is not an application. No successors. *)
......@@ -90,6 +90,7 @@ let successors_parameter (f : edge -> formal -> unit) x (param : parameter) =
then there is an edge to the formal [nt, i]. Whether it is a safe
or dangerous edge depends on whether [x] occurs shallow or deep. *)
List.iteri (fun i param ->
successors_parameter f x param;
if Parameters.occurs_shallow x param then
f Safe (nt, i)
else if Parameters.occurs_deep x param then
......
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