From 5c0b99fc4a085fa477a96ae85f01c69e9def80d2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 1 Jan 2019 14:20:22 +0100 Subject: Use Monoid Statement instance to make code more concise --- src/Test/VeriFuzz/Simulator/Icarus.hs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/Test/VeriFuzz/Simulator/Icarus.hs b/src/Test/VeriFuzz/Simulator/Icarus.hs index e59e4ab..5a4a12d 100644 --- a/src/Test/VeriFuzz/Simulator/Icarus.hs +++ b/src/Test/VeriFuzz/Simulator/Icarus.hs @@ -36,11 +36,9 @@ instance Simulate Icarus where runSimIcarus :: Icarus -> ModDecl -> [ByteString] -> Sh Int runSimIcarus sim mod tst = do let tb = ModDecl "main" [] [] - [ Initial $ SeqBlock - [ SysTaskEnable $ Task "display" - [ Str "21832" ] - , SysTaskEnable $ Task "finish" [] - ] + [ Initial $ + (SysTaskEnable $ Task "display" [ Str "21832" ]) + <> (SysTaskEnable $ Task "finish" []) ] let newtb = instantiateMod mod tb let modWithTb = VerilogSrc $ Description <$> [newtb, mod] -- cgit