0x70dd8459 fails

0x70dd8459e2a121e9bbe04ea7e5f8ebb7

DNS A-record lookup over UDP.

Anonymous package: import it by hash.

Published

2026-09-25

Size

16,980 bytes, 1 files

License

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

Declarations

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

Import

import 0x70dd8459e2a121e9bbe04ea7e5f8ebb7/dns.bend as Dns

Modules

• dns.bend not loaded — DNS A-record lookup over UDP.

Dependencies

• bend-net-wire@0.4.0.0 via dns.bend: import bend-net-wire@0.4.0.0/wire.bend as Wire

Dependents

• 0xea8f96f1 via http.bend: import 0x70dd8459e2a121e9bbe04ea7e5f8ebb7/dns.bend as Dns

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: