search

well-typed / grapesy

Native Haskell gRPC client and server based on `http2`
Other
31 stars 4 forks source link

Detect final element #155

Closed edsko closed 4 days ago

edsko commented 3 weeks ago

Closes #114.

Depends on https://github.com/kazu-yamamoto/http-semantics/pull/1 and https://github.com/kazu-yamamoto/http2/pull/116 .

edsko commented 3 weeks ago

TODO: We should grep the codebase for mentions of 114.

edsko commented 2 weeks ago

Turns out this is somewhat non-determistic. We need to relax the tests, I think. Test.Sanity.EndOfStream.server.recvInput is occassionally failing.

edsko commented 2 weeks ago

I don't really understand where the non-determinism is coming from however, needs further investigation.

edsko commented 2 weeks ago

This happens when the final HTTP frame is split across two TCP packets.

edsko commented 1 week ago

Depends on https://github.com/kazu-yamamoto/http-semantics/pull/2 and https://github.com/kazu-yamamoto/http2/pull/120 .