balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Stdlib: remove spurious comment in weakTableRing

Browse Source
This commit is contained in:
Pietro Abate 2018-12-20 17:06:34 +01:00
parent 58a3abcb4c
commit e7b00b368d
No known key found for this signature in database
GPG Key ID: 375CEF476926787B
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/lib_stdlib/weakRingTable.ml
View File

@ -35,13 +35,6 @@ module Make(M: Hashtbl.HashedType) = struct
let create n = { table = Table.create n ; ring = Ring.create n } 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 = let add { ring ; table } k v =
Ring.add ring k ; Ring.add ring k ;
Table.replace table k v Table.replace table k v