From 02b5ed9984e0efd4a5032309dfb709b1fc30f876 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 5 Feb 2019 15:10:58 +0000 Subject: [Fix #21] Fix type signature to bytestring --- src/VeriFuzz/General.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index 9b8f5c5..5ad1c5c 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -28,10 +28,10 @@ class Simulator a where -- | Simulation type class. class (Simulator a) => Simulate a where - runSim :: a -- ^ Simulator instance - -> ModDecl -- ^ Module to simulate - -> [ByteString] -- ^ Inputs to simulate - -> Sh Int -- ^ Returns the value of the hash at the output of the testbench. + runSim :: a -- ^ Simulator instance + -> ModDecl -- ^ Module to simulate + -> [ByteString] -- ^ Inputs to simulate + -> Sh ByteString -- ^ Returns the value of the hash at the output of the testbench. -- | Synthesize type class. class (Simulator a) => Synthesize a where -- cgit