0x977945ed fails

0x977945edff4d58fb1fd04f769d651271

no description

Anonymous package: import it by hash.

Other versions (4)

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

Published: 2026-09-23
Size: 57,585 bytes, 6 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 257 defs, 10 types

Import

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

Modules

dns/dns.bend 63 declarations
http.bend 156 declarations
url/url.bend 61 declarations
wire.bend 4 declarations

Other files

effs/wire.c 4,877 bytes
effs/wire.js 3,270 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)	0.8 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.9 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	1.0 s
wire.bend	relies on unsafe/foreign	4 defs rely on unsafe or foreign code defs: `recv`, `send`, `recv_from`, `send_to` output SOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - recv - send - recv_from - send_to	0.8 s