0x4ae4f319 fails
0x4ae4f319f4174df6a2ae71eb32ba9642
DNS A-record lookup over UDP. Source: https://github.com/paymog/bend-net/tree/main/dns
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 17,074 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 0 defs, 0 types
Import
import 0x4ae4f319f4174df6a2ae71eb32ba9642/dns.bend as Dns
Modules
- dns.bend not loaded — DNS A-record lookup over UDP. Source: https://github.com/paymog/bend-net/tree/main/dns
Dependencies
- 0xd0e5dfa1 via
dns.bend: import 0xd0e5dfa14254dc2d25247f592b3afbe2/wire.bend as Wire
Dependents
- 0x6ee8b4f8 via
http.bend: import 0x4ae4f319f4174df6a2ae71eb32ba9642/dns.bend as Dns
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| dns.bend | fails | - expected : a name (words joined by dots, got 'resolve.3')outputError:
- expected : a name (words joined by dots, got 'resolve.3')
- observed : 'resolve.3'
Location:
437 | # ponytail: 3 nameservers; a longer resolv.conf ignores the rest
438>| def resolve.3(+name: String, xs: List<&2, String>) -> IO(Maybe<&2, String>):
| ^^^^^^^^^
439 | match xs: | 0.5 s |