@@ -90,7 +90,7 @@ runRequesterT (RequesterT a) wrappedResponses = withRequesterInternalT $ \reques
90 (_, tg) <- RequesterInternalT ask
90 (_, tg) <- RequesterInternalT ask
91 result <- a
91 result <- a
92 let responses = fforMaybe wrappedResponses $ \(ResponseData tg' m) -> case tg `geq` tg' of
92 let responses = fforMaybe wrappedResponses $ \(ResponseData tg' m) -> case tg `geq` tg' of
93− Nothing -> trace ("runRequesterT: bad TagGen: expected " <> show tg <> " but got " <> show tg') Nothing --TODO: Warn somehow
93+ Nothing -> trace ("runRequesterT: bad TagGen: expected " <> show tg <> " but got " <> show tg') Nothing
94 Just Refl -> Just m
94 Just Refl -> Just m
95 pure (responses, (result, fmapCheap (RequestData tg) requests))
95 pure (responses, (result, fmapCheap (RequestData tg) requests))