From 01c2ab3f6a58d416528efce3057e2cf2f1604489 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 29 Oct 2019 11:53:43 +0000
Subject: Add data-file installation path

This removes the need to recursively copy the data directory which will also
save on space.
---
 src/Verismith/Reduce.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/Verismith/Reduce.hs')

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
-- 
cgit