diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:58:34 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:58:34 +0100 |
| commit | 4ecf423075f146ee0a1a452a5658e7a13f99aa9b (patch) | |
| tree | 36ba41829cee08d217e419eeff4ce65583d89854 /src/VeriFuzz/Verilog/Gen.hs | |
| parent | 426f0d71eca2dc578e4258df05be296003c3e4cb (diff) | |
| download | verismith-4ecf423075f146ee0a1a452a5658e7a13f99aa9b.tar.gz verismith-4ecf423075f146ee0a1a452a5658e7a13f99aa9b.zip | |
Use NonEmpty to represent concatenation
Diffstat (limited to 'src/VeriFuzz/Verilog/Gen.hs')
| -rw-r--r-- | src/VeriFuzz/Verilog/Gen.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs index 9a5b71d..630e3c0 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Verilog/Gen.hs @@ -174,7 +174,7 @@ constExprWithContext ps prob size , ( prob ^. probExprCond , ConstCond <$> subexpr 2 <*> subexpr 2 <*> subexpr 2 ) - , (prob ^. probExprConcat, ConstConcat <$> Hog.list (Hog.linear 1 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 @@ -185,7 +185,7 @@ 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.list (Hog.linear 1 10) (subexpr 2)) + , (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) |