Skip to content

Commit b419803

Browse files
oderskyodersky
committed
Issue warnings if code is indented too far to the left
In a brace-delimited region, if there would be an "unindent" between one line and the next, a warning is now issued that states: Line is indented too far to the left or a `}' is missing This is very helpful in finding missing closing braces. The tests are fixed to avoid the warning except for triple-quoted-expr.scala. The latter has a """ at the start of a line.
1 parent 16d507d commit b419803

31 files changed

+190
-172
lines changed

‎compiler/src/dotty/tools/dotc/parsing/Scanners.scala

Lines changed: 23 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -492,31 +492,36 @@ object Scanners {
492492
indentPrefix = LBRACE
493493
case _ =>
494494
}
495+
def isMatchCatchFollow(prev: Token) =
496+
nextWidth == lastWidth
497+
&& (prev == MATCH || prev == CATCH)
498+
&& token != CASE
495499
if (newlineIsSeparating &&
496500
canEndStatTokens.contains(lastToken) &&
497501
canStartStatTokens.contains(token) &&
498502
!isLeadingInfixOperator())
499503
insert(if (pastBlankLine) NEWLINES else NEWLINE, lineOffset)
500-
else if (indentIsSignificant)
501-
if (nextWidth < lastWidth
502-
|| nextWidth == lastWidth && (indentPrefix == MATCH || indentPrefix == CATCH) && token != CASE)
503-
currentRegion match {
504-
case r: Indented
505-
if !r.isOutermost &&
506-
!isLeadingInfixOperator() &&
507-
!statCtdTokens.contains(lastToken) =>
508-
currentRegion = r.enclosing
509-
insert(OUTDENT, offset)
510-
handleEndMarkers(nextWidth)
511-
case _ =>
512-
}
513-
else if (lastWidth < nextWidth ||
514-
lastWidth == nextWidth && (lastToken == MATCH || lastToken == CATCH) && token == CASE) {
515-
if (canStartIndentTokens.contains(lastToken)) {
504+
else if indentIsSignificant then
505+
if nextWidth < lastWidth
506+
|| nextWidth == lastWidth && (indentPrefix == MATCH || indentPrefix == CATCH) && token != CASE then
507+
if !currentRegion.isOutermost &&
508+
!isLeadingInfixOperator() &&
509+
!statCtdTokens.contains(lastToken) then
510+
currentRegion match
511+
case r: Indented =>
512+
currentRegion = r.enclosing
513+
insert(OUTDENT, offset)
514+
handleEndMarkers(nextWidth)
515+
case r: InBraces if token != RBRACE && !statCtdTokens.contains(token) =>
516+
ctx.warning("Line is indented too far to the left or a `}' is missing",
517+
source.atSpan(Span(offset)))
518+
case _ =>
519+
520+
else if lastWidth < nextWidth
521+
|| lastWidth == nextWidth && (lastToken == MATCH || lastToken == CATCH) && token == CASE then
522+
if canStartIndentTokens.contains(lastToken) then
516523
currentRegion = Indented(nextWidth, Set(), lastToken, currentRegion)
517524
insert(INDENT, offset)
518-
}
519-
}
520525
else if (lastWidth != nextWidth)
521526
errorButContinue(
522527
i"""Incompatible combinations of tabs and spaces in indentation prefixes.

‎library/src/scala/tasty/reflect/TypeOrBoundsOps.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ trait TypeOrBoundsOps extends Core {
9696
internal.matchTermRef(typeOrBounds).map(x => (x.qualifier, x.name))
9797
}
9898

99-
object IsTypeRef {
99+
object IsTypeRef {
100100
/** Matches any TypeRef and returns it */
101101
def unapply(tpe: TypeOrBounds)(given ctx: Context): Option[TypeRef] =
102102
internal.matchTypeRef(tpe)

‎tests/neg-custom-args/fatal-warnings/indentLeft.scala

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
object Test {
2+
3+
if (true) {
4+
println("hi")
5+
6+
println("!") // error: too far to the left
7+
}
8+
// error: too far to the left

‎tests/neg/indentRight.scala

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
object Test {
2+
3+
if (true)
4+
println("hi")
5+
}
6+
7+
println("!") // error: expected a toplevel definition
8+
}

‎tests/pos/Labels.scala

Lines changed: 18 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,22 @@
11
object Labels {
22
def main(args: Array[String]): Unit = {
3-
var i = 10
4-
while(i>0) {
5-
var j = 0
6-
while(j<i) {
7-
println(j +" " + i)
8-
j = j + 1
9-
}
10-
i = i - 1}
11-
pattern(1)
12-
pattern(2)
13-
pattern(3)
14-
}
3+
var i = 10
4+
while(i>0) {
5+
var j = 0
6+
while(j<i) {
7+
println(j +" " + i)
8+
j = j + 1
9+
}
10+
i = i - 1
11+
}
12+
pattern(1)
13+
pattern(2)
14+
pattern(3)
15+
}
1516

16-
def pattern(a: Int) = a match {
17-
case 1 if (a>0) => println("one")
18-
case t@2 => println("two" + t)
19-
case _ => println("default")
20-
}
17+
def pattern(a: Int) = a match {
18+
case 1 if (a>0) => println("one")
19+
case t@2 => println("two" + t)
20+
case _ => println("default")
21+
}
2122
}

‎tests/pos/i1442.scala

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
object Test1442 {
22
final def sumMinimized[B](num: Numeric[B]): Int = {
3-
var cse: scala.math.Numeric.type = null.asInstanceOf[scala.math.Numeric.type]
4-
({cse = scala.math.Numeric; num eq cse.IntIsIntegral} ||
3+
var cse: scala.math.Numeric.type = null.asInstanceOf[scala.math.Numeric.type]
4+
({cse = scala.math.Numeric; num eq cse.IntIsIntegral} ||
55
(num eq cse.BigDecimalAsIfIntegral))
66
2
7-
}
7+
}
88

99
final def sum[B](implicit num: Numeric[B]): B = {
1010
// arithmetic series formula can be used for regular addition
11-
var cse: scala.math.Numeric.type = null.asInstanceOf[scala.math.Numeric.type]
11+
var cse: scala.math.Numeric.type = null.asInstanceOf[scala.math.Numeric.type]
1212
if ({cse = scala.math.Numeric; num eq cse.IntIsIntegral}||
1313
(num eq cse.BigIntIsIntegral)||
1414
(num eq cse.ShortIsIntegral)||
1515
(num eq cse.ByteIsIntegral)||
1616
(num eq cse.CharIsIntegral)||
1717
(num eq cse.LongIsIntegral)||
18-
(num eq cse.BigDecimalIsFractional)) {
18+
(num eq cse.BigDecimalIsFractional)) {
1919
null.asInstanceOf[B]
2020
} else null.asInstanceOf[B]
21-
}
21+
}
2222
}

‎tests/pos/reference/union-types.scala

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -2,36 +2,36 @@ package unionTypes
22

33
object t1 {
44

5-
type Hash = Int
5+
type Hash = Int
66

7-
case class UserName(name: String)
8-
case class Password(hash: Hash)
7+
case class UserName(name: String)
8+
case class Password(hash: Hash)
99

10-
def help(id: UserName | Password) = {
11-
val user = id match {
12-
case UserName(name) => lookupName(name)
13-
case Password(hash) => lookupPassword(hash)
10+
def help(id: UserName | Password) = {
11+
val user = id match {
12+
case UserName(name) => lookupName(name)
13+
case Password(hash) => lookupPassword(hash)
14+
}
1415
}
15-
}
1616

17-
def lookupName(name: String) = ???
18-
def lookupPassword(hash: Hash) = ???
17+
def lookupName(name: String) = ???
18+
def lookupPassword(hash: Hash) = ???
1919

2020
}
2121

2222
object t2 {
2323
import t1._
2424

25-
trait Admin
26-
trait UserData
25+
trait Admin
26+
trait UserData
2727

28-
trait L { def lookup(admin: Admin): Object }
28+
trait L { def lookup(admin: Admin): Object }
2929

30-
case class UserName(name: String) extends L {
31-
def lookup(admin: Admin): UserData = ???
32-
}
33-
case class Password(hash: Hash) extends L {
34-
def lookup(admin: Admin): UserData = ???
35-
}
30+
case class UserName(name: String) extends L {
31+
def lookup(admin: Admin): UserData = ???
32+
}
33+
case class Password(hash: Hash) extends L {
34+
def lookup(admin: Admin): UserData = ???
35+
}
3636

3737
}

‎tests/pos/scoping1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ object This extends App {
22
trait A {
33
def foo(): Unit
44
}
5-
abstract class C { self: A =>
5+
abstract class C { self: A =>
66
def bar() = this.foo()
77
}
88
class D extends C with A {

‎tests/pos/simple-exceptions.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ object Test {
77
def main(args: Array[String]): Unit = {
88
try {
99
try {
10-
Console.println("hi!")
10+
Console.println("hi!")
1111
sys.error("xx")
1212
}
1313
finally Console.println("ho!")

‎tests/pos/spec-partialmap.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@ import scala.collection.{Iterable,IterableOps};
44
trait PartialMap[@specialized A,@specialized B] extends PartialFunction[A,B] with Iterable[(A,B)] {
55
// commenting out this declaration gives a different exception.
66
/** Getter for all values for which the given key function returns true. */
7-
def apply(f : (A => Boolean)) : Iterator[B] =
8-
for ((k,v) <- iterator; if f(k)) yield v
7+
def apply(f : (A => Boolean)) : Iterator[B] =
8+
for ((k,v) <- iterator; if f(k)) yield v
99

1010
// if this is commented, it compiles fine:
1111
def apply[This <: Iterable[A]](keys : IterableOps[A, Iterable, This]): Iterable[B] = keys.map(apply)

‎tests/pos/spec-traits.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ object AA
5757
}
5858
}
5959

60-
def foo[T](x: T) = { object A; false }
60+
def foo[T](x: T) = { object A; false }
6161
}
6262

6363
// issue 3325

‎tests/pos/t1164.scala

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
object test {
22

3-
class Foo[a](val arg : a)
3+
class Foo[a](val arg : a)
44

5-
object Foo {
5+
object Foo {
66
def apply [a](arg : a, right :a) = new Foo[a](arg)
77
def unapply [a](m : Foo[a]) = Some (m.arg)
8-
}
8+
}
99

1010
def matchAndGetArgFromFoo[a]( e:Foo[a]):a = {e match { case Foo(x) => x }}
1111
// Unapply node here will have type argument [a] instantiated to scala.Nothing:
@@ -18,7 +18,7 @@ object test {
1818
// constructor
1919

2020
type FunIntToA [a] = (Int) => a
21-
class Bar[a] (var f: FunIntToA[a])
21+
class Bar[a] (var f: FunIntToA[a])
2222

2323
object Bar {
2424
def apply[a](f: FunIntToA[a]) = new Bar[a](f)

‎tests/pos/t2591.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,9 @@ object Implicits {
77
}
88

99
object Test {
10-
// should cause imp to be in scope so that the next expression type checks
11-
// `import Implicits._` works
12-
import Implicits.imp
10+
// should cause imp to be in scope so that the next expression type checks
11+
// `import Implicits._` works
12+
import Implicits.imp
1313

1414
(new A) : Int
1515
}

‎tests/pos/t3278.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ object Test {
2020
}
2121
object Test2 {
2222
def main(args : Array[String]): Unit = {
23-
args(0) += "a"
23+
args(0) += "a"
2424
val a = new Test2
2525
val f = new Foo
2626
a(f) = 1 //works

‎tests/pos/t443.scala

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@ object Test {
33
def lookup(): Option[Tuple2[String, String]] =
44
((null: Option[Tuple2[String, String]]) : @unchecked) match {
55
case Some((_, _)) =>
6-
if (true)
7-
Some((null, null))
8-
else
9-
lookup() match {
10-
case Some(_) => Some(null)
11-
case None => None
12-
}
6+
if (true)
7+
Some((null, null))
8+
else
9+
lookup() match {
10+
case Some(_) => Some(null)
11+
case None => None
12+
}
1313
}
1414
}

‎tests/pos/t5508.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ object Base1 {
1313
private[this] var _st : Int = 0
1414
def close : PartialFunction[Any,Any] = {
1515
case x : Int =>
16-
_st = identity(_st)
16+
_st = identity(_st)
1717
}
1818
}
1919
}
@@ -31,7 +31,7 @@ object Base2 {
3131
private[this] var _st : Int = 0
3232
def close : PartialFunction[Any,Any] = {
3333
case x : Int =>
34-
_st = 1
34+
_st = 1
3535
}
3636
}
3737
}
@@ -41,7 +41,7 @@ class Base3 {
4141
private[this] var _st : Int = 0
4242
def close : PartialFunction[Any,Any] = {
4343
case x : Int =>
44-
_st = 1
44+
_st = 1
4545
}
4646
}
4747
}

‎tests/pos/t6335.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,5 +21,5 @@ object Test {
2121

2222
"".yy
2323

24-
true.zz
24+
true.zz
2525
}

‎tests/pos/t8230a.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@ object Test {
1515
object Okay {
1616
Arr("1")
1717

18-
import I.{ arrToTrav, longArrToTrav }
19-
val x = foo(Arr("2"))
18+
import I.{ arrToTrav, longArrToTrav }
19+
val x = foo(Arr("2"))
2020
}
2121

2222
object Fail {

‎tests/pos/unapplyComplex.scala

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,26 +14,26 @@ object ComplexRect {
1414
def unapply(z:Complex): Option[Complex] = {
1515
if (z.isInstanceOf[ComplexRect]) Some(z) else z match {
1616
case ComplexPolar(mod, arg) =>
17-
Some(new ComplexRect(mod*math.cos(arg), mod*math.sin(arg)))
17+
Some(new ComplexRect(mod*math.cos(arg), mod*math.sin(arg)))
1818
} } }
1919

2020
object ComplexPolar {
2121
def unapply(z:Complex): Option[Complex] = {
2222
if (z.isInstanceOf[ComplexPolar]) Some(z) else z match {
2323
case ComplexRect(re,im) =>
24-
Some(new ComplexPolar(math.sqrt(re*re + im*im), math.atan(re/im)))
24+
Some(new ComplexPolar(math.sqrt(re*re + im*im), math.atan(re/im)))
2525
} } }
2626

2727
object Test {
2828
def main(args:Array[String]) = {
2929
new ComplexRect(1,1) match {
3030
case ComplexPolar(mod,arg) => // z @ ???
31-
Console.println("mod"+mod+"arg"+arg)
31+
Console.println("mod"+mod+"arg"+arg)
3232
}
3333
val Komplex = ComplexRect
3434
new ComplexPolar(math.sqrt(2),math.Pi / 4.0) match {
3535
case Komplex(re,im) => // z @ ???
36-
Console.println("re"+re+" im"+im)
36+
Console.println("re"+re+" im"+im)
3737
}
3838
}
3939
}

0 commit comments

Comments
 (0)