From e7b00b368d5deae6d58012cb0b3a72ce702f3e3b Mon Sep 17 00:00:00 2001 From: Pietro Abate Date: Thu, 20 Dec 2018 17:06:34 +0100 Subject: [PATCH] Stdlib: remove spurious comment in weakTableRing --- src/lib_stdlib/weakRingTable.ml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/lib_stdlib/weakRingTable.ml b/src/lib_stdlib/weakRingTable.ml index e0bd2a72f..cfeb0b917 100644 --- a/src/lib_stdlib/weakRingTable.ml +++ b/src/lib_stdlib/weakRingTable.ml @@ -35,13 +35,6 @@ module Make(M: Hashtbl.HashedType) = struct let create n = { table = Table.create n ; ring = Ring.create n } - (* IDEA: - * - `create` takes an additional `v -> k` function which is used to - * generate the key (typically `HashTbl.hash` or `SomeModule.hash`) - * - `add` returns that key so that the caller can either - * - keep it to gain some control over the lifetime of the table entry - * - throw it away to let the GC do its thing - * *) let add { ring ; table } k v = Ring.add ring k ; Table.replace table k v