dns.bend fails

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

DNS A-record lookup over UDP.

2 imports

import Base
import bend-net-wire@0.4.0.0/wire.bend as Wire

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

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: