diff options
Diffstat (limited to 'src/VeriFuzz/Gen.hs')
| -rw-r--r-- | src/VeriFuzz/Gen.hs | 8 |
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 |