Dialyzer and inheritance

[Brentley Jones]

Hello,

When using Dialyzer and module inheritance (-extends(base_module)),  
Dialyzer complains about calls to functions that are inherited.

For example, I have a module called actor_server that calls  
actor:attributes/1. actor extends another module that contains  
attributes/1, but this is what Dialyzer outputs:

$ dialyzer -c ebin --plt ebin/plt
   Checking whether the PLT ebin/plt is up-to-date... yes
   Proceeding with analysis...
actor_server.erl:71: Call to missing or unexported function  
actor:attributes/1
  done in 0m1.18s
done (warnings were emitted)

I know that inheritance is experimental, but if it's going to be  
supported this should be fixed up. I can just ignore it for now though.