Thank you very much!
I generated cb.plt, but it gave a few warnings.
I enclose the output in case someone would like to fix it.
Checking whether the PLT plt/cb.plt is up-to-date... yes
>
> Compiling some key modules to native code... done in 0m52.15s
>
> Proceeding with analysis...
>
> src/boss/boss_controller_compiler.erl:63: Function add_routes_to_forms/1
>> has no local return
>
> src/boss/boss_controller_compiler.erl:66: The call
>> boss_controller_compiler:add_routes_to_forms(Forms1::[{'attribute',_,'export'
>>
>> | 'module',_},...],[],[]) breaks the contract
>> ([any()],[any()],[token_ast_cons(),...]) -> [any(),...]
>
> src/boss/boss_doc.erl:19: The pattern 'ok' can never match the type
>> 'error' | {'ok',atom()}
>
> src/boss/boss_load.erl:53: Function load_all_modules/2 has no local return
>
> src/boss/boss_load.erl:54: The call
>> boss_load:load_all_modules(Application::any(),TranslatorSupPid::any(),'undefined')
>>
>> will never return since it differs in the 3rd argument from the success
>> typing arguments: (atom(),atom() | pid() | {atom(),atom()},string())
>
> src/boss/boss_load.erl:324: The pattern 'ok' can never match the type
>> 'error' | {'ok',atom()} | {'error',[{[any()],[{'none' |
>> integer(),atom(),_}]}],[{[any()],[{'none' | integer(),atom(),_}]}]} |
>> {'ok',atom(),[{[any()],[{'none' | integer(),atom(),_}]}]}
>
> src/boss/boss_web_controller.erl:40: Call to missing or unexported
>> function cowboy:stop/0
>
> src/boss/boss_web_test.erl:14: Function bootstrap_test_env/2 has no local
>> return
>
> src/boss/boss_web_test.erl:50: The created fun has no local return
>
> src/boss/template_adapters/boss_template_adapter_erlydtl.erl:41: The
>> pattern 'ok' can never match the type 'error' | {'ok',atom()} |
>> {'error',[{_,_}],[{_,_}]} | {'ok',atom(),[{_,_}]}
>
> Unknown functions:
>
> 'Elixir.Boss.Repo.Sup':start_link/0
>
> 'Elixir.EEx':compile_file/1
>
> 'Elixir.Kernel.ParallelCompiler':files/1
>
> 'Elixir.Kernel.ParallelCompiler':files_to_path/2
>
> elixir:translate_forms/3
>
> elixir_compiler:file/1
>
> eunit:test/1
>
> rebar_vsn_plugin:make_vsn/0
>
> done in 0m12.19s
>
> done (warnings were emitted)
>
>
W dniu wtorek, 11 lutego 2014 11:55:18 UTC+1 użytkownik Cuong Thai napisał:
>
> Hi tome,
>
> Create plt/cb.plt, run make-plt.sh
>
> #!/bin/bash
>> clear
>> PLT=plt/cb.plt
>> echo $PLT
>> #if [ ! -f $PLT ]; then
>> dialyzer --build_plt --apps kernel stdlib mnesia inets ssl crypto \
>> erts public_key runtime_tools compiler asn1 hipe gs\
>> syntax_tools edoc xmerl public_key inets \
>> --statistics\
>> --output_plt $PLT
>> rm deps/riak_core/ebin/*.beam
>> echo
>> "********************************************************************************"
>> dialyzer --add_to_plt deps/*/ebin
>> --plt $PLT
>> echo
>> "********************************************************************************"
>> echo ""
>> #fi
>
>
> , then run dialyzer.sh
>
--
You received this message because you are subscribed to the Google Groups
"ChicagoBoss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
Visit this group at http://groups.google.com/group/chicagoboss.
To view this discussion on the web visit
https://groups.google.com/d/msgid/chicagoboss/b6754868-6347-4b61-a762-2920be4a61f3%40googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
