Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Split: make killOnFail an Option, set a default #4428

Merged
merged 1 commit into from
Oct 11, 2024
Merged

Split: make killOnFail an Option, set a default #4428

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 11 additions & 11 deletions scalafmt-core/shared/src/main/scala/org/scalafmt/internal/FormatOps.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -762,8 +762,7 @@ class FormatOps(
if (breakMany) TokenRanges.empty
else insideBracesBlock(nextFT, expire, true)
Split(ModExt(newStmtMod.getOrElse(spaceMod)), cost)
.withSingleLineNoOptimal(expire, exclude)
.withOptimalToken(expire, ignore = cost != 0)
.withSingleLine(expire, exclude, noOptimal = cost != 0)
}
}

Expand Down Expand Up @@ -918,12 +917,10 @@ class FormatOps(
else if (ft.hasBreak) Seq(nlSplit(0))
else {
val slbEnd = getLastToken(x.superType)
val exclude = insideBlock[T.LeftParen](ft, slbEnd)
Seq(
Split(Space, 0).withIndent(indent).withSingleLine(
slbEnd,
exclude = insideBlock[T.LeftParen](ft, slbEnd),
noSyntaxNL = true,
),
Split(Space, 0).withIndent(indent)
.withSingleLine(slbEnd, exclude = exclude, noSyntaxNL = true),
nlSplit(1),
)
}
Expand Down Expand Up @@ -998,7 +995,7 @@ class FormatOps(
.orPolicy(pnlPolicy).withIndent(indent),
Split(nlMod, 0).onlyIf(nlOnelineTag != Right(false))
.preActivateFor(nlOnelineTag.left.toOption)
.withSingleLine(lastToken, noSyntaxNL = noSyntaxNL)
.withSingleLineNoOptimal(lastToken, noSyntaxNL = noSyntaxNL)
.withIndent(indent),
Split(nlMod, 1).withPolicy(nlPolicy & pnlPolicy).withIndent(indent),
)
Expand Down Expand Up @@ -1139,7 +1136,7 @@ class FormatOps(
val afterLastParen = before(lastParen).right
if (afterLastParen.is[T.Colon]) afterLastParen else lastParen
}
val slbSplit = Split(space, 0).withSingleLine(slbEnd, killOnFail = true)
val slbSplit = Split(space, 0).withSingleLine(slbEnd)
.preActivateFor(SplitTag.VerticalMultilineSingleLine)

if (isBracket) {
Expand Down Expand Up @@ -1500,8 +1497,11 @@ class FormatOps(
exclude: TokenRanges = TokenRanges.empty,
policy: Policy = Policy.NoPolicy,
)(implicit fileLine: FileLine) = Split(Space, 0)
.withPolicy(policy | getSlb(end, exclude))
.withOptimalToken(end, ignore = blast.start > end.start)
.withPolicy(policy | getSlb(end, exclude)).withOptimalToken(
end,
killOnFail = exclude.isEmpty,
ignore = blast.start > end.start,
)
def getSpaceSplit(penalty: Int, policy: Policy = Policy.NoPolicy)(implicit
fileLine: FileLine,
) = {
Expand Down
95 changes: 50 additions & 45 deletions scalafmt-core/shared/src/main/scala/org/scalafmt/internal/Router.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -399,18 +399,14 @@ class Router(formatOps: FormatOps) {
}
}
// copy logic from `( ...`, binpack=never, defining `slbSplit`
val isBeforeOpenParen = style.newlines.isBeforeOpenParenCallSite
Split(NoSplit, 0).withSingleLine(
if (isBeforeOpenParen) closeFT.left
else endOfSingleLineBlock(closeFT),
noSyntaxNL = true,
killOnFail = true,
noOptimal = style.newlines.keep,
).andPolicy(sldPolicy & noCloseSpacePolicy)
val slbEnd =
if (style.newlines.isBeforeOpenParenCallSite) close
else endOfSingleLineBlock(closeFT)
Split(NoSplit, 0).withSingleLine(slbEnd, noSyntaxNL = true)
.andPolicy(sldPolicy & noCloseSpacePolicy)
}
else Left {
Split(noSplitMod, 0)
.withSingleLine(expire, noSyntaxNL = true, killOnFail = true)
Split(noSplitMod, 0).withSingleLine(expire, noSyntaxNL = true)
.andPolicy(sldPolicy)
}
}
Expand Down Expand Up @@ -441,8 +437,8 @@ class Router(formatOps: FormatOps) {
case _ => newlineBeforeClosingCurly &
decideNewlinesOnlyAfterToken(arrowOptimal)
}
Split(noSplitMod, 0).withSingleLine(arrowOptimal, killOnFail = true)
.andPolicy(policy).withIndent(lambdaIndent, close, Before)
Split(noSplitMod, 0).withSingleLine(arrowOptimal).andPolicy(policy)
.withIndent(lambdaIndent, close, Before)
}

