dns.bend fails

raw source on the hub · import 0xa12defba527c5f86a84d6fb74968f8ef/dns.bend as Dns

DNS A-record lookup over UDP. Source: https://github.com/paymog/bend-kit/tree/main/dns

2 imports

import Base
import 0x8a1034c8824c5fdecbaa2e3d762aadad/wire.bend as Wire

The reader could not load this file (at 0xa12defba527c5f86a84d6fb74968f8ef/dns.bend:438). What bend.ts says:

Error:
- 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: