[erlang-questions] typer bug?

[Anthony Shipman]

I've got a recursive type specification. typer didn't seem to cope:

> grep xmlNode */*l
common/dwcConfig.erl:-spec loadConfig() -> {ok, xmlNode()} | {error, 
Reason::any()}.
common/dwcConfig.erl:-spec toSimpleTree(xmlElement()) -> xmlNode().
common/dwcTypes.hrl:-type xmlNode()      :: {Name::atom(), [{atom(), 
string()}], [xmlNode()]}.



> typer --plt ../.erlang_plt -r .
typer: analysis failed with error report:
Unknown type xmlNode

dwcConfig includes the dwcTypes.hrl file.

-- 
Anthony Shipman                    Mamas don't let your babies 
als@REDACTED                   grow up to be outsourced.