Skip to content

Commit

Permalink
bump to scala 2.13.15 (#1242)
Browse files Browse the repository at this point in the history
  • Loading branch information
johnynek authored Nov 2, 2024
1 parent 7a30627 commit 599de42
Show file tree
Hide file tree
Showing 6 changed files with 13 additions and 13 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:
- '8'
- '11'
scala:
- '2.13.11'
- '2.13.15'
timeout-minutes: 30
testPY:
runs-on: ubuntu-latest
Expand All @@ -44,7 +44,7 @@ jobs:
java:
- '11'
scala:
- '2.13.11'
- '2.13.15'
python:
- '3.9'
timeout-minutes: 30
Expand All @@ -66,7 +66,7 @@ jobs:
java:
- '11'
scala:
- '2.13.11'
- '2.13.15'
timeout-minutes: 30
testWithCoverageReport:
runs-on: ubuntu-latest
Expand Down Expand Up @@ -105,7 +105,7 @@ jobs:
strategy:
matrix:
scala:
- '2.13.11'
- '2.13.15'
java:
- '8'
name: ci
Expand Down
4 changes: 2 additions & 2 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ lazy val commonSettings = Seq(
"org.typelevel" %% "kind-projector" % "0.13.3" cross CrossVersion.full
),
addCompilerPlugin("com.olegpy" %% "better-monadic-for" % "0.3.1"),
scalaVersion := "2.13.13",
crossScalaVersions := Seq("2.13.13"),
scalaVersion := "2.13.15",
crossScalaVersions := Seq("2.13.15"),
// from: https://tpolecat.github.io/2017/04/25/scalac-flags.html
scalacOptions ++= Seq(
"-deprecation", // Emit warning and location for usages of deprecated APIs.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ class CodeTest extends AnyFunSuite {
} yield res
}

val genIdent: Gen[Code.Ident] = genPy2Name.map(Code.Ident)
val genIdent: Gen[Code.Ident] = genPy2Name.map(Code.Ident(_))

def genExpr(depth: Int): Gen[Code.Expression] = {
val genDotselect =
Expand All @@ -39,7 +39,7 @@ class CodeTest extends AnyFunSuite {

val genZero =
Gen.oneOf(
Gen.identifier.map(Code.PyString),
Gen.identifier.map(Code.PyString(_)),
genIdent,
Gen.oneOf(
Code.Const.Zero,
Expand Down
4 changes: 2 additions & 2 deletions core/src/main/scala/org/bykn/bosatsu/SourceConverter.scala
Original file line number Diff line number Diff line change
Expand Up @@ -839,7 +839,7 @@ final class SourceConverter(
val initVars = existingVars(argsType)
val initState = (
(initVars.toSet ++ declVars, initVars.reverse),
Type.allBinders.map(Type.TyVar)
Type.allBinders.map(Type.TyVar(_))
)
val (((_, typeVars), _), params) =
buildParams(argsType).run(initState).value
Expand Down Expand Up @@ -883,7 +883,7 @@ final class SourceConverter(
val initVars = existingVars(conArgs.toList.flatMap(_._2))
val initState = (
(initVars.toSet ++ declVars, initVars.reverse),
Type.allBinders.map(Type.TyVar)
Type.allBinders.map(Type.TyVar(_))
)
val (((_, typeVars), _), constructors) =
constructorsS.run(initState).value
Expand Down
4 changes: 2 additions & 2 deletions core/src/main/scala/org/bykn/bosatsu/rankn/Infer.scala
Original file line number Diff line number Diff line change
Expand Up @@ -670,7 +670,7 @@ object Infer {
}
env = exists.iterator
.map(_._1)
.zip(skols.iterator.map(Type.TyVar))
.zip(skols.iterator.map(Type.TyVar(_)))
.toMap[Type.Var, Type.TyVar]
rho1 = Type.substituteRhoVar(rho, env)
} yield (skols, rho1)
Expand Down Expand Up @@ -2009,7 +2009,7 @@ object Infer {
}

for {
(maxRes, (maxPat, resTRho, maxIdx)) <- maxBy(
(maxRes, (_, resTRho, maxIdx)) <- maxBy(
withIdx.head,
withIdx.tail
)((a, b) => gtEq(a, b))
Expand Down
2 changes: 1 addition & 1 deletion jsui/src/test/scala/org/bykn/bosatsu/jsui/StateTest.scala
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ class StateTest extends munit.ScalaCheckSuite {
val genState: Gen[State] = {
val genWithText: Gen[State.HasText] =
Gen.oneOf(
Gen.asciiStr.map(State.WithText),
Gen.asciiStr.map(State.WithText(_)),
Gen
.zip(
Gen.asciiStr,
Expand Down

0 comments on commit 599de42

Please sign in to comment.