~/bend-docscommunity

bend-kit-http2@0.1.2.0 fails

0x75e7d19d0e4887c8e9651d356bafc276

RFC 7541 HPACK header blocks with a bounded dynamic table.

bend-kit-http2@0.1.2.0 by paymog

Other versions (3)
Published
2026-09-27
Size
104,429 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 108 defs, 7 types

Import

import bend-kit-http2@0.1.2.0/hpack.bend as Hpack
import 0x75e7d19d0e4887c8e9651d356bafc276/hpack.bend as Hpack
import bend-kit-http2@0.1.2.0/http2.bend as Http2
import 0x75e7d19d0e4887c8e9651d356bafc276/http2.bend as Http2
import bend-kit-http2@0.1.2.0/huffman.bend as Huffman
import 0x75e7d19d0e4887c8e9651d356bafc276/huffman.bend as Huffman

Modules

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
hpack.bendchecks ALL PROOFS CHECK4.6 s
http2.bendfails - expected : a fresh constructor name (duplicate declaration: Ready)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
334 | type Reply is Type:
335>|   Ready{client: Client, writes: List<&1, Bytes.Bytes>, events: List<&1, ClientEvent>}
    |   ^^^^^
336 |   Failed{error: Error}
2.0 s
huffman.bendchecks ALL PROOFS CHECK3.7 s