diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-07 01:31:45 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-07 01:31:45 +0100 |
commit | 39dfa92affb1271dc6f714dfca0e13ba72e72e24 (patch) | |
tree | c5e2472eeae15c47ab6ad9ee3783d1e81a7d93b4 /src/Verismith/OptParser.hs | |
parent | 2b00c249a29236af734c1e5b717b859a2a54a5dc (diff) | |
download | verismith-39dfa92affb1271dc6f714dfca0e13ba72e72e24.tar.gz verismith-39dfa92affb1271dc6f714dfca0e13ba72e72e24.zip |
Add annotations and make it compile again
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 |