diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 11:53:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 11:54:23 +0000 |
| commit | 01c2ab3f6a58d416528efce3057e2cf2f1604489 (patch) | |
| tree | e8716b6b2b2bd438df3680e0c927134ee8ae5c83 /src/Verismith/Reduce.hs | |
| parent | 633522fc459439e6dff58509c7706ef831199fee (diff) | |
| download | verismith-01c2ab3f6a58d416528efce3057e2cf2f1604489.tar.gz verismith-01c2ab3f6a58d416528efce3057e2cf2f1604489.zip | |
Add data-file installation path
This removes the need to recursively copy the data directory which will also
save on space.
Diffstat (limited to 'src/Verismith/Reduce.hs')
| -rw-r--r-- | src/Verismith/Reduce.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 88f0b42..a7ec3f8 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -582,17 +582,18 @@ reduceWithScript top script file = do -- | Reduce a 'SourceInfo' using two 'Synthesiser' that are passed to it. reduceSynth :: (Synthesiser a, Synthesiser b, MonadSh m) - => a + => Shelly.FilePath + -> a -> b -> SourceInfo -> m SourceInfo -reduceSynth a b = reduce synth +reduceSynth datadir a b = reduce synth where synth src' = liftSh $ do r <- runResultT $ do runSynth a src' runSynth b src' - runEquiv a b src' + runEquiv datadir a b src' return $ case r of Fail EquivFail -> True Fail _ -> False |