val singleLineSplit = singleLineSplitOpt match {
Expand Down Expand Up @@ -474,7 +470,7 @@ class Router(formatOps: FormatOps) {
style.newlines.fold || !rightOwner.is[Defn]
} =>
val exp = getOptimalTokenFor(getLastNonTrivial(leftFunc.body).left)
spaceSplitBase.withSingleLineNoOptimal(exp, noSyntaxNL = true)
spaceSplitBase.withSingleLine(exp, noSyntaxNL = true)
case _ => Split.ignored
}
val (endIndent, expiresOn) = functionExpire(leftFunc)
Expand Down Expand Up @@ -545,7 +541,10 @@ class Router(formatOps: FormatOps) {
// if brace, don't add indent, the LeftBrace rule will do that
Split(Space, 0)
.withIndent(indent, endOfFunction, expiresOn, hasBlock)
.withOptimalToken(getOptimalTokenFor(next(nonComment)))
.withOptimalToken(
getOptimalTokenFor(next(nonComment)),
killOnFail = false,
)
Seq(noSplit, newlineSplit(1 + nestedApplies(leftOwner)))
}

Expand Down Expand Up @@ -861,7 +860,7 @@ class Router(formatOps: FormatOps) {
)(newlinePolicy)
}
Split(noSplitMod, 0, policy = spacePolicy)
.withOptimalToken(lambdaToken)
.withOptimalToken(lambdaToken, killOnFail = true)
}

