Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix dialyzer errors #2

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

joaohf
Copy link

@joaohf joaohf commented Apr 10, 2024

==> Checking 240 files in _build/default/rebar3_24.3.4.16_plt...
===> Doing success typing analysis...
===> Resolving project warning files...
===> Analyzing 8 files with _build/default/rebar3_24.3.4.16_plt...

src/canister.erl
Line 63 Column 1: Function start/0 has no local return
Line 237 Column 5: Call to missing or unexported function
canister_sync:send_delete/2
Line 266 Column 1: Function update_delete_time/1 has no local return
Line 269 Column 1: Function update_delete_time/2 has no local return
Line 272 Column 21: Record construction
#canister_times{last_access::'undefined',last_update::'undefined'}
violates the declared type of field
last_access::{non_neg_integer(),non_neg_integer(),non_neg_integer()} and
last_update::{non_neg_integer(),non_neg_integer(),non_neg_integer()}
Line 333 Column 13: The pattern {'resync', Node} can never match the
type 'ok'
Line 346 Column 9: The pattern {'ok', , Node} can never match the type
'ok'
Line 375 Column 17: The pattern {Node, NewLastAccess} can never match
the type {'ok',
,
}

src/canister_app.erl
Line 12 Column 1: Function start/2 has no local return

src/canister_config.erl
Line 20 Column 1: Function summarize/0 has no local return
Line 38 Column 15: The call io:format(Msg::[[[any()] | char()],...])
breaks the contract (Format) -> 'ok' when Format :: format()

src/canister_sup.erl
Line 16 Column 1: Function start_link/0 has no local return

src/canister_sync.erl
Line 202 Column 1: The pattern [] can never match the type
nonempty_maybe_improper_list()
===> Warnings written to _build/default/24.3.4.16.dialyzer_warnings
===> Warnings occurred running dialyzer: 13

   ==> Checking 240 files in _build/default/rebar3_24.3.4.16_plt...
   ===> Doing success typing analysis...
   ===> Resolving project warning files...
   ===> Analyzing 8 files with _build/default/rebar3_24.3.4.16_plt...

   src/canister.erl
   Line 63 Column 1: Function start/0 has no local return
   Line 237 Column 5: Call to missing or unexported function
   canister_sync:send_delete/2
   Line 266 Column 1: Function update_delete_time/1 has no local return
   Line 269 Column 1: Function update_delete_time/2 has no local return
   Line 272 Column 21: Record construction
   #canister_times{last_access::'undefined',last_update::'undefined'}
   violates the declared type of field
   last_access::{non_neg_integer(),non_neg_integer(),non_neg_integer()} and
   last_update::{non_neg_integer(),non_neg_integer(),non_neg_integer()}
   Line 333 Column 13: The pattern {'resync', _Node} can never match the
   type 'ok'
   Line 346 Column 9: The pattern {'ok', _, Node} can never match the type
   'ok'
   Line 375 Column 17: The pattern {Node, NewLastAccess} can never match
   the type {'ok',_,_}

   src/canister_app.erl
   Line 12 Column 1: Function start/2 has no local return

   src/canister_config.erl
   Line 20 Column 1: Function summarize/0 has no local return
   Line 38 Column 15: The call io:format(Msg::[[[any()] | char()],...])
   breaks the contract (Format) -> 'ok' when Format :: format()

   src/canister_sup.erl
   Line 16 Column 1: Function start_link/0 has no local return

   src/canister_sync.erl
   Line 202 Column 1: The pattern [] can never match the type
   nonempty_maybe_improper_list()
   ===> Warnings written to _build/default/24.3.4.16.dialyzer_warnings
   ===> Warnings occurred running dialyzer: 13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant