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