2025-12-02 01:37:59 +00:00
|
|
|
module Main (main) where
|
|
|
|
|
|
2025-12-08 12:48:49 +00:00
|
|
|
import Pre
|
|
|
|
|
|
2025-12-02 09:11:42 +00:00
|
|
|
import Data.Text.IO qualified as T
|
2025-12-09 16:57:05 +00:00
|
|
|
import Data.Text.Lazy qualified as TL
|
2025-12-08 12:48:49 +00:00
|
|
|
import Data.Text.Lazy.Encoding qualified as TL
|
2025-12-02 15:22:21 +00:00
|
|
|
import Puzzles.Day1 qualified as Day1
|
|
|
|
|
import Puzzles.Day2 qualified as Day2
|
2025-12-03 11:18:04 +00:00
|
|
|
import Puzzles.Day3 qualified as Day3
|
2025-12-04 10:00:15 +00:00
|
|
|
import Puzzles.Day4 qualified as Day4
|
2025-12-05 12:56:40 +00:00
|
|
|
import Puzzles.Day5 qualified as Day5
|
2025-12-08 13:09:28 +00:00
|
|
|
import Puzzles.Day6 qualified as Day6
|
2025-12-08 13:32:15 +00:00
|
|
|
import Puzzles.Day7 qualified as Day7
|
2025-12-08 13:40:55 +00:00
|
|
|
import Puzzles.Day8 qualified as Day8
|
2025-12-09 10:27:50 +00:00
|
|
|
import Puzzles.Day9 qualified as Day9
|
2025-12-02 09:30:39 +00:00
|
|
|
import Test.Tasty.Ingredients.ConsoleReporter
|
2025-12-02 00:32:49 +00:00
|
|
|
|
|
|
|
|
main :: IO ()
|
2025-12-02 08:23:53 +00:00
|
|
|
main =
|
2025-12-02 09:38:31 +00:00
|
|
|
defaultMain
|
|
|
|
|
. localOption (Always :: UseColor)
|
2025-12-02 11:22:17 +00:00
|
|
|
. testGroup "tests"
|
2025-12-04 21:16:46 +00:00
|
|
|
$ enumerate <&> \isRealData@(bool "examples" "real" -> t) ->
|
2025-12-02 14:35:17 +00:00
|
|
|
testGroup t $
|
2025-12-02 15:22:21 +00:00
|
|
|
[ Day1.puzzle
|
|
|
|
|
, Day2.puzzle
|
2025-12-03 11:18:04 +00:00
|
|
|
, Day3.puzzle
|
2025-12-04 10:00:15 +00:00
|
|
|
, Day4.puzzle
|
2025-12-05 12:56:40 +00:00
|
|
|
, Day5.puzzle
|
2025-12-08 13:09:28 +00:00
|
|
|
, Day6.puzzle
|
2025-12-08 13:32:15 +00:00
|
|
|
, Day7.puzzle
|
2025-12-08 13:40:55 +00:00
|
|
|
, Day8.puzzle
|
2025-12-09 10:27:50 +00:00
|
|
|
, Day9.puzzle
|
2025-12-02 14:35:17 +00:00
|
|
|
]
|
2025-12-04 20:11:16 +00:00
|
|
|
<&> \Puzzle{number, parser, parts, extraTests} ->
|
2025-12-02 14:35:17 +00:00
|
|
|
let
|
|
|
|
|
pt = show number
|
|
|
|
|
parseFile fp =
|
|
|
|
|
either (fail . ("parse failure: " <>) . errorBundlePretty) pure
|
2025-12-08 22:42:29 +00:00
|
|
|
. runParser (parser isRealData <* eof) fp
|
2025-12-02 14:35:17 +00:00
|
|
|
=<< T.readFile fp
|
|
|
|
|
in
|
2025-12-02 14:59:15 +00:00
|
|
|
withResource (parseFile $ "../inputs/" <> t <> "/" <> pt) mempty \input ->
|
2025-12-02 14:35:17 +00:00
|
|
|
testGroup pt $
|
2025-12-04 20:11:37 +00:00
|
|
|
( zip (map show [1 :: Int ..]) parts <&> \(n, pp) ->
|
2025-12-09 16:47:12 +00:00
|
|
|
goldenVsStringDiff n diffCommand ("../outputs/" <> t <> "/" <> pt <> "/" <> n) $
|
2025-12-09 16:57:47 +00:00
|
|
|
TL.encodeUtf8 . (<> "\n") . TL.show . pp <$> input
|
2025-12-04 20:11:16 +00:00
|
|
|
)
|
2025-12-04 21:16:46 +00:00
|
|
|
<> [testGroup "extra" $ extraTests isRealData ("../outputs/" <> t <> "/" <> pt <> "/extra/") input]
|