Skype: jv.ptec
> Founder and Director of R
>
> On Sun, Feb 12, 2017 at 6:03 PM, Andrew Summers <oasum...@gmail.com
> > wrote:
>
>> Consider the following code:
>>
>> defmodule Foo do
>> @typep foo :: integer
>> @type bar :: foo
>>
>&g
Consider the following code:
defmodule Foo do
@typep foo :: integer
@type bar :: foo
@typep re :: integer
@type mi :: float | re
@type la :: mi | nil
@spec baz(integer) :: foo
def baz(bat), do: bat
end
This code presents several problems, and in my opinion should generate
at