From 98cb1565707047d768e439a4c8f112988ef36030 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Wed, 4 Jan 2012 15:24:34 +0100
Subject: core_SUITE: Cover sys_core_fold:make_effect_seq/2

We need to write a test case in Core Erlang in order to cover
make_effect_seq/2, since v3_core does not generate "deep" Core Erlang
code.
---
 lib/compiler/test/core_SUITE.erl                   |  6 ++-
 .../test/core_SUITE_data/make_effect_seq.core      | 51 ++++++++++++++++++++++
 2 files changed, 55 insertions(+), 2 deletions(-)
 create mode 100644 lib/compiler/test/core_SUITE_data/make_effect_seq.core

(limited to 'lib/compiler')

diff --git a/lib/compiler/test/core_SUITE.erl b/lib/compiler/test/core_SUITE.erl
index 26173c62b8..0a144a3189 100644
--- a/lib/compiler/test/core_SUITE.erl
+++ b/lib/compiler/test/core_SUITE.erl
@@ -21,7 +21,8 @@
 -export([all/0, suite/0,groups/0,init_per_suite/1, end_per_suite/1, 
 	 init_per_group/2,end_per_group/2,
 	 init_per_testcase/2,end_per_testcase/2,
-	 dehydrated_itracer/1,nested_tries/1]).
+	 dehydrated_itracer/1,nested_tries/1,
+	 make_effect_seq/1]).
 
 -include_lib("test_server/include/test_server.hrl").
 
@@ -41,7 +42,7 @@ suite() -> [{ct_hooks,[ts_install_cth]}].
 
 all() -> 
     test_lib:recompile(?MODULE),
-    [dehydrated_itracer, nested_tries].
+    [dehydrated_itracer,nested_tries,make_effect_seq].
 
 groups() -> 
     [].
@@ -61,6 +62,7 @@ end_per_group(_GroupName, Config) ->
 
 ?comp(dehydrated_itracer).
 ?comp(nested_tries).
+?comp(make_effect_seq).
 
 try_it(Mod, Conf) ->
     ?line Src = filename:join(?config(data_dir, Conf), atom_to_list(Mod)),
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
-- 
cgit v1.2.3