diff options
| author | Hans Bolinder <[email protected]> | 2018-02-15 16:49:43 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-02-15 16:49:43 +0100 |
| commit | 9efdc2408ff33139878a58a58ab49402352a7a28 (patch) | |
| tree | 7f6b2ebe21680a701f16300d2e2dfbf888b63e07 /lib/dialyzer/test/small_SUITE_data/src | |
| parent | 8405b0c802e216f42afaafc5ec8501eba329cced (diff) | |
| parent | 120760b543159d36d88f1feb204ff84c74306515 (diff) | |
| download | otp-9efdc2408ff33139878a58a58ab49402352a7a28.tar.gz otp-9efdc2408ff33139878a58a58ab49402352a7a28.tar.bz2 otp-9efdc2408ff33139878a58a58ab49402352a7a28.zip | |
Merge branch 'hasse/dialyzer/fix_record_match/OTP-14911' into maint
* hasse/dialyzer/fix_record_match/OTP-14911:
dialyzer: Fix a crash
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/record_match.erl | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/record_match.erl b/lib/dialyzer/test/small_SUITE_data/src/record_match.erl new file mode 100644 index 0000000000..8e9b91937f --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/record_match.erl @@ -0,0 +1,17 @@ +-module(record_match). + +-export([select/0]). + +-record(b_literal, {val}). +-record(b_remote, {mod,name,arity}). +-record(b_local, {name,arity}). + +-type b_remote() :: #b_remote{}. +-type b_local() :: #b_local{}. + +-type argument() :: b_remote() | b_local(). + +-record(b_set, {args=[] :: [argument()]}). + +select() -> + #b_set{args=[#b_remote{},#b_literal{}]}. |