0x16468cee fails

0x16468ceebbd3e6c19a3fa3b874aed617

no description

Anonymous package: import it by hash.

Other versions (1)

0x593a67a0 2026-09-23 latest

Published: 2026-09-23
Size: 20,445 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 61 defs, 2 types

Import

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

Modules

dns/dns.bend 63 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

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.9 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

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.9 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