Elixir: Unable to run `make dialyze` on OTP 22

Created on 17 May 2019  路  2Comments  路  Source: elixir-lang/elixir

Environment

  • Elixir & Erlang/OTP versions (elixir --version): OTP 22, Elixir master
  • Operating system: Ubuntu 16.04 32 bits

Current behavior

$ make dialyze
==> Building PLT with Elixir's dependencies...
  Compiling some key modules to native code... done in 0m0.46s
  Creating PLT .elixir.plt ...
Unknown functions:
  crypto:block_decrypt/4
  crypto:block_encrypt/4
  crypto:compute_key/4
  crypto:ec_curves/0
  crypto:exor/2
  crypto:generate_key/2
  crypto:hash/2
  crypto:hmac/3
  crypto:mod_pow/3
  crypto:private_decrypt/4
  crypto:private_encrypt/4
  crypto:sign/4
  crypto:start/0
  crypto:stream_decrypt/2
  crypto:stream_encrypt/2
  crypto:stream_init/2
  crypto:strong_rand_bytes/1
  crypto:supports/0
  dbg:ctp/1
  dbg:p/2
  dbg:stop/0
  dbg:tp/2
  dbg:tpl/2
  dbg:tpl/3
  dbg:trace_client/3
  dbg:trace_port/2
  dbg:tracer/0
  dbg:tracer/2
  ftp:start_service/1
  ftp:start_standalone/1
  ftp:stop_service/1
  hipe:compile/4
  mnesia:delete/1
  mnesia:delete_object/1
  mnesia:match_object/1
  mnesia:read/1
  mnesia:transaction/1
  mnesia:write/1
  pubkey_cert_records:namedCurves/1
  public_key:compute_key/2
  public_key:compute_key/3
  public_key:decrypt_private/3
  public_key:decrypt_public/3
  public_key:der_decode/2
  public_key:encrypt_private/3
  public_key:encrypt_public/3
  public_key:generate_key/1
  public_key:pem_decode/1
  public_key:pem_entry_decode/1
  public_key:pem_entry_decode/2
  public_key:pkix_crl_issuer/1
  public_key:pkix_crl_verify/2
  public_key:pkix_crls_validate/3
  public_key:pkix_decode_cert/2
  public_key:pkix_dist_point/1
  public_key:pkix_dist_points/1
  public_key:pkix_encode/3
  public_key:pkix_is_fixed_dh_cert/1
  public_key:pkix_is_issuer/2
  public_key:pkix_is_self_signed/1
  public_key:pkix_issuer_id/2
  public_key:pkix_match_dist_point/2
  public_key:pkix_normalize_name/1
  public_key:pkix_path_validation/3
  public_key:pkix_sign_types/1
  public_key:pkix_verify/2
  public_key:pkix_verify_hostname/2
  public_key:pkix_verify_hostname/3
  public_key:short_name_hash/1
  public_key:sign/3
  public_key:sign/4
  public_key:verify/4
  public_key:verify/5
  tftp:start_service/1
  tftp:start_standalone/1
  tftp:stop_service/1
Unknown types:
  crypto:engine_ref/0
  crypto:key_id/0
  crypto:password/0
  public_key:der_encoded/0
  public_key:oid/0
  public_key:private_key/0
 done in 2m50.57s
done (passed successfully)
==> Dialyzing Elixir...
  Compiling some key modules to native code... done in 0m0.58s
  Proceeding with analysis...{"init terminating in do_boot",{{badmatch,{error,{1,erl_parse,["syntax error before: ","'?'"]}}},[{dialyzer,parse_a_type_or_literal,1,[]},{dialyzer,'-parse_types_and_literals/1-lc$^0/1-0-',1,[]},{dialyzer,'-ts/1-fun-1-',4,[]},{dialyzer,ps,2,[]},{dialyzer,message_to_string,2,[]},{dialyzer,format_warning,2,[]}]}}
init terminating in do_boot ({{badmatch,{error,{1,erl_parse,[_]}}},[{dialyzer,parse_a_type_or_literal,1,[]},{dialyzer,-parse_types_and_literals/1-lc$^0/1-0-,1,[]},{dialyzer,-ts/1-fun-1-,4,[]},{dialyze

Crash dump is being written to: erl_crash.dump...done
Makefile:290: recipe for target 'dialyze' failed
make: *** [dialyze] Error 1

Expected behavior

To work.
I had to switch to OTP 21 to be able to run the command

Erlang bug

Most helpful comment

All 2 comments

Wow. thank you!

Was this page helpful?
0 / 5 - 0 ratings

Related issues

josevalim picture josevalim  路  33Comments

dmorneau picture dmorneau  路  30Comments

josevalim picture josevalim  路  30Comments

heiko-braun picture heiko-braun  路  27Comments

josevalim picture josevalim  路  27Comments