apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Shai: Update to ZIO2

Open shonfeder opened this issue 1 year ago • 1 comments

Our zio-grpc now has support for ZIO2 (tho it is currently via a -testn suffixed release). This opens the way for us to update, which we should do sooner than later, as the longer we wait the higher the maintenance cost of migrating.

This will require updates to all our zio libs, along with migration of the existing use of ZIO code to adapt to the breaking changes in the library.

shonfeder avatar Aug 03 '22 12:08 shonfeder

While it would be nice in theory to make this migration prior to doing any more substantial work on Shai, not all of our dependencies currently have stabilized support for ZIO2 (notably especially zip-grpc).

So we'll proceed with features in the meantime. Fortunately, it looks like a good part of the migration can be automated. See https://zio.dev/guides/migrate/zio-2.x-migration-guide/

shonfeder avatar Sep 01 '22 20:09 shonfeder