Native erlang:timestamp() type triggers error under Erlang/OTP 17.3

[danielwhite]

The following has been compiled and run under both R16B03-1 and 17.3.

-module(example).

-include_lib("proper/include/proper.hrl").
-include_lib("eunit/include/eunit.hrl").

native_test() ->
    proper:quickcheck(
      ?FORALL(_Timestamp, erlang:timestamp(), begin true end)).

%% Not sure why, by the native timestamp doesn't work in 17.3+.
-type timestamp() :: {MegaSecs :: non_neg_integer(),
                      Secs :: non_neg_integer(),
                      MicroSecs :: non_neg_integer()}.

internal_test() ->
    proper:quickcheck(
      ?FORALL(_Timestamp, timestamp(), begin true end)).

In the case of native_test, then the following error will be raised:

=ERROR REPORT==== 3-Nov-2014::15:23:08 ===
** Generic server <0.47.0> terminating 
** Last message in was {translate_type,{example,"erlang:timestamp()"}}
** When Server state == {state,{dict,0,16,16,8,80,48,
                                     {[],[],[],[],[],[],[],[],[],[],[],[],[],
                                      [],[],[]},
                                     {{[],[],[],[],[],[],[],[],[],[],[],[],[],
                                       [],[],[]}}},
                               {dict,0,16,16,8,80,48,
                                     {[],[],[],[],[],[],[],[],[],[],[],[],[],
                                      [],[],[]},
                                     {{[],[],[],[],[],[],[],[],[],[],[],[],[],
                                       [],[],[]}}},
                               {dict,0,16,16,8,80,48,
                                     {[],[],[],[],[],[],[],[],[],[],[],[],[],
                                      [],[],[]},
                                     {{[],[],[],[],[],[],[],[],[],[],[],[],[],
                                       [],[],[]}}},
                               {dict,0,16,16,8,80,48,
                                     {[],[],[],[],[],[],[],[],[],[],[],[],[],
                                      [],[],[]},
                                     {{[],[],[],[],[],[],[],[],[],[],[],[],[],
                                       [],[],[]}}}}
** Reason for termination == 
** {function_clause,
       [{proper_typeserver,'-update_vars/3-lc$^1/1-1-',
            [any],
            [{file,"src/proper_typeserver.erl"},{line,1079}]},
        {proper_typeserver,update_vars,3,
            [{file,"src/proper_typeserver.erl"},{line,1079}]},
        {proper_typeserver,'-unbound_to_any/2-lc$^0/1-0-',2,
            [{file,"src/proper_typeserver.erl"},{line,821}]},
        {proper_typeserver,unbound_to_any,2,
            [{file,"src/proper_typeserver.erl"},{line,821}]},
        {dict,map_bucket,2,[{file,"dict.erl"},{line,453}]},
        {dict,map_bucket,2,[{file,"dict.erl"},{line,453}]},
        {dict,map_bkt_list,2,[{file,"dict.erl"},{line,449}]},
        {dict,map_seg_list,2,[{file,"dict.erl"},{line,444}]}]}
undefined
*unexpected termination of test process*
::{function_clause,
      [{proper_typeserver,'-update_vars/3-lc$^1/1-1-',
           [any],
           [{file,"src/proper_typeserver.erl"},{line,1079}]},
       {proper_typeserver,update_vars,3,
           [{file,"src/proper_typeserver.erl"},{line,1079}]},
       {proper_typeserver,'-unbound_to_any/2-lc$^0/1-0-',2,
           [{file,"src/proper_typeserver.erl"},{line,821}]},
       {proper_typeserver,unbound_to_any,2,
           [{file,"src/proper_typeserver.erl"},{line,821}]},
       {dict,map_bucket,2,[{file,[...]},{line,...}]},
       {dict,map_bucket,2,[{file,...},{...}]},
       {dict,map_bkt_list,2,[{...}|...]},
       {dict,map_seg_list,2,[...]}]}

[kostis]

Thanks for your report. I've investigated the issue and yesterday I've sent a relevant mail inquiring about the peculiarities of the erlang module to the erlang-questions and erlang-bugs mailing lists.

While we are waiting for clarifications / some action on that front, can you clarify whether you also get the error in some R16* release? (The first sentence in the issue certainly implies so, but the comment in the code is specific to 17.3...)

[danielwhite]

native_test/0 and internal_test/0 both work in R16B03-1, whereas only internal_test/0 works in 17.3. I've not had the opportunity to test other 17.x versions.

[danielwhite]

Thanks for the pointer. I tried reproducing the problem you experienced and found that code:get_object_code(erlang) worked perfectly fine.

This led me to discovering the map() type as the source of the crash.

The patch I have submitted does not provide complete support for maps, but does allow for proper to report its unsupported status correctly.

[danielwhite]

Seems like maps have support now, so closing this.