aboutsummaryrefslogblamecommitdiffstats
path: root/lib/compiler/test/compile_SUITE_data/dialyzer_test.erl
blob: 0df737ba4c25edf9e78b7fba8b160b3c821169b5 (plain) (tree)
1
2
3
4
5
6
7
8
9




                                                   


                                                                   
  






                                                                           























                                            
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2015. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%%     http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%

-module(dialyzer_test).
-export([?MODULE/0,turtle/0,test/1,huge/1]).

-record(turtle, {a,b,c}).
-record(tortoise, {a,b,c}).

?MODULE() ->
    [{a,b,c}].

turtle() ->
    #turtle{a=1,b=2,c=3}.

test(T) ->
    {T#tortoise.a,T#tortoise.b}.

-file("dialyzer_test", 100000000).

huge(X) ->
    #turtle{a=42,b=100,c=511},
    X#tortoise.a.