From 18d3961cbe5e7fecdf3d314277ff34df393c4f09 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 17 Jan 2008 21:33:30 +0000 Subject: updated two check files --- test/files/neg/bug432.check | 2 +- test/files/run/patmatnew.check | 14 +------------- 2 files changed, 2 insertions(+), 14 deletions(-) (limited to 'test/files') diff --git a/test/files/neg/bug432.check b/test/files/neg/bug432.check index f6bc664485..703cfc46a7 100644 --- a/test/files/neg/bug432.check +++ b/test/files/neg/bug432.check @@ -1,4 +1,4 @@ -bug432.scala:2: error: Tata is already defined as case class Tata +bug432.scala:2: error: Tata is already defined as object Tata object Tata ^ one error found diff --git a/test/files/run/patmatnew.check b/test/files/run/patmatnew.check index a5ad998bc5..0747cddefb 100644 --- a/test/files/run/patmatnew.check +++ b/test/files/run/patmatnew.check @@ -1,14 +1,2 @@ -patmatnew.scala:526: warning: match is not exhaustive! - - def go(tok : Token) = tok.matching match { - ^ -patmatnew.scala:595: warning: match is not exhaustive! - - (None:Option[Boolean]) match { - ^ -patmatnew.scala:815: warning: match is not exhaustive! - - (EmptyTree: Tree) match { - ^ warning: there were unchecked warnings; re-run with -unchecked for details -four warnings found +one warning found -- cgit v1.2.3