diff options
Diffstat (limited to 'src/VeriFuzz/Internal')
-rw-r--r-- | src/VeriFuzz/Internal/AST.hs | 6 | ||||
-rw-r--r-- | src/VeriFuzz/Internal/Simulator.hs | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Internal/AST.hs b/src/VeriFuzz/Internal/AST.hs index 16d40a3..49e1d30 100644 --- a/src/VeriFuzz/Internal/AST.hs +++ b/src/VeriFuzz/Internal/AST.hs @@ -34,8 +34,8 @@ setModName str = modId .~ Identifier str addModPort :: Port -> ModDecl -> ModDecl addModPort port = modInPorts %~ (:) port -addDescription :: Description -> VerilogSrc -> VerilogSrc -addDescription desc = getVerilogSrc %~ (:) desc +addDescription :: Description -> Verilog -> Verilog +addDescription desc = getVerilog %~ (:) desc testBench :: ModDecl testBench = ModDecl @@ -61,7 +61,7 @@ testBench = ModDecl ] ] -addTestBench :: VerilogSrc -> VerilogSrc +addTestBench :: Verilog -> Verilog addTestBench = addDescription $ Description testBench defaultPort :: Identifier -> Port diff --git a/src/VeriFuzz/Internal/Simulator.hs b/src/VeriFuzz/Internal/Simulator.hs index 9437fab..4c21864 100644 --- a/src/VeriFuzz/Internal/Simulator.hs +++ b/src/VeriFuzz/Internal/Simulator.hs @@ -46,7 +46,7 @@ class (Tool a) => Synthesisor a where -> Sh () -- ^ does not return any values data SourceInfo = SourceInfo { runMainModule :: {-# UNPACK #-} !Text - , runSource :: !VerilogSrc + , runSource :: !Verilog } deriving (Eq, Show) |