diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-14 19:52:49 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-14 19:52:49 +0200 |
| commit | 4042138101d433cefed0a9157a2dc6fda54e4b60 (patch) | |
| tree | d273432312b1f101eda968618ab11a42bdee683f /src/Verismith/Verilog/AST.hs | |
| parent | 6547ca0b1d6244fcced31ce119ff5841cb60b086 (diff) | |
| download | verismith-4042138101d433cefed0a9157a2dc6fda54e4b60.tar.gz verismith-4042138101d433cefed0a9157a2dc6fda54e4b60.zip | |
Add changes to Icarus for fuzzing
Diffstat (limited to 'src/Verismith/Verilog/AST.hs')
| -rw-r--r-- | src/Verismith/Verilog/AST.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Verismith/Verilog/AST.hs b/src/Verismith/Verilog/AST.hs index d0443e9..cd59094 100644 --- a/src/Verismith/Verilog/AST.hs +++ b/src/Verismith/Verilog/AST.hs @@ -66,6 +66,7 @@ module Verismith.Verilog.AST -- * Expression Expr (..), + _Id, ConstExpr (..), ConstExprF (..), constToExpr, @@ -368,6 +369,7 @@ data Expr deriving (Eq, Show, Ord, Data, Generic, NFData) $(makeLenses ''Expr) +$(makePrisms ''Expr) $(makeBaseFunctor ''Expr) |