Created
February 18, 2022 08:54
-
-
Save erszcz/4323e97860e67da290f52e2b0998a863 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Gradualizer v0.1.3-150-gef2dbb7 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day03.beam: Nonexhaustive patterns on line 35 at column 1 | |
Example values which are not covered: | |
[] | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day03.beam: The function call on line 62 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
map_smallest(Fun, List) -> | |
lists:min([36mlists:map(Fun, List)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day10.beam: The pattern "position" on line 42 at column 19 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: Call to undefined function intcode:parse/1 on line 29 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: The variable on line 57 at column 23 is expected to have type [35m[T, ...][0m but it has type [35m[Elem | Value][0m | |
end, | |
maps:to_list(Grid1)), | |
{Dist0, lists:max([36mOxygenDists[0m)}. | |
[36m^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: Call to undefined function intcode:execute/4 on line 62 at column 21 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day13.beam: Call to undefined function astar2:astar/5 on line 36 at column 15 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day16.beam: The variable on line 116 at column 44 is expected to have type [35m[T, ...][0m but it has type [35m[integer()][0m | |
lists:foldl(fun erlang:'*'/2, | |
1, | |
lists:map(fun (Pos) -> lists:nth(Pos, [36mMyTicket[0m) end, | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day16.beam: The pattern #{fields := Fields, myticket := MyTicket, nearbytickets := Tickets} on line 129 at column 19 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day05.beam: The function call on line 72 at column 25 is expected to have type [35mmaybe_improper_list(0..255 | | |
<<_:_*8>> | | |
maybe_improper_list(byte() | | |
binary() | | |
iolist(), | |
[] | binary()), | |
<<_:_*8>> | [])[0m but it has type [35mstring()[0m | |
hash(Input, Index) -> | |
erlang:md5(Input ++ [36minteger_to_list(Index)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day06.beam: The pattern "toggle" on line 31 at column 27 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day06.beam: Nonexhaustive patterns on line 87 at column 22 | |
Example values which are not covered: | |
-1 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 23 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 27 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 34 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Call to undefined function intcode:execute/2 on line 44 at column 23 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day20.beam: The variable on line 308 at column 32 is expected to have type [35m[A, ...][0m but it has type [35m[[<<_:_*8>> | | |
[0..1114111] | | |
{error, string(), binary()} | | |
{incomplete, string(), binary()} | | |
{integer(), integer()}]] | | |
[<<_:_*8>> | | |
[0..1114111] | | |
{error, string(), binary()} | | |
{incomplete, string(), binary()} | | |
{integer(), integer()}][0m | |
"(\\d+):", | |
[{capture, all_but_first, list}]), | |
TileNum = list_to_integer(hd([36mMatches[0m)), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Undefined remote type intcode:intcode_program/0 on line 26 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Undefined remote type intcode:intcode_program/0 on line 30 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Call to undefined function intcode:execute/4 on line 80 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The function call on line 40 at column 28 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
rotate(X, N) -> | |
{L1, L2} = lists:split([36mlength(X)[0m - N rem length(X), X), | |
[36m^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The function call on line 80 at column 47 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
lists:sublist(Display, | |
Height + 1, | |
[36mlength(Display)[0m - Height), | |
[36m^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The variable on line 122 at column 23 is expected to have type [35m[0..1114111][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
decode_instr(Instr) -> | |
[Op | Rest] = string:lexemes(Instr, " "), | |
case list_to_atom([36mOp[0m) of | |
[36m^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day22.beam: The pattern "cut" on line 29 at column 23 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: Call to undefined function dijkstra:dijkstra/3 on line 40 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: The operator '+' on line 85 at column 89 is expected to have type [35m0..255[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: The operator '+' on line 121 at column 59 is expected to have type [35m0..255[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day07.beam: The pattern {WireA, '->', WireB} on line 64 at column 11 doesn't have the type [35m{atom_or_int()}[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day24.beam: The operator '++' on line 50 at column 47 is expected to have type [35m_TyVar-576460752303423227[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day24.beam: Call to undefined function astar2:astar/5 on line 85 at column 11 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day04.beam: The function call on line 46 at column 32 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
end, | |
Str), | |
lists:sublist(EncrName, 1, [36mlength(EncrName)[0m - 1). | |
[36m^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day01.beam: The pattern [X, X | Xs] on line 73 at column 9 does not have type: | |
[35m[][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day01.beam: Nonexhaustive patterns on line 79 at column 1 | |
Example values which are not covered: | |
[] | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day01.beam: The variable on line 43 at column 19 is expected to have type [35m[T, ...][0m but it has type [35m[integer()][0m | |
-spec solve2(Input :: input_type()) -> result2_type(). | |
solve2(Input) -> | |
Min = lists:min([36mInput[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern [A, B] on line 28 at column 26 does not have type: | |
[35m[][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern #{a := A} on line 40 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern #{a := A} on line 45 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 234 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_5_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 239 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_8_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 244 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_9_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day07.beam: The pattern "Step" on line 27 at column 17 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 21 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 25 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 29 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Call to undefined function intcode:execute/1 on line 38 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 20 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 24 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 29 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day23.beam: The pattern #{a := A} on line 32 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day23.beam: The pattern 0 on line 57 at column 11 doesn't have the type [35mpos_integer()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 234 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_5_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 239 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_8_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 246 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_9_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: Undefined remote type intcode:intcode_program/0 on line 26 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: Undefined remote type intcode:intcode_program/0 on line 30 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: The operator '++' on line 96 at column 24 is expected to have type [35m_TyVar-576460752303423484[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 21 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 25 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 29 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Call to undefined function intcode:execute/2 on line 34 at column 32 | |
_build/default/lib/aoc_erlang/ebin//aoc_nifs.beam: The function call on line 12 at column 13 is expected to have type [35m[0..1114111][0m but it has type [35mfile:filename_all()[0m | |
filename:join("/Users/erszcz/work/jesperes/aoc_erlang/c_src", | |
"aoc_nifs.so"), | |
ok = erlang:load_nif([36mfilename:rootname(File)[0m, 0). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 22 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 26 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 30 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Call to undefined function intcode:execute/1 on line 42 at column 26 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Call to undefined function intcode:execute/4 on line 65 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day15.beam: The pattern "Disc" on line 77 at column 6 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 31 at column 3 is expected to have type [35minput_type()[0m but it has type [35m[unicode:chardata()][0m | |
-spec parse(Input :: binary()) -> input_type(). | |
parse(Input) -> | |
[36mstring:split(string:trim(binary_to_list(Input)),[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m"\n\n",[0m | |
[36m^^^^^^^[0m | |
[36mall)[0m. | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 35 at column 3 is expected to have type [35mresult1_type()[0m but it has type [35mnumber()[0m | |
-spec solve1(Input :: input_type()) -> result1_type(). | |
solve1(Input) -> | |
[36mlists:sum(lists:map(fun num_yes_answers/1, Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 39 at column 3 is expected to have type [35mresult2_type()[0m but it has type [35mnumber()[0m | |
-spec solve2(Input :: input_type()) -> result2_type(). | |
solve2(Input) -> | |
[36mlists:sum(lists:map(fun all_yes_answers/1, Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The variable on line 56 at column 37 is expected to have type [35m[Element][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
sets:intersection(Acc, sets:from_list(Group)) | |
end, | |
sets:from_list([36mFirst[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day10.beam: The variable on line 62 at column 28 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
{A0, B0} = lists:split(Length, L0), | |
L1 = lists:reverse(A0) ++ B0, | |
{A1, B1} = lists:split([36mListLen[0m - Pos, L1), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day10.beam: The pattern #{3 := D3, 1 := D1} on line 56 at column 3 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day10.beam: The variable on line 67 at column 22 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
solve2(List) -> | |
Adapters = lists:sort(List), | |
Device = lists:max([36mAdapters[0m) + 3, | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day21.beam: The record patterns for record #combatant on line 61 at column 27 is expected to have type [35m_TyVar-576460752303423420[0m. | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day21.beam: The record patterns for record #combatant on line 94 at column 27 is expected to have type [35m_TyVar-576460752303423292[0m. | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day07.beam: The function call on line 75 at column 30 is expected to have type [35minteger()[0m but it has type [35mnumber()[0m | |
{Children, Weights} = lists:unzip(SubTreeWeights), | |
case deviant(Weights) of | |
undef -> Weight + [36mlists:sum(Weights)[0m; | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day07.beam: The variable on line 76 at column 40 is expected to have type [35m[0..1114111][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
C2, | |
_] -> | |
{list_to_integer([36mN[0m), | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day14.beam: The variable on line 56 at column 27 is expected to have type [35m[T, ...][0m but it has type [35many() | [T][0m | |
end, | |
case length(Keys0) of | |
L when L >= 64 -> lists:nth(64, [36mKeys0[0m); | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day14.beam: Call to undefined function aoc_nifs:digest_to_hexstring/1 on line 91 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day17.beam: The variable on line 35 at column 34 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
end, | |
BucketCombos), | |
MinLen = length(lists:nth(1, [36mSortedOnLength[0m)), | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day22.beam: The variable on line 161 at column 22 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
size_to_num(Str) -> | |
L = length(Str), | |
case lists:split([36mL[0m - 1, Str) of | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day22.beam: The pattern "dev" on line 169 at column 6 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day08.beam: The function call on line 49 at column 13 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
solve1(Binary) -> | |
{_, Ones, Twos} = lists:min([36mlists:map(fun (Layer) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mFun = fun (N,[0m | |
[36m^^^^^^^^^^^^^[0m | |
[36m{N0, N1, N2} =[0m | |
[36m^^^^^^^^^^^^^^[0m | |
[36mAcc) ->[0m | |
[36m^^^^^^^[0m | |
[36mcase[0m | |
[36m^^^^[0m | |
[36mbinary:at(Binary,[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36mN)[0m | |
[36m^^[0m | |
[36mof[0m | |
[36m^^[0m | |
[36m$0 ->[0m | |
[36m^^^^^[0m | |
[36m{N0 + 1,[0m | |
[36m^^^^^^^^[0m | |
[36mN1,[0m | |
[36m^^^[0m | |
[36mN2};[0m | |
[36m^^^^[0m | |
[36m$1 ->[0m | |
[36m^^^^^[0m | |
[36m{N0,[0m | |
[36m^^^^[0m | |
[36mN1 + 1,[0m | |
[36m^^^^^^^[0m | |
[36mN2};[0m | |
[36m^^^^[0m | |
[36m$2 ->[0m | |
[36m^^^^^[0m | |
[36m{N0,[0m | |
[36m^^^^[0m | |
[36mN1,[0m | |
[36m^^^[0m | |
[36mN2 +[0m | |
[36m^^^^[0m | |
[36m1};[0m | |
[36m^^^[0m | |
[36m_ -> Acc[0m | |
[36m^^^^^^^^[0m | |
[36mend[0m | |
[36m^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlists:foldl(Fun,[0m | |
[36m^^^^^^^^^^^^^^^^[0m | |
[36m{0, 0, 0},[0m | |
[36m^^^^^^^^^^[0m | |
[36mlists:seq(Layer *[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36m150,[0m | |
[36m^^^^[0m | |
[36m(Layer +[0m | |
[36m^^^^^^^^[0m | |
[36m1)[0m | |
[36m^^[0m | |
[36m*[0m | |
[36m^[0m | |
[36m150[0m | |
[36m^^^[0m | |
[36m-[0m | |
[36m^[0m | |
[36m1))[0m | |
[36m^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlayers())[0m), | |
[36m^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day08.beam: The operator '++' on line 68 at column 76 is expected to have type [35m_TyVar-576460752303423388 | | |
[A | [A | [A | [A | [A | [A | [A | deep_list(A)]]]]]]][0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day08.beam: The variable on line 45 at column 55 is expected to have type [35m[0..1114111][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
{N + 1, | |
maps:put(N, | |
{list_to_atom([36mInstr[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day08.beam: The pattern [Op1, Val1, "if", Reg2, Op2, Val2] on line 33 at column 38 doesn't have the type [35m[[0..1114111, ...]] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day22.beam: Call to undefined function astar2:astar/5 on line 65 at column 27 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day22.beam: The pattern #{max_x := MaxX} on line 91 at column 22 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day14.beam: The pattern ["can", | |
"fly", | |
Speed, | |
"km/s", | |
"for", | |
Second, | |
"seconds", | |
"but", | |
"then", | |
"must", | |
"rest", | |
"for", | |
Rest, | |
"seconds"] on line 26 at column 19 doesn't have the type [35m[[0..1114111, ...]] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day14.beam: The pattern #{current_state := rest, | |
speed := Speed, | |
fly_time := FlyTime, | |
distance := Dist, | |
remaining_time := 0} on line 99 at column 23 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day21.beam: The operator '-' on line 93 at column 32 is expected to have type [35mpos_integer()[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//bfs.beam: The record patterns for record #state on line 53 at column 24 is expected to have type [35mAcc[0m. | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day22.beam: The pattern #{mana_spent := ManaSpent} on line 73 at column 11 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day22.beam: The pattern #{effects := Effects, mana := Mana} on line 122 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day12.beam: The pattern "N" on line 62 at column 17 doesn't have the type [35m[none()][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day04.beam: The variable on line 39 at column 45 is expected to have type [35m[0..1114111][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
":", | |
all), | |
KA = list_to_atom([36mK[0m), | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day04.beam: The pattern #{byr := Byr, | |
iyr := Iyr, | |
eyr := Eyr, | |
ecl := Ecl, | |
hgt := Hgt, | |
hcl := Hcl, | |
pid := Pid} on line 84 at column 17 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day17.beam: Call to undefined function astar2:astar/5 on line 39 at column 11 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 41 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 45 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 63 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: The variable on line 98 at column 30 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
|| X <- lists:seq(lists:min(Xs), lists:max(Xs))] | |
++ "\n" | |
|| Y <- lists:seq(lists:min([36mYs[0m), lists:max(Ys))]. | |
[36m^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 24 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 28 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 32 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Call to undefined function intcode:execute/2 on line 41 at column 28 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Call to undefined function intcode:execute/4 on line 88 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: The variable on line 127 at column 29 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
lists:foreach(fun (Pid) -> Pid ! start end, Pids), | |
A ! 0, | |
LastAmpPid = lists:last([36mPids[0m), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 28 at column 9 is expected to have type [35m[0..1114111][0m but it has type [35municode:chardata()[0m | |
parse(Binary) -> | |
string:tokens([36mstring:trim(binary_to_list(Binary))[0m, | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 33 at column 5 is expected to have type [35mresult_type()[0m but it has type [35mnumber()[0m | |
solve1(Input) -> | |
Graph = make_digraph(Input, [acyclic]), | |
[36msum_of_orbits(Graph)[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 60 at column 34 is expected to have type [35m[any()][0m but it has type [35m[vertex(), ...] | false[0m | |
sum_of_orbits(Graph) -> | |
lists:sum(lists:map(fun ('COM') -> 0; | |
(V) -> length([36mdigraph:get_path(Graph, V, 'COM')[0m) - 1 | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 66 at column 12 is expected to have type [35m[any()][0m but it has type [35m[vertex(), ...] | false[0m | |
-spec orbital_dist(digraph:graph()) -> integer(). | |
orbital_dist(Graph) -> | |
length([36mdigraph:get_path(Graph, 'YOU', 'SAN')[0m) - 3. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day15.beam: The function call on line 126 at column 21 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
[] -> Grid; | |
_ -> | |
MinHP = lists:min([36mlists:map(fun ({_, {_, HP, _, _}}) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mHP[0m | |
[36m^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mEnemiesInRange)[0m), | |
[36m^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day15.beam: The record update on line 293 at column 58 is expected to have type [35mAcc[0m but it has type [35m#search{}[0m | |
Adj}, | |
Acc#search.open), | |
[36mAcc#search{open[0m | |
[36m^^^^^^^^^^^^^^^[0m | |
[36m=[0m | |
[36m^[0m | |
[36mOpen1}[0m | |
[36m^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day10.beam: The variable on line 125 at column 41 is expected to have type [35mnon_neg_integer()[0m but it has type [35minteger()[0m | |
fun () -> | |
X__X = $\n, | |
case binary:at(Binary, [36mWidth[0m) of | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day05.beam: The variable on line 42 at column 6 is expected to have type [35m[A, ...][0m but it has type [35m[integer()][0m | |
solve1(Input) -> hd([36mInput[0m). | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day23.beam: The pattern #{pc := PC} on line 43 at column 23 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day23.beam: The pattern #{pc := PC} on line 79 at column 18 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day19.beam: The function call on line 36 at column 5 is expected to have type [35mresult_type()[0m but it has type [35mnumber()[0m | |
solve2(_Input) -> | |
Factors = start2(1, magic_number(), []), | |
[36mlists:sum(Factors)[0m. | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day19.beam: The pattern "#ip" on line 53 at column 6 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc_puzzle.beam: Call to undefined function aoc_puzzle:solve/2 on line 79 at column 27 | |
_build/default/lib/aoc_erlang/ebin//aoc_puzzle.beam: Call to undefined function aoc_puzzle:run_puzzle/1 on line 98 at column 58 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day03.beam: Nonexhaustive patterns on line 56 at column 1 | |
Example values which are not covered: | |
0 | |
{0, 0} | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The pattern ["capacity", | |
Cap, | |
"durability", | |
Dur, | |
"flavor", | |
Flavor, | |
"texture", | |
Texture, | |
"calories", | |
Calories] on line 26 at column 21 doesn't have the type [35m[[0..1114111, ...]] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The function call on line 58 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
X3 <- lists:seq(1, 100), X4 <- lists:seq(1, 100), | |
X1 + X2 + X3 + X4 == 100], | |
lists:max([36mlists:map(fun (Amounts) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mscore(Amounts, Ingredients)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mCombinations)[0m). | |
[36m^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The function call on line 71 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[Elem | Value][0m | |
X3 <- lists:seq(1, 100), X4 <- lists:seq(1, 100), | |
X1 + X2 + X3 + X4 == 100], | |
lists:max([36mlists:filtermap(fun ({Score, Cal})[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mwhen Cal == 500 ->[0m | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
[36m{true, Score};[0m | |
[36m^^^^^^^^^^^^^^[0m | |
[36m(_) -> false[0m | |
[36m^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlists:map(fun (Amounts) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mscore2(Amounts, Ingredients)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mCombinations))[0m). | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day23.beam: The pattern "pos" on line 26 at column 19 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day23.beam: The variable on line 33 at column 27 is expected to have type [35m[T, ...][0m but it has type [35m[{integer(), integer(), integer(), integer()}][0m | |
-spec solve1(Input :: input_type()) -> result_type(). | |
solve1(NanoBots) -> | |
Strongest = lists:max([36mNanoBots[0m), | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day09.beam: The variable on line 102 at column 17 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
{Range, _} = lists:split(Len, List), | |
Sum = lists:sum(Range), | |
if Sum == Num -> lists:min([36mRange[0m) + lists:max(Range); | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day09.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Binary :: binary()) -> input_type(). | |
parse(Binary) -> [36mstring:trim(binary_to_list(Binary))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day24.beam: The operator '++' on line 68 at column 23 is expected to have type [35m_TyVar-576460752303423391[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day14.beam: The variable on line 57 at column 44 is expected to have type [35m[binary()][0m but it has type [35m[[any()] | | |
[<<_:_*8>> | | |
[any()] | | |
maybe_improper_list(byte() | binary() | iolist(), | |
[] | binary())] | | |
[<<_:_*8>> | | |
[any()] | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])]] | | |
[][0m | |
lists:filtermap(fun (Bin) -> | |
[First | Rest] = re:split(Bin, "\n", [multiline]), | |
Writes = parse_writes(filter_empty([36mRest[0m), []), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day14.beam: The variable on line 95 at column 26 is expected to have type [35m<<_:_*8>>[0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
"[] = "), | |
P = {write, | |
binary_to_integer([36mAddr[0m), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 24 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 28 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 37 at column 13 | |
_build/default/lib/aoc_erlang/ebin//grid.beam: The '++' expression on line 25 at column 23 is expected to have type [35m0..1114111[0m but it has type [35m[any()][0m | |
MaxY = lists:max(YCoords), | |
header(MinX, MaxX) ++ | |
[[36mleft_margin(Y) ++[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36m[maps:get({X, Y}, Grid, 32)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m|| X <- lists:seq(MinX, MaxX)][0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m++ "\n"[0m | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day12.beam: The pattern "initial" on line 63 at column 4 doesn't have the type [35m[0..1114111, ...][0m | |
_build/default/lib/aoc_erlang/ebin//inputs.beam: The function call on line 51 at column 17 is expected to have type [35matom() | | |
<<_:_*8>> | | |
[0..1114111] | | |
[0..1114111 | atom() | [0..1114111 | atom() | deep_list()]][0m but it has type [35mfile:filename() | {error, bad_name}[0m | |
-spec get_input_dir() -> file:filename(). | |
get_input_dir() -> | |
filename:join([36mcode:priv_dir(aoc_erlang)[0m, "inputs"). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//inputs.beam: Timeout checking function get_input_filename/2 on line 55 at column 1 | |
This is most likely a bug in Gradualizer. | |
Please report it at https://github.com/josefs/Gradualizer/issues | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day08.beam: The operator '++' on line 36 at column 29 is expected to have type [35m_TyVar-576460752303422878[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 22 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 29 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 35 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18.beam: Call to undefined function aoc2020_day18_lexer:string/1 on line 72 at column 46 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day24.beam: The pattern #{units := Units, damage := Damage} on line 111 at column 17 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day24.beam: The pattern #{units := Units, hp := HP} on line 192 at column 13 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 22 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 26 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 30 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day08.beam: The function call on line 26 at column 15 is expected to have type [35m[0..1114111][0m but it has type [35municode:chardata()[0m | |
parse(Input) -> | |
lists:map(fun list_to_integer/1, | |
string:tokens([36mstring:trim(binary_to_list(Input))[0m, " ")). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day08.beam: The operator '+' on line 42 at column 22 is expected to have type [35m0..1114111[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day04.beam: The function call on line 31 at column 30 is expected to have type [35mmaybe_improper_list(0..255 | | |
<<_:_*8>> | | |
maybe_improper_list(byte() | | |
binary() | | |
iolist(), | |
[] | binary()), | |
<<_:_*8>> | [])[0m but it has type [35mstring()[0m | |
solve(Input, N, P1) -> | |
case erlang:md5(Input ++ [36minteger_to_list(N)[0m) of | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day09.beam: The function call on line 37 at column 13 is expected to have type [35m[T, ...][0m but it has type [35m[Value][0m | |
#{}, | |
Last), | |
lists:max([36mmaps:values(Scores)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//intcode.beam: Call to undefined function intcode:parse/1 on line 39 at column 19 | |
_build/default/lib/aoc_erlang/ebin//intcode.beam: The pattern {Inputs, Outputs} on line 84 at column 29 doesn't have the type [35minteger()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day13.beam: The pattern ["would", | |
GainOrLose, Amount, | |
"happiness", | |
"units", | |
"by", | |
"sitting", | |
"next", | |
"to", | |
B] on line 26 at column 19 doesn't have the type [35m[[0..1114111, ...]] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day23.beam: The operator '+' on line 83 at column 39 is requires numeric arguments, but has arguments of type [35mVal | undefined[0m and [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day25.beam: The operator '++' on line 59 at column 65 is expected to have type [35m_TyVar-576460752303423001[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: Call to undefined function dijkstra:dijkstra/3 on line 39 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: Call to undefined function dijkstra:dijkstra/3 on line 47 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: The variable on line 212 at column 22 is expected to have type [35m[T, ...][0m but it has type [35m[A][0m | |
end, | |
Map))), | |
MaxX = lists:max([36mXCoords[0m), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day09.beam: The pattern ["to", To, "=", Dist] on line 25 at column 25 doesn't have the type [35m[[0..1114111, ...]] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day13.beam: The variable on line 113 at column 20 is expected to have type [35m[any()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
Str = binary_to_list(Binary), | |
[First | _] = string:split(Str, "\n"), | |
Width = length([36mFirst[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day05.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Input :: binary()) -> input_type(). | |
parse(Input) -> [36mstring:trim(binary_to_list(Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day05.beam: The variable on line 36 at column 11 is expected to have type [35mstring()[0m but it has type [35m[integer()][0m | |
-spec react([integer()]) -> [integer()]. | |
react(L) -> react([36mL[0m, []). | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day16.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Binary :: binary()) -> input_type(). | |
parse(Binary) -> [36mstring:trim(binary_to_list(Binary))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day16.beam: The variable on line 79 at column 31 is expected to have type [35mnon_neg_integer()[0m but it has type [35minteger()[0m | |
{S, _} = lists:split(7, String), | |
Offset = list_to_integer(S), | |
{_, Digits} = lists:split([36mOffset[0m, | |
[36m^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day10.beam: The variable on line 88 at column 39 is expected to have type [35m[0..1114111][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
"value" -> | |
[Value, "goes", "to", "bot", Bot] = Rest, | |
{goes_to, list_to_integer([36mValue[0m), list_to_integer(Bot)}; | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc_erlang.beam: Call to undefined function aoc_puzzle:info/1 on line 8 at column 37 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day03.beam: The operator 'rem' on line 55 at column 23 is expected to have type [35mpos_integer()[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day03.beam: The function call on line 164 at column 28 is expected to have type [35m[T, ...][0m but it has type [35m[Key][0m | |
spiralmemory2_get_latest_value(SM = {_, Map, _}) -> | |
LargestIndex = lists:max([36mmaps:keys(Map)[0m), | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day06.beam: The variable on line 44 at column 37 is expected to have type [35m[T, ...][0m but it has type [35m[Value][0m | |
Words), | |
Freqs = maps:values(FM), | |
[MinChar] = find_keys(lists:min([36mFreqs[0m), FM), | |
[36m^^^^^[0m | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Steps to reproduce | |
git clone git@github.com:erszcz/aoc_erlang.git | |
cd aoc_erlang | |
git checkout gradualizer | |
(~/work/erszcz/gradualizer/bin/gradualizer.erszcz-master --version; for beam in $(find _build/default/lib/aoc_erlang/ebin/ -name \*.beam); do ~/work/erszcz/gradualizer/bin/gradualizer.erszcz-master -I include -- $beam; done) | tee erszcz-master.log | |
(~/work/erszcz/gradualizer/bin/gradualizer.upstream-master --version; for beam in $(find _build/default/lib/aoc_erlang/ebin/ -name \*.beam); do ~/work/erszcz/gradualizer/bin/gradualizer.upstream-master -I include -- $beam; done) | tee upstream-master.log |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Gradualizer v0.1.3-108-g5be0f94 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day03.beam: Nonexhaustive patterns on line 35 at column 1 | |
Example values which are not covered: | |
[] | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day03.beam: The function call on line 62 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
map_smallest(Fun, List) -> | |
lists:min([36mlists:map(Fun, List)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day10.beam: The pattern "position" on line 42 at column 19 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day06.beam: The clause on line 78 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day06.beam: The clause on line 88 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: Call to undefined function intcode:parse/1 on line 29 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: The variable on line 57 at column 23 is expected to have type [35m[T, ...][0m but it has type [35m[Elem | Value][0m | |
end, | |
maps:to_list(Grid1)), | |
{Dist0, lists:max([36mOxygenDists[0m)}. | |
[36m^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day15.beam: Call to undefined function intcode:execute/4 on line 62 at column 21 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day13.beam: Call to undefined function astar2:astar/5 on line 36 at column 15 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day16.beam: The variable on line 116 at column 44 is expected to have type [35m[T, ...][0m but it has type [35m[integer()][0m | |
lists:foldl(fun erlang:'*'/2, | |
1, | |
lists:map(fun (Pos) -> lists:nth(Pos, [36mMyTicket[0m) end, | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day16.beam: The pattern #{fields := Fields, myticket := MyTicket, nearbytickets := Tickets} on line 129 at column 19 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day05.beam: The function call on line 72 at column 25 is expected to have type [35mmaybe_improper_list(0..255 | | |
<<_:_*8>> | | |
maybe_improper_list(byte() | | |
binary() | | |
iolist(), | |
[] | binary()), | |
<<_:_*8>> | [])[0m but it has type [35mstring()[0m | |
hash(Input, Index) -> | |
erlang:md5(Input ++ [36minteger_to_list(Index)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day25.beam: The clause on line 88 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day06.beam: The pattern "toggle" on line 31 at column 27 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day06.beam: The clause on line 53 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day06.beam: Nonexhaustive patterns on line 87 at column 22 | |
Example values which are not covered: | |
-1 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day19.beam: Call to undefined function intcode:execute/2 on line 44 at column 23 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day20.beam: The variable on line 308 at column 32 is expected to have type [35m[A, ...][0m but it has type [35m[[<<_:_*8>> | | |
[char()] | | |
{error, string(), binary()} | | |
{incomplete, string(), binary()} | | |
{integer(), integer()}]] | | |
[<<_:_*8>> | | |
[char()] | | |
{error, string(), binary()} | | |
{incomplete, string(), binary()} | | |
{integer(), integer()}][0m | |
"(\\d+):", | |
[{capture, all_but_first, list}]), | |
TileNum = list_to_integer(hd([36mMatches[0m)), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day23.beam: Call to undefined function intcode:execute/4 on line 80 at column 12 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day09.beam: The clause on line 37 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day09.beam: The clause on line 55 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The function call on line 40 at column 28 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
rotate(X, N) -> | |
{L1, L2} = lists:split([36mlength(X)[0m - N rem length(X), X), | |
[36m^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The function call on line 80 at column 47 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
lists:sublist(Display, | |
Height + 1, | |
[36mlength(Display)[0m - Height), | |
[36m^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day08.beam: The variable on line 122 at column 23 is expected to have type [35m[char()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
decode_instr(Instr) -> | |
[Op | Rest] = string:lexemes(Instr, " "), | |
case list_to_atom([36mOp[0m) of | |
[36m^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day22.beam: The pattern "cut" on line 29 at column 23 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: Call to undefined function dijkstra:dijkstra/3 on line 40 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: The operator '+' on line 85 at column 89 is expected to have type [35m0..255[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day18.beam: The operator '+' on line 121 at column 59 is expected to have type [35m0..255[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day11.beam: The clause on line 45 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day07.beam: The pattern {WireA, '->', WireB} on line 64 at column 11 doesn't have the type [35m{atom_or_int()}[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day24.beam: The operator '++' on line 50 at column 47 is expected to have type [35m_TyVar-576460752303423228[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day24.beam: Call to undefined function astar2:astar/5 on line 85 at column 11 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day04.beam: The function call on line 46 at column 32 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
end, | |
Str), | |
lists:sublist(EncrName, 1, [36mlength(EncrName)[0m - 1). | |
[36m^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day04.beam: The clause on line 70 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day04.beam: The clause on line 81 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day01.beam: The pattern [X, X | Xs] on line 73 at column 9 does not have type: | |
[35m[][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day01.beam: Nonexhaustive patterns on line 79 at column 1 | |
Example values which are not covered: | |
[] | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day01.beam: The clause on line 86 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day01.beam: The variable on line 43 at column 19 is expected to have type [35m[T, ...][0m but it has type [35m[integer()][0m | |
-spec solve2(Input :: input_type()) -> result2_type(). | |
solve2(Input) -> | |
Min = lists:min([36mInput[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern [A, B] on line 28 at column 26 does not have type: | |
[35m[][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern #{a := A} on line 40 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day12.beam: The pattern #{a := A} on line 45 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The clause on line 90 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The clause on line 119 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 234 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_5_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 239 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_8_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part1_parser.beam: The variable on line 244 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_9_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day07.beam: The pattern "Step" on line 27 at column 17 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day02.beam: Call to undefined function intcode:execute/1 on line 38 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day09.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day23.beam: The pattern #{a := A} on line 32 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day23.beam: The pattern 0 on line 57 at column 11 doesn't have the type [35mpos_integer()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day23.beam: The clause on line 76 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The clause on line 90 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The clause on line 119 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 234 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_5_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 239 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_8_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_part2_parser.beam: The variable on line 246 at column 22 is expected to have type [35m[A, ...][0m but it has type [35many() | [][0m | |
[_, _ | Nss] = Ss, | |
NewStack = yeccpars2_9_(Stack), | |
yeccgoto_expr(hd([36mNss[0m), Cat, Nss, NewStack, T, Ts, Tzr). | |
[36m^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day20.beam: The clause on line 54 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day20.beam: The clause on line 63 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day25.beam: The operator '++' on line 96 at column 24 is expected to have type [35m_TyVar-576460752303423484[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day05.beam: Call to undefined function intcode:execute/2 on line 34 at column 32 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day16.beam: The clause on line 202 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day16.beam: The clause on line 209 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc_nifs.beam: The function call on line 12 at column 13 is expected to have type [35m[char()][0m but it has type [35mfile:filename_all()[0m | |
filename:join("/Users/erszcz/work/jesperes/aoc_erlang/c_src", | |
"aoc_nifs.so"), | |
ok = erlang:load_nif([36mfilename:rootname(File)[0m, 0). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Call to undefined function intcode:execute/1 on line 42 at column 26 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: The clause on line 49 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day13.beam: Call to undefined function intcode:execute/4 on line 65 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day15.beam: The pattern "Disc" on line 77 at column 6 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 31 at column 3 is expected to have type [35minput_type()[0m but it has type [35m[unicode:chardata()][0m | |
-spec parse(Input :: binary()) -> input_type(). | |
parse(Input) -> | |
[36mstring:split(string:trim(binary_to_list(Input)),[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m"\n\n",[0m | |
[36m^^^^^^^[0m | |
[36mall)[0m. | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 35 at column 3 is expected to have type [35mresult1_type()[0m but it has type [35mnumber()[0m | |
-spec solve1(Input :: input_type()) -> result1_type(). | |
solve1(Input) -> | |
[36mlists:sum(lists:map(fun num_yes_answers/1, Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The function call on line 39 at column 3 is expected to have type [35mresult2_type()[0m but it has type [35mnumber()[0m | |
-spec solve2(Input :: input_type()) -> result2_type(). | |
solve2(Input) -> | |
[36mlists:sum(lists:map(fun all_yes_answers/1, Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day06.beam: The variable on line 56 at column 37 is expected to have type [35m[Element][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
sets:intersection(Acc, sets:from_list(Group)) | |
end, | |
sets:from_list([36mFirst[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day10.beam: The clause on line 51 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day10.beam: The variable on line 62 at column 28 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
{A0, B0} = lists:split(Length, L0), | |
L1 = lists:reverse(A0) ++ B0, | |
{A1, B1} = lists:split([36mListLen[0m - Pos, L1), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day10.beam: The pattern #{3 := D3, 1 := D1} on line 56 at column 3 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day10.beam: The variable on line 67 at column 22 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
solve2(List) -> | |
Adapters = lists:sort(List), | |
Device = lists:max([36mAdapters[0m) + 3, | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18_lexer.beam: The clause on line 292 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day21.beam: The record patterns for record #combatant on line 61 at column 27 is expected to have type [35m_TyVar-576460752303423420[0m. | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day21.beam: The record patterns for record #combatant on line 94 at column 27 is expected to have type [35m_TyVar-576460752303423292[0m. | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day07.beam: The function call on line 75 at column 30 is expected to have type [35minteger()[0m but it has type [35mnumber()[0m | |
{Children, Weights} = lists:unzip(SubTreeWeights), | |
case deviant(Weights) of | |
undef -> Weight + [36mlists:sum(Weights)[0m; | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day07.beam: The variable on line 76 at column 40 is expected to have type [35m[char()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
C2, | |
_] -> | |
{list_to_integer([36mN[0m), | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day14.beam: The variable on line 56 at column 27 is expected to have type [35m[T, ...][0m but it has type [35many() | [T][0m | |
end, | |
case length(Keys0) of | |
L when L >= 64 -> lists:nth(64, [36mKeys0[0m); | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day14.beam: Call to undefined function aoc_nifs:digest_to_hexstring/1 on line 91 at column 13 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day17.beam: The clause on line 77 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day17.beam: The variable on line 35 at column 34 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
end, | |
BucketCombos), | |
MinLen = length(lists:nth(1, [36mSortedOnLength[0m)), | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day22.beam: The variable on line 161 at column 22 is expected to have type [35mpos_integer()[0m but it has type [35mnon_neg_integer()[0m | |
size_to_num(Str) -> | |
L = length(Str), | |
case lists:split([36mL[0m - 1, Str) of | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day22.beam: The pattern "dev" on line 169 at column 6 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day08.beam: The function call on line 49 at column 13 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
solve1(Binary) -> | |
{_, Ones, Twos} = lists:min([36mlists:map(fun (Layer) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mFun = fun (N,[0m | |
[36m^^^^^^^^^^^^^[0m | |
[36m{N0, N1, N2} =[0m | |
[36m^^^^^^^^^^^^^^[0m | |
[36mAcc) ->[0m | |
[36m^^^^^^^[0m | |
[36mcase[0m | |
[36m^^^^[0m | |
[36mbinary:at(Binary,[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36mN)[0m | |
[36m^^[0m | |
[36mof[0m | |
[36m^^[0m | |
[36m$0 ->[0m | |
[36m^^^^^[0m | |
[36m{N0 + 1,[0m | |
[36m^^^^^^^^[0m | |
[36mN1,[0m | |
[36m^^^[0m | |
[36mN2};[0m | |
[36m^^^^[0m | |
[36m$1 ->[0m | |
[36m^^^^^[0m | |
[36m{N0,[0m | |
[36m^^^^[0m | |
[36mN1 + 1,[0m | |
[36m^^^^^^^[0m | |
[36mN2};[0m | |
[36m^^^^[0m | |
[36m$2 ->[0m | |
[36m^^^^^[0m | |
[36m{N0,[0m | |
[36m^^^^[0m | |
[36mN1,[0m | |
[36m^^^[0m | |
[36mN2 +[0m | |
[36m^^^^[0m | |
[36m1};[0m | |
[36m^^^[0m | |
[36m_ -> Acc[0m | |
[36m^^^^^^^^[0m | |
[36mend[0m | |
[36m^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlists:foldl(Fun,[0m | |
[36m^^^^^^^^^^^^^^^^[0m | |
[36m{0, 0, 0},[0m | |
[36m^^^^^^^^^^[0m | |
[36mlists:seq(Layer *[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36m150,[0m | |
[36m^^^^[0m | |
[36m(Layer +[0m | |
[36m^^^^^^^^[0m | |
[36m1)[0m | |
[36m^^[0m | |
[36m*[0m | |
[36m^[0m | |
[36m150[0m | |
[36m^^^[0m | |
[36m-[0m | |
[36m^[0m | |
[36m1))[0m | |
[36m^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlayers())[0m), | |
[36m^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day08.beam: The operator '++' on line 68 at column 76 is expected to have type [35m_TyVar-576460752303423386 | [A | [A | deep_list(A)]][0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day08.beam: The clause on line 80 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day08.beam: The variable on line 45 at column 55 is expected to have type [35m[char()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
{N + 1, | |
maps:put(N, | |
{list_to_atom([36mInstr[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day08.beam: The pattern [Op1, Val1, "if", Reg2, Op2, Val2] on line 33 at column 38 doesn't have the type [35m[nonempty_string()] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day22.beam: Call to undefined function astar2:astar/5 on line 65 at column 27 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day22.beam: The pattern #{max_x := MaxX} on line 91 at column 22 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day14.beam: The pattern ["can", | |
"fly", | |
Speed, | |
"km/s", | |
"for", | |
Second, | |
"seconds", | |
"but", | |
"then", | |
"must", | |
"rest", | |
"for", | |
Rest, | |
"seconds"] on line 26 at column 19 doesn't have the type [35m[nonempty_string()] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day14.beam: The pattern #{current_state := rest, | |
speed := Speed, | |
fly_time := FlyTime, | |
distance := Dist, | |
remaining_time := 0} on line 99 at column 23 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day18.beam: The clause on line 83 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day21.beam: The operator '-' on line 93 at column 32 is expected to have type [35mpos_integer()[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//bfs.beam: _build/default/lib/aoc_erlang/ebin//aoc2015_day22.beam: The pattern #{mana_spent := ManaSpent} on line 73 at column 11 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day22.beam: The pattern #{effects := Effects, mana := Mana} on line 122 at column 5 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day12.beam: The pattern "N" on line 62 at column 17 doesn't have the type [35m[none()][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day04.beam: The variable on line 39 at column 45 is expected to have type [35m[char()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
":", | |
all), | |
KA = list_to_atom([36mK[0m), | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day04.beam: The pattern #{byr := Byr, | |
iyr := Iyr, | |
eyr := Eyr, | |
ecl := Ecl, | |
hgt := Hgt, | |
hcl := Hcl, | |
pid := Pid} on line 84 at column 17 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day17.beam: Call to undefined function astar2:astar/5 on line 39 at column 11 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day11.beam: The variable on line 98 at column 30 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
|| X <- lists:seq(lists:min(Xs), lists:max(Xs))] | |
++ "\n" | |
|| Y <- lists:seq(lists:min([36mYs[0m), lists:max(Ys))]. | |
[36m^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day02.beam: The clause on line 72 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day02.beam: The clause on line 79 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Call to undefined function intcode:execute/2 on line 41 at column 28 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: Call to undefined function intcode:execute/4 on line 88 at column 16 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day07.beam: The variable on line 127 at column 29 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
lists:foreach(fun (Pid) -> Pid ! start end, Pids), | |
A ! 0, | |
LastAmpPid = lists:last([36mPids[0m), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 28 at column 9 is expected to have type [35m[char()][0m but it has type [35municode:chardata()[0m | |
parse(Binary) -> | |
string:tokens([36mstring:trim(binary_to_list(Binary))[0m, | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 33 at column 5 is expected to have type [35mresult_type()[0m but it has type [35mnumber()[0m | |
solve1(Input) -> | |
Graph = make_digraph(Input, [acyclic]), | |
[36msum_of_orbits(Graph)[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 60 at column 34 is expected to have type [35m[term()][0m but it has type [35m[vertex(), ...] | false[0m | |
sum_of_orbits(Graph) -> | |
lists:sum(lists:map(fun ('COM') -> 0; | |
(V) -> length([36mdigraph:get_path(Graph, V, 'COM')[0m) - 1 | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day06.beam: The function call on line 66 at column 12 is expected to have type [35m[term()][0m but it has type [35m[vertex(), ...] | false[0m | |
-spec orbital_dist(digraph:graph()) -> integer(). | |
orbital_dist(Graph) -> | |
length([36mdigraph:get_path(Graph, 'YOU', 'SAN')[0m) - 3. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day15.beam: The function call on line 126 at column 21 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
[] -> Grid; | |
_ -> | |
MinHP = lists:min([36mlists:map(fun ({_, {_, HP, _, _}}) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mHP[0m | |
[36m^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mEnemiesInRange)[0m), | |
[36m^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day15.beam: The clause on line 224 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day15.beam: _build/default/lib/aoc_erlang/ebin//aoc2015_day19.beam: The clause on line 89 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day10.beam: The variable on line 125 at column 41 is expected to have type [35mnon_neg_integer()[0m but it has type [35minteger()[0m | |
fun () -> | |
X__X = $\n, | |
case binary:at(Binary, [36mWidth[0m) of | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day16.beam: The clause on line 39 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day16.beam: The clause on line 65 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day05.beam: The variable on line 42 at column 6 is expected to have type [35m[A, ...][0m but it has type [35m[integer()][0m | |
solve1(Input) -> hd([36mInput[0m). | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day23.beam: The pattern #{pc := PC} on line 43 at column 23 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day23.beam: The pattern #{pc := PC} on line 79 at column 18 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day23.beam: The clause on line 84 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day19.beam: The function call on line 36 at column 5 is expected to have type [35mresult_type()[0m but it has type [35mnumber()[0m | |
solve2(_Input) -> | |
Factors = start2(1, magic_number(), []), | |
[36mlists:sum(Factors)[0m. | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day19.beam: The pattern "#ip" on line 53 at column 6 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc_puzzle.beam: Call to undefined function aoc_puzzle:solve/2 on line 79 at column 27 | |
_build/default/lib/aoc_erlang/ebin//aoc_puzzle.beam: Call to undefined function aoc_puzzle:run_puzzle/1 on line 98 at column 58 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day03.beam: Nonexhaustive patterns on line 56 at column 1 | |
Example values which are not covered: | |
0 | |
{0, 0} | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The pattern ["capacity", | |
Cap, | |
"durability", | |
Dur, | |
"flavor", | |
Flavor, | |
"texture", | |
Texture, | |
"calories", | |
Calories] on line 26 at column 21 doesn't have the type [35m[nonempty_string()] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The function call on line 58 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[B][0m | |
X3 <- lists:seq(1, 100), X4 <- lists:seq(1, 100), | |
X1 + X2 + X3 + X4 == 100], | |
lists:max([36mlists:map(fun (Amounts) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mscore(Amounts, Ingredients)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mCombinations)[0m). | |
[36m^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day15.beam: The function call on line 71 at column 9 is expected to have type [35m[T, ...][0m but it has type [35m[Elem | Value][0m | |
X3 <- lists:seq(1, 100), X4 <- lists:seq(1, 100), | |
X1 + X2 + X3 + X4 == 100], | |
lists:max([36mlists:filtermap(fun ({Score, Cal})[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mwhen Cal == 500 ->[0m | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
[36m{true, Score};[0m | |
[36m^^^^^^^^^^^^^^[0m | |
[36m(_) -> false[0m | |
[36m^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mlists:map(fun (Amounts) ->[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mscore2(Amounts, Ingredients)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36mend,[0m | |
[36m^^^^[0m | |
[36mCombinations))[0m). | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day23.beam: The pattern "pos" on line 26 at column 19 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day23.beam: The variable on line 33 at column 27 is expected to have type [35m[T, ...][0m but it has type [35m[{integer(), integer(), integer(), integer()}][0m | |
-spec solve1(Input :: input_type()) -> result_type(). | |
solve1(NanoBots) -> | |
Strongest = lists:max([36mNanoBots[0m), | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day09.beam: The variable on line 102 at column 17 is expected to have type [35m[T, ...][0m but it has type [35m[T][0m | |
{Range, _} = lists:split(Len, List), | |
Sum = lists:sum(Range), | |
if Sum == Num -> lists:min([36mRange[0m) + lists:max(Range); | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day09.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Binary :: binary()) -> input_type(). | |
parse(Binary) -> [36mstring:trim(binary_to_list(Binary))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day09.beam: The clause on line 40 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day09.beam: The clause on line 50 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day07.beam: The clause on line 42 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day07.beam: The clause on line 54 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day24.beam: The operator '++' on line 68 at column 23 is expected to have type [35m_TyVar-576460752303423389[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day14.beam: The variable on line 57 at column 44 is expected to have type [35m[binary()][0m but it has type [35m[[any()] | | |
[<<_:_*8>> | | |
[any()] | | |
maybe_improper_list(byte() | binary() | iolist(), | |
[] | binary())] | | |
[<<_:_*8>> | | |
[any()] | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])]] | | |
[][0m | |
lists:filtermap(fun (Bin) -> | |
[First | Rest] = re:split(Bin, "\n", [multiline]), | |
Writes = parse_writes(filter_empty([36mRest[0m), []), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day14.beam: The variable on line 95 at column 26 is expected to have type [35m<<_:_*8>>[0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
"[] = "), | |
P = {write, | |
binary_to_integer([36mAddr[0m), | |
[36m^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day17.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//grid.beam: The '++' expression on line 25 at column 23 is expected to have type [35m0..1114111[0m but it has type [35m[any()][0m | |
MaxY = lists:max(YCoords), | |
header(MinX, MaxX) ++ | |
[[36mleft_margin(Y) ++[0m | |
[36m^^^^^^^^^^^^^^^^^[0m | |
[36m[maps:get({X, Y}, Grid, 32)[0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m|| X <- lists:seq(MinX, MaxX)][0m | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
[36m++ "\n"[0m | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day04.beam: The clause on line 94 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day12.beam: The pattern "initial" on line 63 at column 4 doesn't have the type [35m[char(), ...][0m | |
_build/default/lib/aoc_erlang/ebin//inputs.beam: The function call on line 51 at column 17 is expected to have type [35matom() | | |
<<_:_*8>> | | |
[char()] | | |
[char() | atom() | deep_list()][0m but it has type [35mfile:filename() | {error, bad_name}[0m | |
-spec get_input_dir() -> file:filename(). | |
get_input_dir() -> | |
filename:join([36mcode:priv_dir(aoc_erlang)[0m, "inputs"). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//inputs.beam: The variable on line 61 at column 3 is expected to have type [35mfile:filename()[0m but it has type [35m<<_:_*8>> | [char()][0m | |
io_lib:format("input~2..0B.txt", [Day])]), | |
true = filelib:is_file(Filename), | |
[36mFilename[0m. | |
[36m^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day08.beam: The operator '++' on line 36 at column 29 is expected to have type [35m_TyVar-576460752303422874[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day08.beam: The clause on line 70 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day21.beam: Undefined remote type intcode:intcode_program/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day18.beam: Call to undefined function aoc2020_day18_lexer:string/1 on line 72 at column 46 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day24.beam: The pattern #{units := Units, damage := Damage} on line 111 at column 17 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day24.beam: The pattern #{units := Units, hp := HP} on line 192 at column 13 doesn't have the type [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day12.beam: Undefined remote type jsone:json_object/0 on line 0 | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day08.beam: The function call on line 26 at column 15 is expected to have type [35m[char()][0m but it has type [35municode:chardata()[0m | |
parse(Input) -> | |
lists:map(fun list_to_integer/1, | |
string:tokens([36mstring:trim(binary_to_list(Input))[0m, " ")). | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day08.beam: The operator '+' on line 42 at column 22 is expected to have type [35mchar()[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day04.beam: The function call on line 31 at column 30 is expected to have type [35mmaybe_improper_list(0..255 | | |
<<_:_*8>> | | |
maybe_improper_list(byte() | | |
binary() | | |
iolist(), | |
[] | binary()), | |
<<_:_*8>> | [])[0m but it has type [35mstring()[0m | |
solve(Input, N, P1) -> | |
case erlang:md5(Input ++ [36minteger_to_list(N)[0m) of | |
[36m^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day05.beam: The clause on line 44 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day05.beam: The clause on line 64 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day05.beam: The clause on line 72 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day09.beam: The function call on line 37 at column 13 is expected to have type [35m[T, ...][0m but it has type [35m[Value][0m | |
#{}, | |
Last), | |
lists:max([36mmaps:values(Scores)[0m). | |
[36m^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//intcode.beam: Call to undefined function intcode:parse/1 on line 39 at column 19 | |
_build/default/lib/aoc_erlang/ebin//intcode.beam: The pattern {Inputs, Outputs} on line 84 at column 29 doesn't have the type [35minteger()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day13.beam: The pattern ["would", | |
GainOrLose, Amount, | |
"happiness", | |
"units", | |
"by", | |
"sitting", | |
"next", | |
"to", | |
B] on line 26 at column 19 doesn't have the type [35m[nonempty_string()] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day13.beam: The clause on line 110 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day23.beam: The operator '+' on line 83 at column 39 is requires numeric arguments, but has arguments of type [35mVal | undefined[0m and [35many()[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day23.beam: The clause on line 106 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day25.beam: The operator '++' on line 59 at column 65 is expected to have type [35m_TyVar-576460752303423002[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: Call to undefined function dijkstra:dijkstra/3 on line 39 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: Call to undefined function dijkstra:dijkstra/3 on line 47 at column 36 | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day20.beam: The variable on line 212 at column 22 is expected to have type [35m[T, ...][0m but it has type [35m[A][0m | |
end, | |
Map))), | |
MaxX = lists:max([36mXCoords[0m), | |
[36m^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day09.beam: The pattern ["to", To, "=", Dist] on line 25 at column 25 doesn't have the type [35m[nonempty_string()] | [][0m | |
_build/default/lib/aoc_erlang/ebin//aoc2015_day09.beam: The clause on line 62 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day13.beam: The variable on line 113 at column 20 is expected to have type [35m[term()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
Str = binary_to_list(Binary), | |
[First | _] = string:split(Str, "\n"), | |
Width = length([36mFirst[0m), | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day05.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Input :: binary()) -> input_type(). | |
parse(Input) -> [36mstring:trim(binary_to_list(Input))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2018_day05.beam: The variable on line 36 at column 11 is expected to have type [35mstring()[0m but it has type [35m[integer()][0m | |
-spec react([integer()]) -> [integer()]. | |
react(L) -> react([36mL[0m, []). | |
[36m^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day16.beam: The function call on line 24 at column 5 is expected to have type [35minput_type()[0m but it has type [35municode:chardata()[0m | |
-spec parse(Binary :: binary()) -> input_type(). | |
parse(Binary) -> [36mstring:trim(binary_to_list(Binary))[0m. | |
[36m^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2019_day16.beam: The variable on line 79 at column 31 is expected to have type [35mnon_neg_integer()[0m but it has type [35minteger()[0m | |
{S, _} = lists:split(7, String), | |
Offset = list_to_integer(S), | |
{_, Digits} = lists:split([36mOffset[0m, | |
[36m^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day10.beam: The clause on line 53 at column 1 cannot be reached | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day10.beam: The variable on line 88 at column 39 is expected to have type [35m[char()][0m but it has type [35m<<_:_*8>> | | |
maybe_improper_list(char() | unicode_binary() | charlist(), | |
unicode_binary() | [])[0m | |
"value" -> | |
[Value, "goes", "to", "bot", Bot] = Rest, | |
{goes_to, list_to_integer([36mValue[0m), list_to_integer(Bot)}; | |
[36m^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc_erlang.beam: Call to undefined function aoc_puzzle:info/1 on line 8 at column 37 | |
_build/default/lib/aoc_erlang/ebin//aoc2020_day03.beam: The operator 'rem' on line 55 at column 23 is expected to have type [35mpos_integer()[0m which is too precise to be statically checked | |
_build/default/lib/aoc_erlang/ebin//aoc2017_day03.beam: The function call on line 164 at column 28 is expected to have type [35m[T, ...][0m but it has type [35m[Key][0m | |
spiralmemory2_get_latest_value(SM = {_, Map, _}) -> | |
LargestIndex = lists:max([36mmaps:keys(Map)[0m), | |
[36m^^^^^^^^^^^^^^[0m | |
_build/default/lib/aoc_erlang/ebin//aoc2016_day06.beam: The variable on line 44 at column 37 is expected to have type [35m[T, ...][0m but it has type [35m[Value][0m | |
Words), | |
Freqs = maps:values(FM), | |
[MinChar] = find_keys(lists:min([36mFreqs[0m), FM), | |
[36m^^^^^[0m | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment