diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 20:52:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 20:52:43 +0000 |
| commit | a2343757458542ea7fd2e00c53f40233797ddd5c (patch) | |
| tree | 434e3a080ca964f3b14f3e716354a5cba1088792 /src | |
| parent | 733831c0da7b2468c867103e76275ab5c67426bf (diff) | |
| download | verismith-a2343757458542ea7fd2e00c53f40233797ddd5c.tar.gz verismith-a2343757458542ea7fd2e00c53f40233797ddd5c.zip | |
Remove last warning
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz/Gen.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs index 733f956..9eecdbf 100644 --- a/src/VeriFuzz/Gen.hs +++ b/src/VeriFuzz/Gen.hs @@ -31,9 +31,12 @@ randomAssigns ids = random ids . ContAssign <$> ids randomMod :: Gen ModDecl randomMod = do - let ids = Identifier . ("w"<>) . T.pack . show <$> [1..100] + let ids = toId <$> [1..100] sequence_ $ randomAssigns ids return $ ModDecl "" [] [] [] + where + toId :: Int -> Identifier + toId = Identifier . ("w"<>) . T.pack . show fromGraph :: Gen ModDecl fromGraph = do |