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