0x593a67a0 fails

0x593a67a04352a25e9672d3dca521611e

no description

Anonymous package: import it by hash.

Published

2026-09-23

Size

40,423 bytes, 4 files

License

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

Declarations

0 laws (0 proved), 71 defs, 3 types

Import

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

Modules

• dns/dns.bend 71 declarations
• wire.bend 9 declarations

Other files

• effs/wire.c 16,012 bytes
• effs/wire.js 10,100 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : String
- observed : U32
Context:
- ns    : String
- id    : U32
- bytes : String
Location: resolve.q
387 |       do IO<Maybe<&2, String>>:
388>|         u : Result<&1, &1, U32 & String, Socket> <- UDP.bind(0)
    |                                                              ^
389 |         resolve.sock(ns, id, bytes, u)

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