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