0xb0a7a402 fails

0xb0a7a402cb8b656837fdec13c6e3e175

no description

Anonymous package: import it by hash.

Other versions (4)

0x575208cf 2026-09-23 latest
0x28323c0f 2026-09-23
0xc03e4fd3 2026-09-23
0x977945ed 2026-09-23

Published: 2026-09-23
Size: 87,096 bytes, 6 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 316 defs, 16 types

Import

import 0xb0a7a402cb8b656837fdec13c6e3e175/dns/dns.bend as Dns
import 0xb0a7a402cb8b656837fdec13c6e3e175/http.bend as Http
import 0xb0a7a402cb8b656837fdec13c6e3e175/url/url.bend as Url
import 0xb0a7a402cb8b656837fdec13c6e3e175/wire.bend as Wire

Modules

dns/dns.bend 63 declarations
http.bend 205 declarations
url/url.bend 84 declarations
wire.bend 8 declarations

Other files

effs/wire.c 13,329 bytes
effs/wire.js 7,976 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
dns/dns.bend	fails	- expected : String output Error: - expected : String - observed : U32 Context: - ns : String - id : U32 - bytes : String Location: resolve.q 353 \| do IO<Maybe<&2, String>>: 354>\| u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0) \| ^ 355 \| resolve.sock(ns, id, bytes, u)	1.0 s
http.bend	fails	- expected : String output Error: - expected : String - observed : U32 Context: - ns : String - id : U32 - bytes : String Location: resolve.q 353 \| do IO<Maybe<&2, String>>: 354>\| u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0) \| ^ 355 \| resolve.sock(ns, id, bytes, u)	0.8 s
url/url.bend	relies on unsafe/foreign	21 defs rely on unsafe or foreign code defs: `hexhi.go`, `hexhi`, `hexlo`, `pct.enc.push`, `pct.enc.path`, `pct.enc.query`, `pct.encode_path`, `pct.encode_q`, `pct.decode.go`, `pct.decode`, `qput.kv`, `qput`, `qfold`, `parse.q`, `parse.path`, `parse.split`, `parse.ok`, `parse`, `enc.pairs.go`, `enc.pairs`, `encode` output SOME PROOFS FAIL Error: 21 defs rely on unsafe or foreign code: - hexhi.go - hexhi - hexlo - pct.enc.push - pct.enc.path - pct.enc.query - pct.encode_path - pct.encode_q - pct.decode.go - pct.decode - qput.kv - qput - qfold - parse.q - parse.path - parse.split - parse.ok - parse - enc.pairs.go - enc.pairs - encode	0.8 s
wire.bend	relies on unsafe/foreign	8 defs rely on unsafe or foreign code defs: `recv`, `send`, `recv_from`, `send_to`, `tls.connect`, `tls.send`, `tls.recv`, `tls.close` output SOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - recv - send - recv_from - send_to - tls.connect - tls.send - tls.recv - tls.close	0.9 s