dns/dns.bend fails

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

DNS A-record lookup over UDP.

2 imports

import Base
import ../wire.bend as Wire

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