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 427ac865 authored by POTTIER Francois's avatar POTTIER Francois

Updated [PartialGrammar.restrict].

parent 6f924d63
......@@ -242,12 +242,12 @@ let is_valid_nonterminal_character = function
let restrict filename =
let m = String.copy (Filename.chop_suffix filename (if Settings.coq then ".vy" else ".mly")) in
for i = 0 to String.length m - 1 do
if not (is_valid_nonterminal_character m.[i]) then
m.[i] <- '_'
let m = Bytes.of_string (Filename.chop_suffix filename (if Settings.coq then ".vy" else ".mly")) in
for i = 0 to Bytes.length m - 1 do
if not (is_valid_nonterminal_character (Bytes.get m i)) then
Bytes.set m i '_'
Bytes.unsafe_to_string m
let rename nonterminal filename =
let name = restrict filename ^ "_" ^ nonterminal in
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