dns.bend fails

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

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

2 imports

import Base
import 0xd0e5dfa14254dc2d25247f592b3afbe2/wire.bend as Wire

The reader could not load this file (at 0x4ae4f319f4174df6a2ae71eb32ba9642/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: