diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:50:01 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:50:01 +0100 |
| commit | 76e9b994258d9af87868ba9f420db4ee1c29de67 (patch) | |
| tree | f11b3729582a21ea31555a9106d2190e180e2ce9 /src/VeriFuzz/Verilog/Gen.hs | |
| parent | 3ddfc0111566113b3ec15725cb5ced6dea531a3a (diff) | |
| download | verismith-76e9b994258d9af87868ba9f420db4ee1c29de67.tar.gz verismith-76e9b994258d9af87868ba9f420db4ee1c29de67.zip | |
Format with brittany
Diffstat (limited to 'src/VeriFuzz/Verilog/Gen.hs')
| -rw-r--r-- | src/VeriFuzz/Verilog/Gen.hs | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs index 630e3c0..0cff33a 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Verilog/Gen.hs @@ -174,7 +174,9 @@ constExprWithContext ps prob size , ( prob ^. probExprCond , ConstCond <$> subexpr 2 <*> subexpr 2 <*> subexpr 2 ) - , (prob ^. probExprConcat, ConstConcat <$> Hog.nonEmpty (Hog.linear 0 10) (subexpr 2)) + , ( prob ^. probExprConcat + , ConstConcat <$> Hog.nonEmpty (Hog.linear 0 10) (subexpr 2) + ) ] | otherwise = constExprWithContext ps prob 0 where subexpr y = constExprWithContext ps prob $ size `div` y @@ -184,8 +186,10 @@ exprSafeList prob = [(prob ^. probExprNum, Number <$> genBitVec)] exprRecList :: ProbExpr -> (Hog.Size -> Gen Expr) -> [(Int, Gen Expr)] exprRecList prob subexpr = - [ (prob ^. probExprNum , Number <$> genBitVec) - , (prob ^. probExprConcat , Concat <$> Hog.nonEmpty (Hog.linear 0 10) (subexpr 2)) + [ (prob ^. probExprNum, Number <$> genBitVec) + , ( prob ^. probExprConcat + , Concat <$> Hog.nonEmpty (Hog.linear 0 10) (subexpr 2) + ) , (prob ^. probExprUnOp , UnOp <$> unOp <*> subexpr 2) , (prob ^. probExprStr, Str <$> Hog.text (Hog.linear 0 100) Hog.alphaNum) , (prob ^. probExprBinOp , BinOp <$> subexpr 2 <*> binOp <*> subexpr 2) @@ -344,7 +348,7 @@ statement = do alwaysSeq :: StateGen ModItem alwaysSeq = do - stat <- seqBlock + stat <- seqBlock return $ Always (EventCtrl (EPosEdge "clk") (Just stat)) instantiate :: ModDecl -> StateGen ModItem @@ -414,7 +418,7 @@ modItem = do context <- get let defProb i = prob ^. probModItem . i Hog.frequency - [ (defProb probModItemAssign, ModCA <$> contAssign) + [ (defProb probModItemAssign , ModCA <$> contAssign) , (defProb probModItemSeqAlways, alwaysSeq) , ( if context ^. modDepth > 0 then defProb probModItemInst else 0 , modInst |