jiangphcn opened a new issue #1580: Record construction #shard violates the declared type in dialyzer warnings URL: https://github.com/apache/couchdb/issues/1580 ## Expected Behavior When running dialyzer tool, there should be no warning for #shard record construction. ## Current Behavior The violation of shard record construction is reported in several files. ``` src/fabric_doc_open_revs.erl:0: in fabric_doc_open_revs:check_finish_quorum/0[385-396]:Record construction #shard{node::'node1',range::'undefined'} violates the declared type of field range::'_' | ['$1' | '$2' | non_neg_integer()] src/cpse_test_purge_replication.erl:0: in cpse_test_purge_replication:make_shard/1[196-201]:Record construction #shard{node::atom(),range::[0 | 4294967295,...],opts::'undefined'} violates the declared type of field opts::[any()] ``` ## Steps to Reproduce (for bugs) Run dialyzer tool and make sure there are no complains about `couch_key_tree:merge` 1. Prepare for analysis: ``` make build-plt ``` 2. Run analysis ``` make dialyze ## Context <!--- How has this issue affected you? What are you trying to accomplish? --> <!--- Providing context helps us come up with a solution that is most useful in the real world --> ## Your Environment <!--- Include as many relevant details about the environment you experienced the bug in --> ``` Darwin localhost 17.3.0 Darwin Kernel Version 17.3.0: Thu Nov 9 18:09:22 PST 2017; root:xnu-4570.31.3~1/RELEASE_X86_64 x86_64 ```
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
