c/aoc-2024
1
Fork 0
Code Issues Releases Activity

Disable exhaustiveness warning

Browse Source
This commit is contained in:
Christian
2024-12-05 12:14:40 +01:00
parent 57e87aeba7
commit 4872056127
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
aoc/src/dev/ctsk/aoc/days/Day05.scala
View File

@@ -1,9 +1,10 @@
package dev.ctsk.aoc.days package dev.ctsk.aoc.days
import dev.ctsk.aoc._ import dev.ctsk.aoc._
import scala.annotation.nowarn
object Day05 extends Solver(5): object Day05 extends Solver(5):
def pre(input: String): (Set[(Int, Int)], Vector[Vector[Int]]) = def pre(input: String) =
val Array(rulesStr, updatesStr) = val Array(rulesStr, updatesStr) =
io.Source.fromFile(input).mkString.split("\n\n") io.Source.fromFile(input).mkString.split("\n\n")
@@ -22,6 +23,7 @@ object Day05 extends Solver(5):
def run(input: String): (Timings, Solution) = def run(input: String): (Timings, Solution) =
val (pre_time, (rules, updates)) = timed { pre(input) } val (pre_time, (rules, updates)) = timed { pre(input) }
@nowarn("msg=match may not be exhaustive")
def isOrdered(u: Vector[Int]): Boolean = def isOrdered(u: Vector[Int]): Boolean =
!u.combinations(2).exists { case Seq(a, b) => !u.combinations(2).exists { case Seq(a, b) =>
rules.contains((b, a)) rules.contains((b, a))