Merge pull request #5207 from IntersectMBO/mw/bugfix-runannotateddecoder

typed-protocol's annotated driver: bugfix

Author: crocodile-dentist

ouroboros-network/changelog.d/20251020_193107_crocodile-dentist_bugfix_runannotateddecoder.md

@@ -0,0 +1,16 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Breaking
+
+- A bullet item for the Breaking category.
+
+
+### Non-Breaking
+
+- bugfix `runAnnotatedDecoderWithChannel`

ouroboros-network/framework/lib/Ouroboros/Network/Driver/Simple.hs

@@ -50,7 +50,6 @@ import Control.Monad.Class.MonadFork
 import Control.Monad.Class.MonadThrow
 import Control.Tracer (Tracer (..), contramap, traceWith)
 import Data.Functor.Identity (Identity (..))
-import Data.Maybe (maybeToList)
 
 
 -- $intro
@@ -327,7 +326,7 @@ runAnnotatedDecoderWithChannel
   -> DecodeStep bytes failure m (bytes -> a)
   -> m (Either failure (a, Maybe bytes))
 
-runAnnotatedDecoderWithChannel Channel{recv} bs0 = go (maybeToList bs0) bs0
+runAnnotatedDecoderWithChannel Channel{recv} = go []
   where
     go :: [bytes]
        -> Maybe bytes