0xbf477e66 fails

0xbf477e663cf4acb1369a68e0f0fa713b

HTTP/1.1 client for http and https, with DNS and TLS.

Anonymous package: import it by hash.

Published

2026-09-24

Size

228,717 bytes, 11 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 387 defs, 19 types

Import

import 0xbf477e663cf4acb1369a68e0f0fa713b/about.bend as About
import 0xbf477e663cf4acb1369a68e0f0fa713b/bytes/bytes.bend as Bytes
import 0xbf477e663cf4acb1369a68e0f0fa713b/dns/dns.bend as Dns
import 0xbf477e663cf4acb1369a68e0f0fa713b/encoding/encoding.bend as Encoding
import 0xbf477e663cf4acb1369a68e0f0fa713b/http.bend as Http
import 0xbf477e663cf4acb1369a68e0f0fa713b/json/json.bend as Json
import 0xbf477e663cf4acb1369a68e0f0fa713b/url/url.bend as Url
import 0xbf477e663cf4acb1369a68e0f0fa713b/wire.bend as Wire
import 0xbf477e663cf4acb1369a68e0f0fa713b/zlib/zlib.bend as Zlib

Modules

• about.bend 0 declarations — HTTP/1.1 client for http and https, with DNS and TLS.
• bytes/bytes.bend 56 declarations — Byte buffers packed four bytes to a U32, with bounds-checked access.
• dns/dns.bend not loaded — DNS A-record lookup over UDP.
• encoding/encoding.bend 34 declarations — Hex of each char as two nibbles.
• http.bend not loaded — HTTP/1.1 client for http and https, with DNS and TLS.
• json/json.bend 89 declarations — JSON values, parsed and encoded as RFC 8259.
• url/url.bend 97 declarations — origin-form paths and query strings, percent-encoded.
• wire.bend 13 declarations — Byte-exact TCP, UDP, and TLS sockets.
• zlib/zlib.bend 158 declarations — DEFLATE, gzip, and zlib decoding (RFC 1951, 1952, 1950) over byte strings.

Other files

• effs/wire.c 19,553 bytes
• effs/wire.js 11,566 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : a name (words joined by dots, got 'resolve.3')
- observed : 'resolve.3'
Location:
436 | # ponytail: 3 nameservers; a longer resolv.conf ignores the rest
437>| def resolve.3(+name: String, xs: List<&2, String>) -> IO(Maybe<&2, String>):
    |     ^^^^^^^^^
438 |   match xs:

SOME PROOFS FAIL
Error: 7 defs rely on unsafe or foreign code:
- hi.go
- hi
- lo
- encode.go
- encode
- decode.go
- decode

Error:
- expected : a name (words joined by dots, got 'resolve.3')
- observed : 'resolve.3'
Location:
436 | # ponytail: 3 nameservers; a longer resolv.conf ignores the rest
437>| def resolve.3(+name: String, xs: List<&2, String>) -> IO(Maybe<&2, String>):
    |     ^^^^^^^^^
438 |   match xs:

SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- enc.go
- encode

SOME PROOFS FAIL
Error: 13 defs rely on unsafe or foreign code:
- connect
- recv
- send
- recv_from
- send_to
- tls.connect
- tls.send
- tls.recv
- tls.close
- recv.words
- send.words
- tls.recv.words
- tls.send.words