changeset 1568:afe5f4bc8f9c

[Issue 1595] Multiple typedefs of Exception should be treated as different types. <pop.atry@gmail.com> 2007-10-07 http://d.puremagic.com/issues/show_bug.cgi?id=1595
author thomask
date Fri, 19 Oct 2007 17:07:50 +0000
parents 54833ea51c6f
children 4e9fdbb1bece
files run/c/catch_08_A.d run/c/catch_08_B.d run/c/catch_08_C.d run/c/catch_08_D.d run/c/catch_08_E.d run/c/catch_08_F.d run/c/catch_08_G.d
diffstat 7 files changed, 198 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_A.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,26 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_A;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Cat();
+	}catch(Cat c){
+		return 0;
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_B.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,26 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_B;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Cat();
+	}catch(Base b){
+		return 0;
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_C.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,28 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_C;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Cat();
+	}catch(Cat c){
+		return 0;
+	}catch(Base b){
+		assert(0);
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_D.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,28 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_D;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Cat();
+	}catch(Dog d){
+		assert(0);
+	}catch(Cat c){
+		return 0;
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_E.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,30 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_E;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Cat();
+	}catch(Dog d){
+		assert(0);
+	}catch(Cat c){
+		return 0;
+	}catch(Base b){
+		assert(0);
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_F.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,30 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_F;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Dog();
+	}catch(Dog d){
+		return 0;
+	}catch(Cat c){
+		assert(0);
+	}catch(Base b){
+		assert(0);
+	}
+	assert(0);
+}
+		
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/c/catch_08_G.d	Fri Oct 19 17:07:50 2007 +0000
@@ -0,0 +1,30 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	<pop.atry@gmail.com>
+// @date@	2007-10-07
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=1595
+// @desc@	[Issue 1595] Multiple typedefs of Exception should be treated as different types.
+
+module dstress.run.c.catch_08_G;
+
+class Base{
+}
+
+typedef Base Cat;
+typedef Base Dog;
+
+int main(){
+	try{
+		throw new Base();
+	}catch(Dog d){
+		assert(0);
+	}catch(Cat c){
+		assert(0);
+	}catch(Base b){
+		return 0;
+	}
+	assert(0);
+}
+