aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test
diff options
context:
space:
mode:
authorErlang/OTP <[email protected]>2019-05-29 13:24:42 +0200
committerErlang/OTP <[email protected]>2019-05-29 13:24:42 +0200
commitf9b7f0c9202ccfeb8b09844f6ae689acb30447a2 (patch)
tree0b86da5178d6e8d1cc3c08eda52d8e4f1433760f /lib/compiler/test
parent9afe8ad5eb15c1a205ca428d84c06d4a1fe888cc (diff)
parent00dc96a9a0086e829e574b651b4a28155aa826df (diff)
downloadotp-f9b7f0c9202ccfeb8b09844f6ae689acb30447a2.tar.gz
otp-f9b7f0c9202ccfeb8b09844f6ae689acb30447a2.tar.bz2
otp-f9b7f0c9202ccfeb8b09844f6ae689acb30447a2.zip
Merge branch 'john/compiler/list_append_type/OTP-15841' into maint-22
* john/compiler/list_append_type/OTP-15841: compiler: Fix broken type for erlang:'++'/2
Diffstat (limited to 'lib/compiler/test')
-rw-r--r--lib/compiler/test/beam_type_SUITE.erl11
1 files changed, 9 insertions, 2 deletions
diff --git a/lib/compiler/test/beam_type_SUITE.erl b/lib/compiler/test/beam_type_SUITE.erl
index 0d1680fb15..2297c2e0f5 100644
--- a/lib/compiler/test/beam_type_SUITE.erl
+++ b/lib/compiler/test/beam_type_SUITE.erl
@@ -24,7 +24,7 @@
integers/1,numbers/1,coverage/1,booleans/1,setelement/1,
cons/1,tuple/1,record_float/1,binary_float/1,float_compare/1,
arity_checks/1,elixir_binaries/1,find_best/1,
- test_size/1,cover_lists_functions/1]).
+ test_size/1,cover_lists_functions/1,list_append/1]).
suite() -> [{ct_hooks,[ts_install_cth]}].
@@ -47,7 +47,8 @@ groups() ->
elixir_binaries,
find_best,
test_size,
- cover_lists_functions
+ cover_lists_functions,
+ list_append
]}].
init_per_suite(Config) ->
@@ -501,5 +502,11 @@ cover_lists_functions(Config) ->
true = is_list(Zipped),
ok.
+list_append(_Config) ->
+ %% '++'/2 has a quirk where it returns the right-hand argument as-is when
+ %% the left-hand is [].
+ hello = id([]) ++ id(hello),
+ ok.
+
id(I) ->
I.