diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-13 22:36:41 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-03-13 22:36:41 +0100 |
commit | 1554fddc964e71285b0c3860ec3834557fdd2cd4 (patch) | |
tree | 023b32059d2384651dbf968807120c4cf2edcb38 /src | |
parent | 163b16014331ab909aa719b035dbc9491630edae (diff) | |
download | dotty-1554fddc964e71285b0c3860ec3834557fdd2cd4.tar.gz dotty-1554fddc964e71285b0c3860ec3834557fdd2cd4.tar.bz2 dotty-1554fddc964e71285b0c3860ec3834557fdd2cd4.zip |
Fixed parse error with @unchecked
Dotty currently cannot parse @unchecked annotations in pattern types. That's why the previous commit failed. We need to come back to this and fix it. For the moment, to make on the current branch, the annotation is removed.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/ast/TreeInfo.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/TreeInfo.scala b/src/dotty/tools/dotc/ast/TreeInfo.scala index 5e04474cb..a1dd37e27 100644 --- a/src/dotty/tools/dotc/ast/TreeInfo.scala +++ b/src/dotty/tools/dotc/ast/TreeInfo.scala @@ -429,7 +429,7 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] => def search(from: Any): List[Tree] = ctx.debugTraceIndented(s"search(${show(from)})") { from match { - case tree: Tree @ unchecked => + case tree: Tree => // Dotty problem: cannot write Tree @ unchecked, this currently gives a syntax error if (definedSym(tree) == sym) tree :: Nil else if (tree.envelope.contains(sym.pos)) { val p = search(tree.productIterator) |