erlang dialyzerと拡張モジュール

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の正式な機能ではありません。

申し訳ありません...