if (noSplitMod == null) Seq(
Expand Down Expand Up @@ -1106,7 +1105,8 @@ class Router(formatOps: FormatOps) {
) getSlb
else if (splitsForAssign.isDefined) singleLine(3)
else singleLine(10)
val kof = style.newlines.keep && needDifferentFromOneArgPerLine
val kof = (style.newlines.keep || excludeBlocks.isEmpty) &&
needDifferentFromOneArgPerLine
val noOptimal = style.newlines.keep && !useOneArgPerLineSplit ||
singleArgument && !excludeBlocks.isEmpty &&
excludeBlocks.ranges.forall(_.lt.is[T.LeftParen])
Expand Down Expand Up @@ -1300,9 +1300,9 @@ class Router(formatOps: FormatOps) {
else if (singleLineOnly || noNLPolicy == null) baseNoSplit
.withSingleLine(
close,
sjsExclude,
exclude = sjsExclude,
noSyntaxNL = true,
killOnFail = !dangleCloseDelim,
killOnFail = Some(!dangleCloseDelim || sjsExclude.isEmpty),
)
else {
def noSingleArgIndents = oneline || singleArgAsInfix.isDefined ||
Expand Down Expand Up @@ -1451,7 +1451,10 @@ class Router(formatOps: FormatOps) {
if style.newlines.avoidInResultType =>
val expire = getLastNonTrivialToken(returnType)
val policy = PenalizeAllNewlines(expire, Constants.ShouldBeNewline)
Seq(Split(Space, 0).withPolicy(policy).withOptimalToken(expire))
Seq(
Split(Space, 0).withPolicy(policy)
.withOptimalToken(expire, killOnFail = false),
)

case FormatToken(T.LeftParen(), T.LeftBrace(), _) => Seq(Split(NoSplit, 0))

Expand Down Expand Up @@ -1481,7 +1484,7 @@ class Router(formatOps: FormatOps) {
val multiLine = decideNewlinesOnlyAfterToken(breakAfter) ==>
decideNewlinesOnlyBeforeClose(close)
Seq(
Split(Newline, 0).withSingleLine(close, killOnFail = true),
Split(Newline, 0).withSingleLine(close),
Split(Space, 1, policy = multiLine),
)
}
Expand Down Expand Up @@ -1524,8 +1527,7 @@ class Router(formatOps: FormatOps) {
val isBeforeOpenParen = style.newlines.isBeforeOpenParenCallSite
val optimal: T =
if (isBeforeOpenParen) rbft.left else endOfSingleLineBlock(rbft)
val noOptimal = style.newlines.keep
Split(NoSplit, 0).withSingleLine(optimal, noOptimal = noOptimal)
Split(NoSplit, 0).withSingleLine(optimal)
}
Seq(slbParensSplit.getOrElse(Split.ignored), Split(Space, 0))

Expand Down Expand Up @@ -1753,9 +1755,6 @@ class Router(formatOps: FormatOps) {
val eft = if (nft.noBreak) nextNonCommentSameLineAfter(nft) else nft
endOfSingleLineBlock(eft)
}
def shouldKillOnFail() =
(style.binPack.callSite ne BinPack.Site.Never) &&
isInfixArg(expireTree)

val ftAfterRight = tokens(ft, 2)
val baseSplits = style.newlines.getSelectChains match {
Expand Down Expand Up @@ -1860,8 +1859,7 @@ class Router(formatOps: FormatOps) {
case Newlines.unfold =>
val nlCost = if (nlOnly) 0 else 1
if (prevSelect.isEmpty && nextSelect.isEmpty) Seq(
Split(nlOnly, 0)(NoSplit)
.withSingleLine(getSlbEnd(), killOnFail = shouldKillOnFail()),
Split(nlOnly, 0)(NoSplit).withSingleLine(getSlbEnd()),
Split(Newline, nlCost),
)
else Seq(
Expand All @@ -1882,7 +1880,7 @@ class Router(formatOps: FormatOps) {
val end = nextSelect
.fold(expire)(x => getLastNonTrivialToken(x.qual))
val exclude = insideBracesBlock(ft, end, parensToo = true)
Split(NoSplit, 0).withSingleLine(end, exclude)
Split(NoSplit, 0).withSingleLine(end, exclude = exclude)
}
Seq(noSplit, nlSplitBase)
} else {
Expand Down Expand Up @@ -2033,8 +2031,7 @@ class Router(formatOps: FormatOps) {
if (style.danglingParentheses.ctrlSite) {
val noSplit =
if (style.align.openParenCtrlSite) Split(NoSplit, 0)
.withIndents(indents).withOptimalToken(close)
.withPolicy(penalizeNewlines)
.withIndents(indents).withPolicy(penalizeNewlines)
.andPolicy(decideNewlinesOnlyBeforeCloseOnBreak(close))
else Split(NoSplit, 0).withSingleLine(close)
Seq(
Expand All @@ -2053,8 +2050,7 @@ class Router(formatOps: FormatOps) {
val mod =
if (isKeep && hasBreak()) Newline
else Space(style.spaces.isSpaceAfterKeyword(right))
val slb = Split(mod.isNL, 0)(mod)
.withSingleLine(expire, killOnFail = true)
val slb = Split(mod.isNL, 0)(mod).withSingleLine(expire)
val mlSplitBase = Split(mod, if (slb.isIgnored) 0 else 1).withPolicy(
if (isKeep) getBreakBeforeElsePolicy(owner)
else getBreaksBeforeElseChainPolicy(owner),
Expand Down Expand Up @@ -2141,8 +2137,10 @@ class Router(formatOps: FormatOps) {
case FormatToken(_, _: T.KwThen | _: T.KwDo, _) =>
val okSpace = style.newlines.sourceIgnored || noBreak()
Seq(
Split(!okSpace, 0)(Space)
.withOptimalToken(nextNonCommentSameLineAfter(ft).left),
Split(!okSpace, 0)(Space).withOptimalToken(
nextNonCommentSameLineAfter(ft).left,
killOnFail = false,
),
Split(Newline, 1),
)
// Last else branch
Expand Down Expand Up @@ -2231,8 +2229,8 @@ class Router(formatOps: FormatOps) {
Seq(
if (!singleLine) spaceSplit
else spaceSplitWithoutPolicy.withSingleLine(close).andPolicy(
Policy ? !enclosed.exists(isInfixApp) ||
getSingleLineInfixPolicy(close),
getSingleLineInfixPolicy(close),
ignore = !enclosed.exists(isInfixApp),
),
newlineSplit(10, true),
)
Expand Down Expand Up @@ -2310,9 +2308,10 @@ class Router(formatOps: FormatOps) {
val onArrowPolicy = Policy.End == arrow ==>
Policy.after(postArrow, "CASESLB>ARROW") { case Decision(_, ss) =>
ss.flatMap { s =>
val nonSlbSplit = s.andPolicy(postArrowPolicy)
if (s.isNL) Seq(nonSlbSplit)
else Seq(s.withSingleLine(slbExpire, extend = true), nonSlbSplit)
Seq(
s.notIf(s.isNL).withSingleLine(slbExpire, extend = true),
s.andPolicy(postArrowPolicy),
)
}
}
Policy.RelayOnSplit((s, _) => s.isNL)(onArrowPolicy, postArrowPolicy)
Expand Down Expand Up @@ -2379,7 +2378,7 @@ class Router(formatOps: FormatOps) {
Seq(Split(Space, 0).withIndent(indent, noIndent))
} else Seq(
// Either everything fits in one line or break on =>
Split(Space, 0).withSingleLineNoOptimal(lastToken),
Split(Space, 0).withSingleLine(lastToken),
Split(Newline, 1).withIndent(indent),
)

Expand Down Expand Up @@ -2465,7 +2464,10 @@ class Router(formatOps: FormatOps) {
case _: T.KwIf => end.left
case x => x
}
Seq(Split(Space, 0).withOptimalToken(opt), Split(Newline, 1))
Seq(
Split(Space, 0).withOptimalToken(opt, killOnFail = false),
Split(Newline, 1),
)
}
case FormatToken(_, T.Ident("|"), _) if rightOwner.is[Pat.Alternative] =>
val noNL = !style.newlines.keepBreak(newlines)
Expand Down Expand Up @@ -2650,7 +2652,8 @@ class Router(formatOps: FormatOps) {
Seq(Split(Space, 0).withIndents(spaceIndents))
else if (isRightCommentWithBreak(ft))
Seq(CtrlBodySplits.withIndent(Split(Space.orNL(ft), 0), body, endFt))
else if (isJsNative(body)) Seq(Split(Space, 0).withSingleLine(endFt.left))
else if (isJsNative(body))
Seq(Split(Space, 0).withSingleLineNoOptimal(endFt.left))
else if (
style.dialect.allowSignificantIndentation &&
(style.newlines.sourceIgnored || ft.noBreak) && body.parent.exists {
Expand Down Expand Up @@ -2732,7 +2735,7 @@ class Router(formatOps: FormatOps) {
def baseSpaceSplit(implicit fileLine: FileLine) =
Split(isRightCommentThenBreak(ft), 0)(Space)
def twoBranches(implicit fileLine: FileLine) = baseSpaceSplit
.withOptimalToken(optimal).withPolicy {
.withOptimalToken(optimal, killOnFail = false).withPolicy {
val exclude = insideBracesBlock(ft, expire)
policyWithExclude(exclude, Policy.End.On, Policy.End.After)(
PenalizeAllNewlines(expire, Constants.ShouldBeSingleLine),
Expand All @@ -2745,7 +2748,8 @@ class Router(formatOps: FormatOps) {
case _: Term.ForYield => twoBranches
// we force newlines in try/catch/finally
case _: Term.TryClause => Split.ignored
case _ => baseSpaceSplit.withOptimalToken(optimalWithComment)
case _ => baseSpaceSplit
.withOptimalToken(optimalWithComment, killOnFail = false)
}
Seq(
spaceSplit,
Expand All @@ -2771,7 +2775,8 @@ class Router(formatOps: FormatOps) {
case t: Term.If => ifWithoutElse(t)
case _ => true
}
if (noSlb) Split(Space, 0).withOptimalToken(ft.right)
if (noSlb) Split(Space, 0)
.withOptimalToken(ft.right, killOnFail = false)
else Split(Space, 0).withSingleLine(expire)
}
}(cost => CtrlBodySplits.withIndent(Split(Newline2x(ft), cost), endFt))
Expand Down
Loading
Loading