Merge pull request #1943 from dotty-staging/fix/lambda-position

odersky · web-flow · commit de2c4477d2b9 · 2017-02-08T22:15:59.000+11:00
Positioned#initialPos: Union the position of every children
diff --git a/compiler/src/dotty/tools/dotc/ast/Positioned.scala b/compiler/src/dotty/tools/dotc/ast/Positioned.scala
@@ -123,6 +123,8 @@ abstract class Positioned extends DotClass with Product {
 
   private def unionPos(pos: Position, xs: List[_]): Position = xs match {
     case (p: Positioned) :: xs1 => unionPos(pos union p.pos, xs1)
+    case (xs0: List[_]) :: xs1 => unionPos(unionPos(pos, xs0), xs1)
+    case _ :: xs1 => unionPos(pos, xs1)
     case _ => pos
   }
 

Original file line number	Diff line number	Diff line change
`@@ -123,6 +123,8 @@ abstract class Positioned extends DotClass with Product {`
`123`	`123`
`124`	`124`	`private def unionPos(pos: Position, xs: List[_]): Position = xs match {`
`125`	`125`	`case (p: Positioned) :: xs1 => unionPos(pos union p.pos, xs1)`
	`126`	`+ case (xs0: List[_]) :: xs1 => unionPos(unionPos(pos, xs0), xs1)`
	`127`	`+ case _ :: xs1 => unionPos(pos, xs1)`
`126`	`128`	`case _ => pos`
`127`	`129`	`}`
`128`	`130`