{-# OPTIONS 
 -fglasgow-exts 
 -XCPP 
 -XTemplateHaskell 
 -XNamedFieldPuns 
 -XRecordWildCards 
 -XDeriveDataTypeable 
 -XOverlappingInstances
 -XPackageImports
 -fwarn-incomplete-patterns
 #-}

module ParseRandom where

import Control.Monad
import Control.Monad.State
import Control.Applicative((<$>),(<*>))
import Control.Arrow
import Text.Printf.TH
import Data.Maybe
import Data.List as L
import Data.Map as M
import Data.Set as S
import qualified Data.ByteString as B
import Data.Function
import System.Process
import System.UTF8IO
import Control.Arrow
import Debug.Trace
import Prelude()
import UTF8Prelude hiding(catch)
import System.SimpleArgs
import Data.Generics
import Test.QuickCheck
import Data.Monoid
import Text.PrettyPrint.ANSI.Leijen
import System.Exit
import Text.Regex.PCRE.Light.Char8
import Common
    
import "logic-TPTP" Codec.TPTP

infilename = getArgs
parseRes = return . parse =<< readFile =<< infilename
         
--main = forever $ quickCheck prop_test_ie --iei_i

--main = stressTestParser

main = stressTestParser

stressTestParser = replicateM 100 $
    do
  n <- getArgs
  x <- head `fmap` sample' (resize n arbitrary) :: IO TPTP_Input
  let tptp = toTPTP' [x]
  putStrLn tptp
  putStrLn (prettySimple (parse tptp))