From af337f0667fa559411f9a96355b9ceeabf95b232 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 9 Mar 2014 13:35:33 +0100 Subject: Fix of #50 - volatile Volatile checking needs to take all intersections into account; previously these could be discarded through needsChecking. Plus several refactorings and additions. 1) Module vals now have Final and Stable flags set 2) All logic around isVolatile is now in TypeOps; some of it was moved from Types. 3) Added stability checking to Select and SelectFromType typings. Todo: We should find a better name for isVolatile. Maybe define the negation instead under the name "isRealizable"?. --- test/dotc/tests.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'test/dotc') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 9914485ac..e5360bc08 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -52,6 +52,7 @@ class tests extends CompilerTest { @Test def neg_rootImports = compileFile(negDir, "rootImplicits", xerrors = 2) @Test def neg_templateParents() = compileFile(negDir, "templateParents", xerrors = 3) @Test def neg_i39 = compileFile(negDir, "i39", xerrors = 1) + @Test def neg_i50_volatile = compileFile(negDir, "i50-volatile", xerrors = 4) @Test def dotc = compileDir(dotcDir + "tools/dotc") @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast") -- cgit v1.2.3