Imported functions are reported as undefined

[erszcz]

A minimal example is:

-module(a).

-export([p/0]).

-spec p() -> ok.
p() -> ok.

-module(test).

-export([h/0]).

-import(a, [p/0]).

-spec h() -> ok.
h() -> p().

With Gradualizer producing:

test.erl: Call to undefined function p/0 on line 8

[zuiderkwast]

This is not yet implemented. Thanks for creating the issue for implementing it!