lib_new_storage refactor
Context
This MR refactors the lib_new_storage
, renaming it to lib_traced_storage
:
- This MR defines two new files:
key.ml
andstream.ml
, for modules previously found insimple.ml
. - We remove the deprecated
Fixed_size
module alongside its tests. - We hide the
stream
type, only exposing theStream_consume
andStream_produce
modules. This way, the type checker ensures the correct handling of the stream. - Abstract stream values.
- Split tests.
- Add tests.
- Fix several errors.
- Use Blake2B hash function.
TODO
-
Rename library -
Add hash function -
Tail recursion -
Error handling -
Improve tests, QCheck?
Issue: #1647
Edited by Antonio Locascio