Comment on Why Typing Erlang is Hard: Standard ErlangparentComments−Joker_vD5yI am using an old version of erlang, so typer infers the following types: -spec count([any()],_) -> any(). -spec count([any(),...]) -> any(). If I unexport count/2, it infers -spec count([any(),...]) -> non_neg_integer(). -spec count([any()],non_neg_integer()) -> non_neg_integer().−dnautics5yI did say "should be able to" without regard to any of the existing type inference engines =D I'll be sure to make this as explicit test in Mavis Inference, which is the one I'm working on. https://github.com/ityonemo/mavis_inference/issues/47
Comments
I am using an old version of erlang, so typer infers the following types:
If I unexport count/2, it infersI did say "should be able to" without regard to any of the existing type inference engines =D I'll be sure to make this as explicit test in Mavis Inference, which is the one I'm working on. https://github.com/ityonemo/mavis_inference/issues/47