import Test.Extrapolate
import Data.Typeable (typeOf)

main :: IO ()
main = do
  ch ()
  ch bool
  ch int
  ch integer
  ch char
  ch ordering

--ch [()]
  ch [bool]
--chint
  ch [integer]
--ch [char]
--ch [ordering]

--ch ((),int)
  ch (bool,char)
--ch (int,(),bool)
  ch (ordering,char,integer)

  ch (mayb ())
  ch (mayb int)

  ch (eith () bool)
  ch (eith int char)

-- TODO: find out why output for the following is different across diff GHCs
-- see: https://travis-ci.org/rudymatela/extrapolate/jobs/263425540
-- ch (char,int,bool,ordering)

-- For some reason, output for the following funky types is different across
-- different versions of GHC, see:
-- https://travis-ci.org/rudymatela/extrapolate/builds/262325825
-- I don't have time to investigate now, but it might be good to check why.
--ch (eith integer ordering,mayb (int,(),bool),mayb (char,()))
--ch (eith (integer,mayb (int,(),bool),mayb (char,())) (int,char))

ch :: (Ord a, Generalizable a) => a -> IO ()
ch x = do
  putStrLn $ "checks :: " ++ show (typeOf x) ++ "\n"
  check `withConditionSize` 3 $ (<)  -:> x
  check `withConditionSize` 3 $ (>)  -:> x
  check `withConditionSize` 3 $ (<=) -:> x
  check `withConditionSize` 3 $ (>=) -:> x
  putStrLn ""

{-
chint :: IO ()
chint = do
  -- TODO: make the following work on GHC >= 8.2
  -- see https://travis-ci.org/rudymatela/extrapolate/jobs/266773179
  -- possible less temporary solution:
  --   * Add (==) (/=) (<=) (<) (>=) (>) to list background.
  -- update, adding the above on background does not seem to solve the problem.
  -- maybe after improving the algorithm to generate the *weakest* condition,
  -- instead of just the first with 10% truth.
  -- ch [int]
  putStrLn $ "checks :: " ++ show (typeOf [int]) ++ "\n"
  check `withConditionSize` 3 $ (<)  -:> [int]
  check `withConditionSize` 3 $ (>)  -:> [int]
  check `withConditionSize` 3 $ (>=) -:> [int]
  putStrLn ""
-}