From 4df3d2a36162f99ade57e209ce432733e082d2a5 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 17 Nov 2014 11:46:56 +0100 Subject: Make reduceProjection use lookupRefined Needed some fixes to lookup refined. The potential alias type is now calculated by taking the member of the original refined type, instead of by simply following the refined info. This takes into account refinements that were defined after the refinement type that contains the alias. The change amde another test (transform) hit the deep subtype limit, which is now disabled. --- test/dotc/tests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index f4aa074de..4b7d124d0 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -113,7 +113,7 @@ class tests extends CompilerTest { @Test def dotc_config = compileDir(dotcDir + "tools/dotc/config", twice) @Test def dotc_core = compileDir(dotcDir + "tools/dotc/core", twice)(allowDeepSubtypes) @Test def dotc_core_pickling = compileDir(dotcDir + "tools/dotc/core/pickling", twice)(allowDeepSubtypes) - // @Test def dotc_transform = compileDir(dotcDir + "tools/dotc/transform", twice) + // @Test def dotc_transform = compileDir(dotcDir + "tools/dotc/transform", twice)(allowDeepSubtypes) // @odersky causes race error in ResolveSuper @Test def dotc_parsing = compileDir(dotcDir + "tools/dotc/parsing", twice) -- cgit v1.2.3