From 24df5f787068a50bc90433e7073bba0ab82d1938 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Thu, 7 Mar 2019 11:38:41 +0000 Subject: Fix build --- src/VeriFuzz/Gen.hs | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'src') diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs index 5c8a60b..8dbbe24 100644 --- a/src/VeriFuzz/Gen.hs +++ b/src/VeriFuzz/Gen.hs @@ -31,7 +31,6 @@ import Test.QuickCheck (Gen) import qualified Test.QuickCheck as QC import VeriFuzz.AST import VeriFuzz.ASTGen -import VeriFuzz.CodeGen import VeriFuzz.Config import VeriFuzz.Internal import VeriFuzz.Mutate @@ -126,16 +125,6 @@ scopedExpr = do lvalFromPort :: Port -> LVal lvalFromPort (Port _ _ _ i) = RegId i -scopedReg :: StateGen LVal -scopedReg = do - context <- get - gen - . QC.elements - . fmap lvalFromPort - . filter (\p -> p ^. portType == Reg) - $ context - ^. variables - probability :: Config -> Probability probability c = c ^. configProbability -- cgit