gradient icon indicating copy to clipboard operation
gradient copied to clipboard

Crash when scanning: Unsupported guards format

Open l3nz opened this issue 2 years ago • 2 comments

Tried to run on an existing project - it spits out a few warnings, then crashes.

I get:

11:35:33.717 [error] Unsupported guards format [{:call, [generated: true, location: 529], {:remote, [generated: true, location: 529], {:atom, [generated: true, location: 529], :erlang}, {:atom, [generated: true, location: 529], :is_atom}}, [{:var, [generated: true, location: 529], :_@1}]}, {:op, [generated: true, location: 529], :"=/=", {:var, [generated: true, location: 529], :_@1}, {:atom, [generated: true, location: 529], nil}}, {:op, [generated: true, location: 529], :"=/=", {:var, [generated: true, location: 529], :_@1}, {:atom, [generated: true, location: 529], true}}, {:op, [generated: true, location: 529], :"=/=", {:var, [generated: true, location: 529], :_@1}, {:atom, [generated: true, location: 529], false}}]
** (CaseClauseError) no case clause matching: {:call, [generated: true, location: 199], {:remote, [generated: true, location: 199], {:atom, [generated: true, location: 199], :erlang}, {:atom, [generated: true, location: 199], :is_atom}}, [{:var, [generated: true, location: 199], :_@1}]}
    (stdlib 4.3) lists.erl:1314: :lists.map/2
    (stdlib 4.3) lists.erl:1315: :lists.map/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3368: :typechecker.infer_clause/2
    (stdlib 4.3) lists.erl:1320: :lists.map_1/2
    (stdlib 4.3) lists.erl:1315: :lists.map/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3354: :typechecker.infer_clauses/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1516: :typechecker.do_type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1490: :typechecker.type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1514: :typechecker.do_type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1490: :typechecker.type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1503: :typechecker.do_type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1490: :typechecker.type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3221: :typechecker.type_check_block/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3373: :typechecker.infer_clause/2
    (stdlib 4.3) lists.erl:1315: :lists.map/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3354: :typechecker.infer_clauses/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1516: :typechecker.do_type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:1490: :typechecker.type_check_expr/2
    (gradualizer 0.1.3+build.1080.ref9e629ad) /Users/lenz/dev/LogFwd/deps/gradualizer/src/typechecker.erl:3373: :typechecker.infer_clause/2
    (stdlib 4.3) lists.erl:1315: :lists.map/2

With no further indication of what/where/which file the issue could be.

l3nz avatar May 18 '23 11:05 l3nz

Maybe related to #171 ?

l3nz avatar May 18 '23 11:05 l3nz

Thanks for the report, @l3nz!

Indeed, it seems related to the issue you mention 👍 We'll look into it.

erszcz avatar May 18 '23 12:05 erszcz