Merge branch 'master' into suffix-prefix-fast

This commit is contained in:
Rudi Grinberg 2018-05-28 14:30:53 +07:00 committed by GitHub
commit 7b824febf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 5 additions and 5 deletions

View File

@ -4,7 +4,7 @@ module Name = struct
include Interned.Make(struct
let initial_size = 16
let resize_policy = Interned.Conservative
end)
end)()
let of_string = make

View File

@ -31,7 +31,7 @@ let new_size ~next ~size = function
module Make(R : sig
val resize_policy : resize_policy
val initial_size : int
end)
end)()
= struct
type t = int

View File

@ -39,4 +39,4 @@ type resize_policy = Conservative | Greedy
module Make(R : sig
val initial_size : int
val resize_policy : resize_policy
end) : S
end)() : S

View File

@ -3,4 +3,4 @@ open Stdune
include Interned.Make(struct
let initial_size = 16
let resize_policy = Interned.Conservative
end)
end)()

View File

@ -3,7 +3,7 @@ open Stdune
include Interned.Make(struct
let initial_size = 256
let resize_policy = Interned.Conservative
end)
end)()
let ppx_driver = make "ppx_driver"
let mt = make "mt"