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/make_effect_seq.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/make_effect_seq.core')
-rw-r--r-- | lib/compiler/test/core_SUITE_data/make_effect_seq.core | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/lib/compiler/test/core_SUITE_data/make_effect_seq.core b/lib/compiler/test/core_SUITE_data/make_effect_seq.core new file mode 100644 index 0000000000..9941e63b76 --- /dev/null +++ b/lib/compiler/test/core_SUITE_data/make_effect_seq.core @@ -0,0 +1,51 @@ +module 'make_effect_seq' ['make_effect_seq'/0] + attributes [] +'make_effect_seq'/0 = + fun () -> + case <> of + <> when 'true' -> + let <_cor0> = + catch + apply 't'/1 + ('a') + in + case _cor0 of + <{'EXIT',{'badarg',_cor3}}> when 'true' -> + let <_cor4> = + apply 't'/1 + ({'a','b','c'}) + in + case _cor4 of + <'ok'> when 'true' -> + ( _cor4 + -| ['compiler_generated'] ) + ( <_cor2> when 'true' -> + primop 'match_fail' + ({'badmatch',_cor2}) + -| ['compiler_generated'] ) + end + ( <_cor1> when 'true' -> + primop 'match_fail' + ({'badmatch',_cor1}) + -| ['compiler_generated'] ) + end + ( <> when 'true' -> + ( primop 'match_fail' + ({'function_clause'}) + -| [{'function_name',{'make_effect_seq',0}}] ) + -| ['compiler_generated'] ) + end +'t'/1 = + fun (_cor0) -> + case _cor0 of + <T> when 'true' -> + do + {'ok',call 'erlang':'element'(2, T)} + 'ok' + ( <_cor2> when 'true' -> + ( primop 'match_fail' + ({'function_clause',_cor2}) + -| [{'function_name',{'t',1}}] ) + -| ['compiler_generated'] ) + end +end |