From ed300578cc4cb55d737372f6e925f940130426fa Mon Sep 17 00:00:00 2001 From: buraq Date: Fri, 12 Sep 2003 13:28:07 +0000 Subject: checking patterns --- test/files/neg/bug128_129.check | 7 +++++++ test/files/neg/bug128_129.scala | 15 +++++++++++++++ test/neg/bug128_129.check | 7 +++++++ test/neg/bug128_129.scala | 15 +++++++++++++++ 4 files changed, 44 insertions(+) create mode 100644 test/files/neg/bug128_129.check create mode 100644 test/files/neg/bug128_129.scala create mode 100644 test/neg/bug128_129.check create mode 100644 test/neg/bug128_129.scala (limited to 'test') diff --git a/test/files/neg/bug128_129.check b/test/files/neg/bug128_129.check new file mode 100644 index 0000000000..d410b57095 --- /dev/null +++ b/test/files/neg/bug128_129.check @@ -0,0 +1,7 @@ +bug128_129.scala:3: variable not allowed under alternative + val x | 1 = 2; // not allowed + ^ +bug128_129.scala:10: recursive patterns not allowed + case PT(a@PT(a)) => // not allowed + ^ +two errors found diff --git a/test/files/neg/bug128_129.scala b/test/files/neg/bug128_129.scala new file mode 100644 index 0000000000..afe4b8f332 --- /dev/null +++ b/test/files/neg/bug128_129.scala @@ -0,0 +1,15 @@ +object Test { + def foo:int = { + val x | 1 = 2; // not allowed + x + } + + class Bar { + case class PT(x: PT) { + def foo(x: Any) = x match { + case PT(a@PT(a)) => // not allowed + } + } + } + +} diff --git a/test/neg/bug128_129.check b/test/neg/bug128_129.check new file mode 100644 index 0000000000..d410b57095 --- /dev/null +++ b/test/neg/bug128_129.check @@ -0,0 +1,7 @@ +bug128_129.scala:3: variable not allowed under alternative + val x | 1 = 2; // not allowed + ^ +bug128_129.scala:10: recursive patterns not allowed + case PT(a@PT(a)) => // not allowed + ^ +two errors found diff --git a/test/neg/bug128_129.scala b/test/neg/bug128_129.scala new file mode 100644 index 0000000000..afe4b8f332 --- /dev/null +++ b/test/neg/bug128_129.scala @@ -0,0 +1,15 @@ +object Test { + def foo:int = { + val x | 1 = 2; // not allowed + x + } + + class Bar { + case class PT(x: PT) { + def foo(x: Any) = x match { + case PT(a@PT(a)) => // not allowed + } + } + } + +} -- cgit v1.2.3