erlang - erlang 透析器和扩展模块

Question

Dialyzer 不喜欢调用基本模块中的函数。是否有透析器标志可以跳过此错误，或者我做错了什么。

这是一个类似的代码：

-module(base).
-export(foo/1).

foo(X) -> X*2.


-module(derived).
-extends(base).
-export(xyz/0).

xyz() -> 
    ?MODULE:foo(5).

这段代码按我预期的方式工作。我唯一担心的是透析器警告；

---.erl:41: 调用丢失或未导出的函数---:---/3

我做错了什么还是透析器发出了不必要的警告？

Answer 1

Dialyzer 不支持扩展模块，也没有此类扩展的计划。据我所知，模块继承甚至不是 Erlang 的官方特性。

对不起...