ai overlord

Author: crocodile-dentist

typed-protocols/properties/Network/TypedProtocol/Codec/Properties.hs

@@ -187,9 +187,8 @@ prop_codecF_splitsM conv mkChannel runDecoder' splits
                     Codec {encode, decode} (AnyMessage (msg :: Message ps st st')) = do
     property . foldMap Every <$> sequence
       [ do
-          let stateM = newSTRef $ tail bytes'
-              channelAction = stToIO $ do
-                stateRef        <- stateM
+          stateRef <- stToIO . newSTRef $ tail bytes'
+          let channelAction = stToIO $ do
                 chunksRemaining <- readSTRef stateRef
                 modifySTRef' stateRef (drop 1)
                 return $! listToMaybe chunksRemaining