|
Joined: 11 Feb 2011
Posts: 1
|
Hi, I tried running Dialyzer on a TypEr-generated typespec (for a function taking a bitstring param), and it crashes with case_clause error. Here is the test code and the dialyzer output:
Code:
-module(test).
-spec test_func(<<_:_*1>>) -> 'true'.
test_func(BitString) ->
true.
[~]$ dialyzer --verbose /Users/tobinba/test.erl
Checking whether the PLT /Users/tobinba/.dialyzer_plt is up-to-date... yes
Proceeding with analysis...
=ERROR REPORT==== 11-Feb-2011::09:13:56 ===
Error in process <0.29.0> with exit value: {{case_clause,1},[{erl_types,t_form_to_string,1},{erl_types,t_form_to_string,1},{dialyzer_contracts,contract_to_string_1,1},{dialyzer_contracts,extra_contract_warning,6},{dialyzer_contracts,picky_contract_check...
dialyzer: Analysis failed with error: {{case_clause,1},
[{erl_types,t_form_to_string,1},
{erl_types,t_form_to_string,1},
{dialyzer_contracts,contract_to_string_1,1},
{dialyzer_contracts,extra_contract_warning,6},
{dialyzer_contracts,picky_contract_check,7},
{dialyzer_contracts,get_invalid_contract_warnings_funs,4},
{dialyzer_contracts,get_invalid_contract_warnings_modules,...},
{dialyzer_succ_typings,...}]}
Last messages in the log cache:
Reading files and computing callgraph... done in 0.09 secs
Removing edges... done in 0.00 secs
Typesig analysis for SCC: [{test,module_info,1}]
Typesig analysis for SCC: [{test,test_func,1}]
Typesig analysis for SCC: [{test,module_info,0}]
Dataflow of one SCC: [test] |
|
|
Digg It
Del.icio.us
Reddit
Facebook
Stumble Upon
Technorati
