Skip to content

Instantly share code, notes, and snippets.

@chrismcg
Last active December 27, 2015 15:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save chrismcg/8baec3521dd3de67222a to your computer and use it in GitHub Desktop.
Save chrismcg/8baec3521dd3de67222a to your computer and use it in GitHub Desktop.
Looking up modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Looking up modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Looking up modules in dialyze_erlang-18.2.1.plt
Finding applications for dialyze_erlang-18.2.1.plt
Finding modules for dialyze_erlang-18.2.1.plt
Creating dialyze_erlang-18.2.1.plt
Looking up modules in dialyze_erlang-18.2.1.plt
Checking 10 modules in dialyze_erlang-18.2.1.plt
Adding 146 modules to dialyze_erlang-18.2.1.plt
Finding applications for dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Finding modules for dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Copying dialyze_erlang-18.2.1.plt to dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Looking up modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Checking 156 modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Adding 201 modules to dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt
Finding applications for dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Finding modules for dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Copying dialyze_erlang-18.2.1_elixir-1.2.0-rc.1.plt to dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Looking up modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Checking 357 modules in dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
Adding 174 modules to dialyze_erlang-18.2.1_elixir-1.2.0-rc.1_deps-dev.plt
** (Mix) Dialyzer error: Analysis failed with error:
{function_clause,
[{cerl,map_arg,
[{c_literal,[],
#{application => phoenix,
file => <<"/Users/chris/dev/scratch/dial_test/deps/phoenix/lib/phoenix/controller.ex">>,
function => <<"do_render/4">>,
line => 633,
module => 'Elixir.Phoenix.Controller'}}],
[{file,"cerl.erl"},{line,1608}]},
{cerl_prettypr,lay_map,2,[{file,"cerl_prettypr.erl"},{line,614}]},
{cerl_prettypr,lay_ann,2,[{file,"cerl_prettypr.erl"},{line,413}]},
{cerl_prettypr,format,2,[{file,"cerl_prettypr.erl"},{line,273}]},
{dialyzer_dataflow,format_args_1,3,
[{file,"dialyzer_dataflow.erl"},{line,3350}]},
{dialyzer_dataflow,format_args_1,3,
[{file,"dialyzer_dataflow.erl"},{line,3353}]},
{dialyzer_dataflow,format_args,3,
[{file,"dialyzer_dataflow.erl"},{line,3343}]},
{dialyzer_dataflow,handle_call,3,
[{file,"dialyzer_dataflow.erl"},{line,877}]},
{dialyzer_dataflow,do_clause,6,
[{file,"dialyzer_dataflow.erl"},{line,1378}]},
{dialyzer_dataflow,handle_clauses,9,
[{file,"dialyzer_dataflow.erl"},{line,1182}]},
{dialyzer_dataflow,handle_case,3,
[{file,"dialyzer_dataflow.erl"},{line,941}]},
{dialyzer_dataflow,handle_let,3,
[{file,"dialyzer_dataflow.erl"},{line,988}]},
{dialyzer_dataflow,do_clause,6,
[{file,"dialyzer_dataflow.erl"},{line,1378}]},
{dialyzer_dataflow,handle_clauses,9,
[{file,"dialyzer_dataflow.erl"},{line,1182}]},
{dialyzer_dataflow,handle_case,3,
[{file,"dialyzer_dataflow.erl"},{line,941}]},
{dialyzer_dataflow,analyze_loop,1,
[{file,"dialyzer_dataflow.erl"},{line,222}]},
{dialyzer_dataflow,analyze_module,6,
[{file,"dialyzer_dataflow.erl"},{line,174}]},
{dialyzer_dataflow,get_fun_types,5,
[{file,"dialyzer_dataflow.erl"},{line,159}]},
{dialyzer_succ_typings,refine_one_module,2,
[{file,"dialyzer_succ_typings.erl"},{line,264}]},
{dialyzer_worker,loop,2,[{file,"dialyzer_worker.erl"},{line,108}]}]}
Last messages in the log cache:
Reading files and computing callgraph... done in 4.17 secs
Removing edges... done in 0.09 secs
15:20:56.545 [error] Process #PID<0.2111.1> raised an exception
** (FunctionClauseError) no function clause matching in :cerl.map_arg/1
(compiler) cerl.erl:1608: :cerl.map_arg({:c_literal, [], %{application: :phoenix, file: "/Users/chris/dev/scratch/dial_test/deps/phoenix/lib/phoenix/controller.ex", function: "do_render/4", line: 633, module: Phoenix.Controller}})
cerl_prettypr.erl:614: :cerl_prettypr.lay_map/2
cerl_prettypr.erl:413: :cerl_prettypr.lay_ann/2
cerl_prettypr.erl:273: :cerl_prettypr.format/2
dialyzer_dataflow.erl:3350: :dialyzer_dataflow.format_args_1/3
dialyzer_dataflow.erl:3353: :dialyzer_dataflow.format_args_1/3
dialyzer_dataflow.erl:3343: :dialyzer_dataflow.format_args/3
dialyzer_dataflow.erl:877: :dialyzer_dataflow.handle_call/3
dialyzer_dataflow.erl:1378: :dialyzer_dataflow.do_clause/6
dialyzer_dataflow.erl:1182: :dialyzer_dataflow.handle_clauses/9
dialyzer_dataflow.erl:941: :dialyzer_dataflow.handle_case/3
dialyzer_dataflow.erl:988: :dialyzer_dataflow.handle_let/3
dialyzer_dataflow.erl:1378: :dialyzer_dataflow.do_clause/6
dialyzer_dataflow.erl:1182: :dialyzer_dataflow.handle_clauses/9
dialyzer_dataflow.erl:941: :dialyzer_dataflow.handle_case/3
dialyzer_dataflow.erl:222: :dialyzer_dataflow.analyze_loop/1
dialyzer_dataflow.erl:174: :dialyzer_dataflow.analyze_module/6
dialyzer_dataflow.erl:159: :dialyzer_dataflow.get_fun_types/5
dialyzer_succ_typings.erl:264: :dialyzer_succ_typings.refine_one_module/2
dialyzer_worker.erl:108: :dialyzer_worker.loop/2
15:20:56.546 [error] Process #PID<0.1935.1> raised an exception
** (ArgumentError) argument error
(stdlib) :ets.lookup(53895288, {:in, 430529})
(stdlib) digraph.erl:225: :digraph.in_neighbours/2
dialyzer_callgraph.erl:571: :dialyzer_callgraph.digraph_in_neighbours/2
dialyzer_dataflow.erl:3125: :dialyzer_dataflow.state__add_work_from_fun/2
dialyzer_dataflow.erl:232: :dialyzer_dataflow.analyze_loop/1
dialyzer_dataflow.erl:174: :dialyzer_dataflow.analyze_module/6
dialyzer_dataflow.erl:159: :dialyzer_dataflow.get_fun_types/5
dialyzer_succ_typings.erl:264: :dialyzer_succ_typings.refine_one_module/2
dialyzer_worker.erl:108: :dialyzer_worker.loop/2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment