diff options
Diffstat (limited to 'src/Verismith/OptParser.hs')
| -rw-r--r-- | src/Verismith/OptParser.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Verismith/OptParser.hs b/src/Verismith/OptParser.hs index 27ff4b4..592f9e9 100644 --- a/src/Verismith/OptParser.hs +++ b/src/Verismith/OptParser.hs @@ -24,7 +24,7 @@ instance Show OptTool where show TXST = "xst" show TIcarus = "icarus" -data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text +data Opts = Fuzz { fuzzOutput :: Text , fuzzConfigFile :: !(Maybe FilePath) , fuzzForced :: !Bool , fuzzKeepAll :: !Bool @@ -40,13 +40,13 @@ data Opts = Fuzz { fuzzOutput :: {-# UNPACK #-} !Text | Generate { generateFilename :: !(Maybe FilePath) , generateConfigFile :: !(Maybe FilePath) } - | Parse { parseFilename :: {-# UNPACK #-} !FilePath - , parseTop :: {-# UNPACK #-} !Text + | Parse { parseFilename :: !FilePath + , parseTop :: !Text , parseOutput :: !(Maybe FilePath) , parseRemoveConstInConcat :: !Bool } - | Reduce { reduceFilename :: {-# UNPACK #-} !FilePath - , reduceTop :: {-# UNPACK #-} !Text + | Reduce { reduceFilename :: !FilePath + , reduceTop :: !Text , reduceScript :: !(Maybe FilePath) , reduceSynthesiserDesc :: ![SynthDescription] , reduceRerun :: !Bool |