ReferenceProjects/riscv-bluespec-classic
Archived
1
0
Fork 0
Code Issues 13 Pull requests Projects Releases Packages Wiki Activity Actions

some prep work to towards having a server accept a request

Browse source
This commit is contained in:
Yehowshua Immanuel 2025-04-14 14:33:13 -04:00
parent 373d170c3f
commit cd3d728083
2 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bs/BusTypes.bs
View file

@ -102,7 +102,7 @@ interface (BusClient :: # -> *) inFlightTransactions =
-- received from `consumeRequest`, ensuring the response is correctly
-- associated with the original request.
interface (BusServer :: # -> # -> *) inFlightTransactions numClients =
consumeRequest :: ActionValue (MkTagType inFlightTransactions, BusRequest)
consumeRequest :: ActionValue (TaggedBusRequest inFlightTransactions)
submitResponse :: ( MkClientTagType numClients,
TaggedBusResponse inFlightTransactions
) -> Action