Make Interned generative again
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
1e3b90c1d6
commit
e5f873da15
|
@ -4,7 +4,7 @@ module Name = struct
|
||||||
include Interned.Make(struct
|
include Interned.Make(struct
|
||||||
let initial_size = 16
|
let initial_size = 16
|
||||||
let resize_policy = Interned.Conservative
|
let resize_policy = Interned.Conservative
|
||||||
end)
|
end)()
|
||||||
|
|
||||||
let of_string = make
|
let of_string = make
|
||||||
|
|
||||||
|
|
|
@ -31,7 +31,7 @@ let new_size ~next ~size = function
|
||||||
module Make(R : sig
|
module Make(R : sig
|
||||||
val resize_policy : resize_policy
|
val resize_policy : resize_policy
|
||||||
val initial_size : int
|
val initial_size : int
|
||||||
end)
|
end)()
|
||||||
= struct
|
= struct
|
||||||
type t = int
|
type t = int
|
||||||
|
|
||||||
|
|
|
@ -39,4 +39,4 @@ type resize_policy = Conservative | Greedy
|
||||||
module Make(R : sig
|
module Make(R : sig
|
||||||
val initial_size : int
|
val initial_size : int
|
||||||
val resize_policy : resize_policy
|
val resize_policy : resize_policy
|
||||||
end) : S
|
end)() : S
|
||||||
|
|
|
@ -3,4 +3,4 @@ open Stdune
|
||||||
include Interned.Make(struct
|
include Interned.Make(struct
|
||||||
let initial_size = 16
|
let initial_size = 16
|
||||||
let resize_policy = Interned.Conservative
|
let resize_policy = Interned.Conservative
|
||||||
end)
|
end)()
|
||||||
|
|
|
@ -3,7 +3,7 @@ open Stdune
|
||||||
include Interned.Make(struct
|
include Interned.Make(struct
|
||||||
let initial_size = 256
|
let initial_size = 256
|
||||||
let resize_policy = Interned.Conservative
|
let resize_policy = Interned.Conservative
|
||||||
end)
|
end)()
|
||||||
|
|
||||||
let ppx_driver = make "ppx_driver"
|
let ppx_driver = make "ppx_driver"
|
||||||
let mt = make "mt"
|
let mt = make "mt"
|
||||||
|
|
Loading…
Reference in New Issue