From 5bf5998e063739fb665f352cf73e70e4ae5e1ac7 Mon Sep 17 00:00:00 2001 From: Martijn Bastiaan Date: Sun, 7 Apr 2024 20:20:22 +0200 Subject: [PATCH] Switch `Fwd` and `Bwd` to make `M`/`S` relation consistent All protocols in `clash-protocols` follow the convention that if a circuit is formed as `Circuit a ()` it is a subordinate, and when it is formed as `Circuit () a`, it is a manager instead. This commit aligns the `Jtag` protocol in a similar way. --- clash-vexriscv/src/VexRiscv.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/clash-vexriscv/src/VexRiscv.hs b/clash-vexriscv/src/VexRiscv.hs index 098aba3..fd33dbf 100644 --- a/clash-vexriscv/src/VexRiscv.hs +++ b/clash-vexriscv/src/VexRiscv.hs @@ -68,8 +68,8 @@ data CpuOut = CpuOut data Jtag (dom :: Domain) instance Protocol (Jtag dom) where - type Fwd (Jtag dom) = Signal dom JtagOut - type Bwd (Jtag dom) = Signal dom JtagIn + type Fwd (Jtag dom) = Signal dom JtagIn + type Bwd (Jtag dom) = Signal dom JtagOut -- When passing S2M values from Haskell to VexRiscv over the FFI, undefined