From 658eb4ba1a080379e7ec7a0217cd9f0b7332c1a2 Mon Sep 17 00:00:00 2001 From: Guillaume Martres Date: Wed, 25 Mar 2015 01:49:23 +0100 Subject: [PATCH] Make implicit conversion from Position to Coord work for NoPosition --- src/dotty/tools/dotc/util/Positions.scala | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/dotty/tools/dotc/util/Positions.scala b/src/dotty/tools/dotc/util/Positions.scala index 744f97340660..1f9e2489772c 100644 --- a/src/dotty/tools/dotc/util/Positions.scala +++ b/src/dotty/tools/dotc/util/Positions.scala @@ -164,7 +164,9 @@ object Positions { /** An index coordinate */ implicit def indexCoord(n: Int): Coord = new Coord(n + 1) - implicit def positionCoord(pos: Position): Coord = new Coord(-(pos.point + 1)) + implicit def positionCoord(pos: Position): Coord = + if (pos.exists) new Coord(-(pos.point + 1)) + else NoCoord /** A sentinel for a missing coordinate */ val NoCoord = new Coord(0)