Skip to content

Commit

Permalink
BE: type uncovered clauses
Browse files Browse the repository at this point in the history
Summary:
- revealed by a new (draft) improvement in eqwalizer: D60237928 that we are planning to deploy soon
- D60237928 reveals around 40 new uncovered clauses
- this diff fixes the easiest ones in one go
  - where it's "obvious" from code that the spec should be fixed
  - the fixes are about specs (and not types referenced from specs

Differential Revision: D60283220

fbshipit-source-id: 227b397dd2a241ff6a87b38aa3409b547602a928
  • Loading branch information
ilya-klyuchnikov authored and facebook-github-bot committed Jul 27, 2024
1 parent 07179eb commit d51cdf6
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/wa_raft_storage.erl
Original file line number Diff line number Diff line change
Expand Up @@ -402,6 +402,7 @@ init(#raft_options{application = App, table = Table, partition = Partition, data
open |
{read, Op :: wa_raft_acceptor:command()} |
snapshot_create |
status |
{snapshot_create, Name :: string()} |
{snapshot_open, LastAppliedPos :: wa_raft_log:log_pos()} |
{read_metadata, Key :: metadata()}.
Expand Down

0 comments on commit d51cdf6

Please sign in to comment.