diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 13:05:16 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 13:05:16 +0100 |
| commit | ae4497bee80efbabddea9333732f783433ff4a5a (patch) | |
| tree | 7ac8cb91aa3f672af478711080cdc0715fb2152d /src/VeriFuzz | |
| parent | 5938621be5321e7e2f26735227977c9716a22e12 (diff) | |
| download | verismith-ae4497bee80efbabddea9333732f783433ff4a5a.tar.gz verismith-ae4497bee80efbabddea9333732f783433ff4a5a.zip | |
Make GenVerilog part of Arb
Diffstat (limited to 'src/VeriFuzz')
| -rw-r--r-- | src/VeriFuzz/CodeGen.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/VeriFuzz/CodeGen.hs b/src/VeriFuzz/CodeGen.hs index f122fa5..5b27fea 100644 --- a/src/VeriFuzz/CodeGen.hs +++ b/src/VeriFuzz/CodeGen.hs @@ -27,7 +27,6 @@ import Data.Text (Text) import qualified Data.Text as T import qualified Data.Text.IO as T import Numeric (showHex) -import Test.QuickCheck (Arbitrary, arbitrary) import VeriFuzz.AST import VeriFuzz.Internal @@ -286,8 +285,8 @@ newtype GenVerilog a = GenVerilog { unGenVerilog :: a } instance (Source a) => Show (GenVerilog a) where show = T.unpack . genSource . unGenVerilog -instance (Arbitrary a) => Arbitrary (GenVerilog a) where - arbitrary = GenVerilog <$> arbitrary +instance (Arb a) => Arb (GenVerilog a) where + arb = GenVerilog <$> arb instance Source SourceInfo where genSource (SourceInfo _ src) = genSource src |