diff options
author | Björn Gustavsson <[email protected]> | 2012-01-11 08:23:36 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2012-01-11 08:23:36 +0100 |
commit | bb312f5fb5748fef90f57ccb387f1c32a729f086 (patch) | |
tree | 18a43561160eba91005cf3f34c6c211ed3bc8c98 /lib/compiler/test/core_SUITE_data/reversed_annos.core | |
parent | 3ee63ae7b498a1d7d232b0dcdcffb7f7f30c9579 (diff) | |
parent | 3a6963f4f79adf75adc098a8e7e5ed7ac5fff46b (diff) | |
download | otp-bb312f5fb5748fef90f57ccb387f1c32a729f086.tar.gz otp-bb312f5fb5748fef90f57ccb387f1c32a729f086.tar.bz2 otp-bb312f5fb5748fef90f57ccb387f1c32a729f086.zip |
Merge branch 'bjorn/compiler/tests' into maint
* bjorn/compiler/tests:
compile_SUITE: Add test of 'sys_pre_attributes'
Correct syntax in compiler.cover
Cover v3_kernel:get_line/1
core_SUITE: Cover the nomatch_shadow warning in v3_kernel
core_SUITE: Cover v3_kernel:build_match/2
bs_match_SUITE: Add a test case to cover bsm_ensure_no_partition_2/5
core_fold_SUITE: Cover sys_core_fold:is_safe_bool_expr_1/3
core_SUITE: Cover sys_core_fold:eval_is_boolean/2
core_SUITE: Cover sys_core_fold:make_effect_seq/2
beam_validator_SUITE:beam_files/1: Validate modules in parallel
compilation_SUITE: Compile compiler modules in parallel
compilation_SUITE: Prevent cover from being run on slave nodes
test_lib:p_run/2: Be careful about how many parallel processes we use
Remove part_eval_SUITE
Diffstat (limited to 'lib/compiler/test/core_SUITE_data/reversed_annos.core')
-rw-r--r-- | lib/compiler/test/core_SUITE_data/reversed_annos.core | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/lib/compiler/test/core_SUITE_data/reversed_annos.core b/lib/compiler/test/core_SUITE_data/reversed_annos.core new file mode 100644 index 0000000000..95b3cd52d6 --- /dev/null +++ b/lib/compiler/test/core_SUITE_data/reversed_annos.core @@ -0,0 +1,49 @@ +module 'reversed_annos' ['reversed_annos'/0] + attributes [] +'reversed_annos'/0 = + fun () -> + case <> of + <> when 'true' -> + case apply 't'/1 + (['a']) of + <'ok'> when 'true' -> + let <_cor2> = + apply 't'/1 + (['a'|['b']]) + in + case _cor2 of + <'ok'> when 'true' -> + ( _cor2 + -| ['compiler_generated'] ) + ( <_cor1> when 'true' -> + primop 'match_fail' + ({'badmatch',_cor1}) + -| ['compiler_generated'] ) + end + ( <_cor0> when 'true' -> + primop 'match_fail' + ({'badmatch',_cor0}) + -| ['compiler_generated'] ) + end + ( <> when 'true' -> + ( primop 'match_fail' + ({'function_clause'}) + -| [{'function_name',{'reversed_annos',0}}] ) + -| ['compiler_generated'] ) + end +'t'/1 = + fun (_cor0) -> + case _cor0 of + <[_cor2|_cor3]> when 'true' -> + 'ok' + %% Cover v3_kernel:get_line/1. + ( <['a']> when 'true' -> + 'error' + -| [{'file',"reversed_annos.erl"},11] ) + ( <_cor1> when 'true' -> + ( primop 'match_fail' + ({'function_clause',_cor1}) + -| [{'function_name',{'t',1}}] ) + -| ['compiler_generated'] ) + end +end |