From fde2e1194eb14b829eda133266852e4963f1e055 Mon Sep 17 00:00:00 2001 From: Ulf Wiger Date: Wed, 13 Jul 2022 11:35:40 +0200 Subject: [PATCH] Fix type to satisfy Dialyzer --- src/mnesia_rocksdb_admin.erl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/mnesia_rocksdb_admin.erl b/src/mnesia_rocksdb_admin.erl index 01045d5..d99ef2a 100644 --- a/src/mnesia_rocksdb_admin.erl +++ b/src/mnesia_rocksdb_admin.erl @@ -67,6 +67,8 @@ -type cf() :: mrdb:db_ref(). +-type rpt() :: undefined | map(). + -type req() :: {create_table, table(), properties()} | {delete_table, table()} | {load_table, table(), properties()} @@ -75,7 +77,7 @@ | {add_aliases, [alias()]} | {write_table_property, tabname(), tuple()} | {remove_aliases, [alias()]} - | {migrate, [{tabname(), map()}]} + | {migrate, [{tabname(), map()}], rpt()} | {prep_close, table()} | {close_table, table()} | {clear_table, table() | cf() }.