PT-166788647 FATE efficient maps #183

Merged
zxq9 merged 10 commits from PT-166788647-fate-efficient-maps into master 2019-08-13 22:51:14 +09:00
Showing only changes of commit 087ec31698 - Show all commits

View File

@ -159,7 +159,7 @@ has_store_maps(Val) ->
-spec refcount(fate_value()) -> refcount().
refcount(Val) -> refcount(Val, #{}).
-spec refcount(refcount(), fate_value()) -> refcount().
-spec refcount(fate_value(), refcount()) -> refcount().
refcount(?FATE_MAP_TOMBSTONE, Count) -> Count;
refcount(?FATE_TRUE, Count) -> Count;
refcount(?FATE_FALSE, Count) -> Count;