@@ -6,20 +6,15 @@ import Solver
66
77main : IO ()
88main = do
9− args <- getArgs
10− case args of
11− [_, path] => do
12− putStrLn ("Reading " ++ path)
13− f <- readFile path
14− case parse f of
15− Left err => putStrLn err
16− Right (_ ** (board ** legal)) => do
17− putStrLn "Got board:"
18− print board
19− putStrLn "Solving..."
20− case fillBoard board legal of
21− Nothing => putStrLn "No solution found"
22− Just (solved ** _) => do
23− putStrLn "Solution found:"
24− print solved
25− _ => putStrLn "Expected path"
9+ f <- readFile "/dev/stdin"
10+ case parse f of
11+ Left err => putStrLn err
12+ Right (_ ** (board ** legal)) => do
13+ putStrLn "Got board:"
14+ print board
15+ putStrLn "Solving..."
16+ case fillBoard board legal of
17+ Nothing => putStrLn "No solution found"
18+ Just (solved ** _) => do
19+ putStrLn "Solution found:"
20+ print solved