aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 16:19:01 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 16:19:01 +0000
commitabe9360a65f77c83d73e02876049e4ec1d5161dc (patch)
treec4ce67bbfe7c2fc725053afb3faf0ccfb46a44ff
parent93cbc45b1ed7887af8f2c3d054f5da6b08ce9211 (diff)
downloadverismith-abe9360a65f77c83d73e02876049e4ec1d5161dc.tar.gz
verismith-abe9360a65f77c83d73e02876049e4ec1d5161dc.zip
Hlint suggestions
-rw-r--r--src/VeriFuzz/Gen.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs
index 84700ab..f8773ca 100644
--- a/src/VeriFuzz/Gen.hs
+++ b/src/VeriFuzz/Gen.hs
@@ -36,9 +36,9 @@ import VeriFuzz.Internal
import VeriFuzz.Mutate
import VeriFuzz.Random
-data Context = Context { _variables :: [Port]
--- , _modules :: [ModDecl]
- }
+newtype Context = Context { _variables :: [Port]
+ -- , _modules :: [ModDecl]
+ }
makeLenses ''Context
@@ -128,7 +128,7 @@ proceduralMod top = do
amount <- gen positiveArb
mi <- replicateM amount proceduralModItem
context <- get
- let local = filter (\p -> notElem p portList) $ context ^. variables
+ let local = filter (`notElem` portList) $ context ^. variables
let size = sum $ local ^.. traverse . portSize
let yport = Port Wire False size "y"
return . declareMod local . ModDecl name [yport] portList $ combineAssigns