[erlang-questions] Type tuple won't compile

Loïc Hoguin essen@REDACTED
Wed Dec 31 13:20:14 CET 2014


I am curious as to why the error for tuple() and list() are different.

On 12/30/2014 08:54 PM, Mark Nijhof wrote:
> 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 <mailto: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
>     <mailto: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 <mailto: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
>
>
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>

-- 
Loïc Hoguin
http://ninenines.eu



More information about the erlang-questions mailing list