[erlang-questions] Type Server
Thu Mar 1 22:03:15 CET 2012
I am not sure what you mean by a "type server", as Dialyzer does not really
have a "component" that I could imagine being separated and labeled so.
Dialyzer has the ability to store the specs and exported types in the PLT
and from there use them to increase the precision of the analysis it
What do you mean by "working with types"?
On Thursday, March 1, 2012 4:43:33 PM UTC+1, Tim Watson wrote:
> Hi all,
> Both PropEr and Dialyzer appear to have a 'type server' that provides
> functions for working with type specs. What are the chances of this being
> available as a separate unit? There is currently very little support for
> working with types, as the previous post about lack of support in
> erl_syntax pointed out. It would be nice to see type specs being better
> erlang-questions mailing list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions