toki/advent-of-code-2024
1
0
Fork 0
Code Issues Pull requests Activity

Compare commits

base: toki:14f7539bef49c3bf16394640f5fc1b05b0065ff4
Branches Tags
toki:main
..
compare: toki:b40650cd6bde21d781d0737d654f0d3aaa85f6d8
Branches Tags
toki:main

2 commits
14f7539bef ... b40650cd6b

Author SHA1 Message Date
Kiana Sheibani b40650cd6b
feat: allow solution ID to be passed as CLI arg 2024-12-05 09:15:49 -05:00
Kiana Sheibani 94448ca2f5
style: remove extraneous import 2024-12-05 09:15:29 -05:00
1 changed files with 8 additions and 7 deletions
Show stats Expand all files Collapse all files

15
src/Main.idr
View file

@ -2,9 +2,8 @@ module Main
import Data.SortedMap import Data.SortedMap
import Data.Problem import Data.Problem
import Utils
import Language.Reflection import Language.Reflection
import System
import AllDays import AllDays
@ -32,11 +31,13 @@ getInput = go ""
main : IO () main : IO ()
main = do main = do
putStr "Solution: " sol <- case !getArgs of
Just pr <- parseProblem <$> getLine [_, s] => pure s
| Nothing => putStrLn "Invalid solution ID" _ => putStr "Solution: " >> getLine
let Just func = lookup pr solMap let Just pr = parseProblem sol
| Nothing => putStrLn "This part is not implemented yet!" | Nothing => putStrLn "ERROR: Invalid solution"
Just func = lookup pr solMap
| Nothing => putStrLn "ERROR: This part is not implemented yet!"
putStrLn "Input (end with \\):" putStrLn "Input (end with \\):"
input <- trim <$> getInput input <- trim <$> getInput