From 48720561279f5a9d7e7ee32f8d89f587972da4a6 Mon Sep 17 00:00:00 2001 From: Christian Date: Thu, 5 Dec 2024 12:14:40 +0100 Subject: [PATCH] Disable exhaustiveness warning --- aoc/src/dev/ctsk/aoc/days/Day05.scala | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/aoc/src/dev/ctsk/aoc/days/Day05.scala b/aoc/src/dev/ctsk/aoc/days/Day05.scala index 606e849..f6a7a73 100644 --- a/aoc/src/dev/ctsk/aoc/days/Day05.scala +++ b/aoc/src/dev/ctsk/aoc/days/Day05.scala @@ -1,9 +1,10 @@ package dev.ctsk.aoc.days import dev.ctsk.aoc._ +import scala.annotation.nowarn object Day05 extends Solver(5): - def pre(input: String): (Set[(Int, Int)], Vector[Vector[Int]]) = + def pre(input: String) = val Array(rulesStr, updatesStr) = io.Source.fromFile(input).mkString.split("\n\n") @@ -22,6 +23,7 @@ object Day05 extends Solver(5): def run(input: String): (Timings, Solution) = val (pre_time, (rules, updates)) = timed { pre(input) } + @nowarn("msg=match may not be exhaustive") def isOrdered(u: Vector[Int]): Boolean = !u.combinations(2).exists { case Seq(a, b) => rules.contains((b, a))