0xc09c3785 fails

0xc09c37851f45c571c2992d5a7025b443

DNS A-record lookup over UDP.

Anonymous package: import it by hash.

Published

2026-09-24

Size

44,905 bytes, 4 files

License

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

Declarations

0 laws (0 proved), 9 defs, 0 types

Import

import 0xc09c37851f45c571c2992d5a7025b443/dns/dns.bend as Dns
import 0xc09c37851f45c571c2992d5a7025b443/wire.bend as Wire

Modules

• dns/dns.bend not loaded — DNS A-record lookup over UDP.
• wire.bend 9 declarations — Byte-exact TCP, UDP, and TLS sockets.

Other files

• effs/wire.c 15,910 bytes
• effs/wire.js 10,102 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: 9 defs rely on unsafe or foreign code:
- connect
- recv
- send
- recv_from
- send_to
- tls.connect
- tls.send
- tls.recv
- tls.close