diff options
author | Martin Odersky <odersky@gmail.com> | 2006-04-25 18:26:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-04-25 18:26:20 +0000 |
commit | 692ce7bc6b15ce5fffee8709feafd6b1cd80ad0e (patch) | |
tree | 0469566b899005107db0bde2a4f03ed22a3ed213 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | b6f7fcc730d306504b5da28b7924ccf48f7e8b91 (diff) | |
download | scala-692ce7bc6b15ce5fffee8709feafd6b1cd80ad0e.tar.gz scala-692ce7bc6b15ce5fffee8709feafd6b1cd80ad0e.tar.bz2 scala-692ce7bc6b15ce5fffee8709feafd6b1cd80ad0e.zip |
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 5a150c3dcd..68763b2a09 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -58,6 +58,7 @@ trait Typers requires Analyzer { private def inferView(pos: int, from: Type, to: Type, reportAmbiguous: boolean): Tree = { if (settings.debug.value) log("infer view from "+from+" to "+to);//debug + assert(!(from <:< to))//debug if (phase.erasedTypes) EmptyTree else from match { case MethodType(_, _) => EmptyTree @@ -1113,6 +1114,8 @@ trait Typers requires Analyzer { context.reportGeneralErrors = false typedApply(fun, args) } catch { + case ex: CyclicReference => + throw ex case ex: TypeError => val Select(qual, name) = fun val args1 = tryTypedArgs(args map UnTyper.apply) |