Checker.hs

   1 -- This file is part of Intricacy
   2 -- Copyright (C) 2013 Martin Bays <mbays@sdf.org>
   3 --
   4 -- This program is free software: you can redistribute it and/or modify
   5 -- it under the terms of version 3 of the GNU General Public License as
   6 -- published by the Free Software Foundation, or any later version.
   7 --
   8 -- You should have received a copy of the GNU General Public License
   9 -- along with this program.  If not, see http://www.gnu.org/licenses/.
  10
  11 module Main where
  12
  13 import System.Environment
  14 import System.Exit
  15 import Control.Monad.Writer
  16
  17 import Hex
  18 import Mundanities
  19 import Physics
  20 import Frame
  21 import Lock
  22
  23 main = do
  24     [lockfn,solutionfn] <- getArgs
  25     Just lock <- readReadFile lockfn
  26     Just solution <- readReadFile solutionfn
  27
  28     if checkSolution lock solution then exitSuccess else exitFailure
  29