Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 2cc945f8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Implement [TerminalSet] using [BoundedBitSet] instead of [SparseBitSet]. This...

Implement [TerminalSet] using [BoundedBitSet] instead of [SparseBitSet]. This should increase efficiency when we have fewer than 63 terminal symbols.
parent 1bf4e834
Pipeline #116948 passed with stages
in 27 seconds
......@@ -17,5 +17,4 @@
include GrammarFunctor.Make(struct
let grammar = Front.grammar
let verbose = true
end)
end)()
......@@ -25,7 +25,7 @@ module Make (G : sig
[false], then only serious errors can be signaled. *)
val verbose: bool
end) = struct
end) () = struct
open G
......@@ -403,7 +403,9 @@ end
module TerminalSet = struct
include SparseBitSet
(* 2020/01/29: use [BoundedBitSet] instead of [SparseBitSet]. *)
include BoundedBitSet.Make(Terminal)()
let print toks =
Misc.separated_iter_to_string Terminal.print " " (fun f -> iter f toks)
......
......@@ -28,7 +28,7 @@ module Make (G : sig
[false], then only serious errors can be signaled. *)
val verbose: bool
end) : sig
end) () : sig
(* ------------------------------------------------------------------------ *)
(* Nonterminals. *)
......
......@@ -233,7 +233,7 @@ let analysis grammar =
let module G = GrammarFunctor.Make(struct
let grammar = grammar
let verbose = false
end) in
end)() in
let lookup (nt : Syntax.symbol) : G.Symbol.t =
try G.Symbol.lookup nt with Not_found -> assert false
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