futhark-0.10.1: src/Futhark/CLI/Datacmp.hs

{-# LANGUAGE OverloadedStrings #-}
module Futhark.CLI.Datacmp (main) where

import qualified Data.ByteString.Lazy.Char8 as BS
import System.Exit

import Futhark.Test.Values
import Futhark.Util.Options

main :: String -> [String] -> IO ()
main = mainWithOptions () [] "<file> <file>" f
  where f [file_a, file_b] () = Just $ do
          vs_a_maybe <- readValues <$> BS.readFile file_a
          vs_b_maybe <- readValues <$> BS.readFile file_b
          case (vs_a_maybe, vs_b_maybe) of
            (Nothing, _) ->
              error $ "Error reading values from " ++ file_a
            (_, Nothing) ->
              error $ "Error reading values from " ++ file_b
            (Just vs_a, Just vs_b) ->
              case compareValues vs_a vs_b of
                [] -> return ()
                es -> do mapM_ print es
                         exitWith $ ExitFailure 2

        f _ _ =
          Nothing