From e6b002f70e76050eb60a6176f63a9a242306b6d8 Mon Sep 17 00:00:00 2001 From: Yehowshua Immanuel Date: Sun, 23 Mar 2025 08:12:40 -0400 Subject: [PATCH] added informative comment --- bs/TagEngine.bs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bs/TagEngine.bs b/bs/TagEngine.bs index 2900822..e1ea262 100644 --- a/bs/TagEngine.bs +++ b/bs/TagEngine.bs @@ -11,6 +11,10 @@ interface (TagEngine :: # -> *) numTags = requestTag :: ActionValue UIntLog2N(numTags) retireTag :: UIntLog2N(numTags) -> Action +-- The tag engine returns a tag that is unique for the duration of +-- the lifetime of the tag. Useful when you need to tag transactions +-- on a bus for example. +-- This implementation is stack based. mkTagEngine :: Module (TagEngine numTags) mkTagEngine = do