From 449c680774473deb5d004095a419e4a3bfce3637 Mon Sep 17 00:00:00 2001 From: Hubert Plociniczak Date: Fri, 29 Jan 2010 11:23:52 +0000 Subject: Closes #2650. --- test/files/buildmanager/t2650_3/A.scala | 4 ++++ test/files/buildmanager/t2650_3/B.scala | 3 +++ test/files/buildmanager/t2650_3/t2650_3.changes/A2.scala | 4 ++++ test/files/buildmanager/t2650_3/t2650_3.check | 13 +++++++++++++ test/files/buildmanager/t2650_3/t2650_3.test | 3 +++ 5 files changed, 27 insertions(+) create mode 100644 test/files/buildmanager/t2650_3/A.scala create mode 100644 test/files/buildmanager/t2650_3/B.scala create mode 100644 test/files/buildmanager/t2650_3/t2650_3.changes/A2.scala create mode 100644 test/files/buildmanager/t2650_3/t2650_3.check create mode 100644 test/files/buildmanager/t2650_3/t2650_3.test (limited to 'test/files/buildmanager/t2650_3') diff --git a/test/files/buildmanager/t2650_3/A.scala b/test/files/buildmanager/t2650_3/A.scala new file mode 100644 index 0000000000..cd13843eb9 --- /dev/null +++ b/test/files/buildmanager/t2650_3/A.scala @@ -0,0 +1,4 @@ +trait A { + type T = Int + def x: T +} diff --git a/test/files/buildmanager/t2650_3/B.scala b/test/files/buildmanager/t2650_3/B.scala new file mode 100644 index 0000000000..46a8cf270a --- /dev/null +++ b/test/files/buildmanager/t2650_3/B.scala @@ -0,0 +1,3 @@ +object B { + def x(a: A): Int = a.x +} diff --git a/test/files/buildmanager/t2650_3/t2650_3.changes/A2.scala b/test/files/buildmanager/t2650_3/t2650_3.changes/A2.scala new file mode 100644 index 0000000000..e5667b2539 --- /dev/null +++ b/test/files/buildmanager/t2650_3/t2650_3.changes/A2.scala @@ -0,0 +1,4 @@ +trait A { + type T = Long + def x: T +} diff --git a/test/files/buildmanager/t2650_3/t2650_3.check b/test/files/buildmanager/t2650_3/t2650_3.check new file mode 100644 index 0000000000..27be2f5ae8 --- /dev/null +++ b/test/files/buildmanager/t2650_3/t2650_3.check @@ -0,0 +1,13 @@ +builder > A.scala B.scala +compiling Set(A.scala, B.scala) +Changes: Map() +builder > A.scala +compiling Set(A.scala) +Changes: Map(trait A -> List(Changed(Definition(A.T))[type T changed from A.this.T to A.this.T flags: ])) +invalidate B.scala because it references changed definition [Changed(Definition(A.T))[type T changed from A.this.T to A.this.T flags: ]] +compiling Set(B.scala) +B.scala:2: error: type mismatch; + found : a.T + required: Int + def x(a: A): Int = a.x + ^ diff --git a/test/files/buildmanager/t2650_3/t2650_3.test b/test/files/buildmanager/t2650_3/t2650_3.test new file mode 100644 index 0000000000..6f3bd03361 --- /dev/null +++ b/test/files/buildmanager/t2650_3/t2650_3.test @@ -0,0 +1,3 @@ +>>compile A.scala B.scala +>>update A.scala=>A2.scala +>>compile A.scala -- cgit v1.2.3