Skip to content

Crash when scanning: Unsupported guards format #174

@l3nz

Description

@l3nz

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions