QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix issues discovered by dialyzer

Browse Source
This commit is contained in:
Ulf Norell 2019-06-24 14:29:20 +02:00
parent 894ae19435
commit 0ef7c59771
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_ast_infer_types.erl
View File

@ -1434,7 +1434,7 @@ create_bytes_constraints() ->
get_bytes_constraints() -> get_bytes_constraints() ->
ets_tab2list(bytes_constraints). ets_tab2list(bytes_constraints).
-spec add_bytes_constraint(byte_constraint()) -> ok. -spec add_bytes_constraint(byte_constraint()) -> true.
add_bytes_constraint(Constraint) -> add_bytes_constraint(Constraint) ->
ets_insert(bytes_constraints, Constraint). ets_insert(bytes_constraints, Constraint).

2
src/aeso_ast_to_fcode.erl
View File

@ -1324,7 +1324,7 @@ pp_call(Fun, Args) ->
pp_ftype(T) when is_atom(T) -> pp_text(T); pp_ftype(T) when is_atom(T) -> pp_text(T);
pp_ftype(any) -> pp_text("_"); pp_ftype(any) -> pp_text("_");
pp_ftype({tvar, X}) -> pp_text(X); pp_ftype({tvar, X}) -> pp_text(X);
pp_ftype({bytes, N}) -> pp_text(["bytes(", integer_to_list(N), ")"]); pp_ftype({bytes, N}) -> pp_text("bytes(" ++ integer_to_list(N) ++ ")");
pp_ftype({tuple, Ts}) -> pp_ftype({tuple, Ts}) ->
pp_parens(pp_par(pp_punctuate(pp_text(","), [pp_ftype(T) || T <- Ts]))); pp_parens(pp_par(pp_punctuate(pp_text(","), [pp_ftype(T) || T <- Ts])));
pp_ftype({list, T}) -> pp_ftype({list, T}) ->