From e5f873da15fc69ef779d364072b6f1653f90d6f6 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 26 May 2018 17:14:00 +0700 Subject: [PATCH] Make Interned generative again Signed-off-by: Rudi Grinberg --- src/package.ml | 2 +- src/stdune/interned.ml | 2 +- src/stdune/interned.mli | 2 +- src/sub_system_name.ml | 2 +- src/variant.ml | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/package.ml b/src/package.ml index 1b2d1577..c6350f03 100644 --- a/src/package.ml +++ b/src/package.ml @@ -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 diff --git a/src/stdune/interned.ml b/src/stdune/interned.ml index e3cfc92f..94e086dc 100644 --- a/src/stdune/interned.ml +++ b/src/stdune/interned.ml @@ -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 diff --git a/src/stdune/interned.mli b/src/stdune/interned.mli index 2b71006c..6f069042 100644 --- a/src/stdune/interned.mli +++ b/src/stdune/interned.mli @@ -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 diff --git a/src/sub_system_name.ml b/src/sub_system_name.ml index 14397bbf..a18a607a 100644 --- a/src/sub_system_name.ml +++ b/src/sub_system_name.ml @@ -3,4 +3,4 @@ open Stdune include Interned.Make(struct let initial_size = 16 let resize_policy = Interned.Conservative - end) + end)() diff --git a/src/variant.ml b/src/variant.ml index 548b4855..ed48c27b 100644 --- a/src/variant.ml +++ b/src/variant.ml @@ -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"