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)
- bend-kit-http2@0.2.0.0 2026-10-09 latest
- bend-kit-http2@0.1.1.0 2026-09-27
- bend-kit-http2@0.1.0.0 2026-09-27
- 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
- hpack.bend 89 declarations — RFC 7541 HPACK header blocks with a bounded dynamic table.
- http2.bend not loaded — RFC 9113 HTTP/2 client and frames, with RFC 7541 HPACK over packed Bytes.
- huffman.bend 33 declarations — RFC 7541 Appendix B Huffman alphabet and streaming codec.
Dependencies
- bend-kit-bytes@0.3.1.0 via
hpack.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes
Dependents
- bend-kit-http@0.31.1.1 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.31.1.0 via
http/http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.31.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.30.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.29.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.28.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.27.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.26.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.25.0.2 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.25.0.1 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.25.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.24.3.1 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.24.3.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.24.2.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.24.1.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.24.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.23.0.1 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.23.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.22.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.21.1.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.21.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.20.1.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2 - bend-kit-http@0.20.0.0 via
http.bend: import bend-kit-http2@0.1.2.0/http2.bend as H2
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| hpack.bend | checks | ALL PROOFS CHECK | 4.6 s |
| http2.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- 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.bend | checks | ALL PROOFS CHECK | 3.7 s |