diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-25 09:12:03 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-25 09:12:03 +0100 |
| commit | 9906b22bffd73b7d305f6836a4b606b6849b4487 (patch) | |
| tree | aadd0d7329e7a3e3b38f5175cfb86671c823ff30 | |
| parent | 2b461deaf32e065a71d83235f3c5648eea93fb19 (diff) | |
| download | verismith-9906b22bffd73b7d305f6836a4b606b6849b4487.tar.gz verismith-9906b22bffd73b7d305f6836a4b606b6849b4487.zip | |
Add the literal list to the mod instantiation
| -rw-r--r-- | src/Verismith/Generate.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Verismith/Generate.hs b/src/Verismith/Generate.hs index 25b9306..9bf7c58 100644 --- a/src/Verismith/Generate.hs +++ b/src/Verismith/Generate.hs @@ -450,9 +450,10 @@ instantiate (ModDecl i outP inP _ _) = do ident <- makeIdentifier "modinst" vs <- view variables <$> lget Hog.choice - [ return . ModInst i ident $ ModConn <$> toE (outs <> clkPort <> ins) + [ return . ModInst i ident $ ModConn <$> (toE (outs <> clkPort <> ins) <> insLit) , ModInst i ident <$> Hog.shuffle - (zipWith ModConnNamed (view portName <$> outP <> clkPort <> inpFixed) (toE $ outs <> clkPort <> ins)) + (zipWith ModConnNamed (view portName <$> outP <> clkPort <> inpFixed) + (toE (outs <> clkPort <> ins) <> insLit)) ] where toE ins = Id . view portName <$> ins |