Fix CSignal simulation functions

clash-lang · Oct 25, 2024 · 0df8f56 · 0df8f56
1 parent d7f2f3a
commit 0df8f56
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/clash-protocols/src/Protocols/Internal.hs b/clash-protocols/src/Protocols/Internal.hs
@@ -466,7 +466,7 @@ instance (C.KnownDomain dom) => Simulate (CSignal dom a) where
   type SimulateChannels (CSignal dom a) = 1
 
   simToSigFwd Proxy list = C.fromList_lazy list
-  simToSigBwd Proxy () = def
+  simToSigBwd Proxy () = pure ()
   sigToSimFwd Proxy sig = C.sample_lazy sig
   sigToSimBwd Proxy _ = ()
 
@@ -484,7 +484,7 @@ instance (C.NFDataX a, C.ShowX a, Show a, C.KnownDomain dom) => Drivable (CSigna
      in Circuit (\_ -> ((), fwd1))
 
   sampleC SimulationConfig{resetCycles, ignoreReset} (Circuit f) =
-    let sampled = CE.sample_lazy (snd (f ((), def)))
+    let sampled = CE.sample_lazy (snd (f ((), pure ())))
      in if ignoreReset then drop resetCycles sampled else sampled
 
 {- | Simulate a circuit. Includes samples while reset is asserted.