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           Control.Monad.Writer
  14 import           System.Environment
  15 import           System.Exit
  16
  17 import           Frame
  18 import           Hex
  19 import           Lock
  20 import           Mundanities
  21 import           Physics
  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