Skip to content

lib_new_storage refactor

Antonio Locascio requested to merge alocascio@traced-storage into oru@main

Context

This MR refactors the lib_new_storage, renaming it to lib_traced_storage:

  1. This MR defines two new files: key.ml and stream.ml, for modules previously found in simple.ml.
  2. We remove the deprecated Fixed_size module alongside its tests.
  3. We hide the stream type, only exposing the Stream_consume and Stream_produce modules. This way, the type checker ensures the correct handling of the stream.
  4. Abstract stream values.
  5. Split tests.
  6. Add tests.
  7. Fix several errors.
  8. Use Blake2B hash function.

TODO

  • Rename library
  • Add hash function
  • Tail recursion
  • Error handling
  • Improve tests, QCheck?

Issue: #1647

tezos/tezos#1647

Edited by Antonio Locascio

Merge request reports