[erlang-questions] Type tuple won't compile

[Mark Nijhof]

I actually get:

src/t.erl:9: type tuple() already defined
src/t.erl:12: type list() is a builtin type; it cannot be redefined
src/t.erl:6: Warning: type map is a new builtin type; its (re)definition is
allowed only until the next release

Using Erlang 17.3 or 4 (don't seem to be able to get that info after the .
anymore)


On Tue, Dec 30, 2014 at 8:46 PM, Mark Nijhof <mark.nijhof@REDACTED
> wrote:

> Predefined types: http://www.erlang.org/doc/reference_manual/typespec.html
>
> On Tue, Dec 30, 2014 at 5:52 PM, Luis Rascão <luis.rascao@REDACTED>
> wrote:
>
>> Hi all,
>> I'm having a hard time figuring out why the following code won't compile:
>>
>> -module(t).
>>
>> -export([test/1]).
>>
>> -record(map, {a, b}).
>> -type map() :: #map{}.
>>
>> -record(tuple, {a, b}).
>> -type tuple() :: #tuple{}.
>>
>> -record(list, {a, b}).
>> -type list() :: #list{}.
>>
>> -spec test(map() | tuple() | list()) -> map | tuple | list.
>> test(#map{}) -> map;
>> test(#tuple{}) -> tuple;
>> test(#list{}) -> list.
>>
>> erlc t.erl:
>>    t.erl:9: type tuple() already defined
>>
>> why should the tuple() type throw an error when the others do not?
>>
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
>>
>>
>
>
> --
> Mark Nijhof
> t:   @MarkNijhof <https://twitter.com/MarkNijhof>
> s:  marknijhof
>
>


-- 
Mark Nijhof
t:   @MarkNijhof <https://twitter.com/MarkNijhof>
s:  marknijhof
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20141230/0360258c/attachment.htm>