diff options
| author | Burak Emir <emir@epfl.ch> | 2007-06-30 17:09:37 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2007-06-30 17:09:37 +0000 |
| commit | fed30dbea8626d29c39d8f88d100b63ceb0173d6 (patch) | |
| tree | 2373a888f1382ab9ae2ecc69ce316d1845830ed5 /test/files | |
| parent | a8a692413d68f752dca8f5ad7cc551a03f7f9436 (diff) | |
| download | scala-fed30dbea8626d29c39d8f88d100b63ceb0173d6.tar.gz scala-fed30dbea8626d29c39d8f88d100b63ceb0173d6.tar.bz2 scala-fed30dbea8626d29c39d8f88d100b63ceb0173d6.zip | |
refined (fixed) incompleteness check
Diffstat (limited to 'test/files')
| -rw-r--r-- | test/files/run/Course-2002-09.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/Course-2002-09.scala b/test/files/run/Course-2002-09.scala index afc3be7665..029796ab6d 100644 --- a/test/files/run/Course-2002-09.scala +++ b/test/files/run/Course-2002-09.scala @@ -62,7 +62,7 @@ class Squarer(square: Quantity, root: Quantity) extends Constraint { } class Eq(a: Quantity, b: Quantity) extends Constraint { - def newValue = Pair(a.getValue, b.getValue) match { + def newValue = (Pair(a.getValue, b.getValue): @unchecked) match { case Pair(Some(x), _ ) => b.setValue(x, this); case Pair(_ , Some(y)) => a.setValue(y, this); } |