10 lines
169 B
Plaintext
10 lines
169 B
Plaintext
contract BadAENSresolve =
|
|
using AENSv2
|
|
|
|
type t('a) = option(list('a))
|
|
|
|
function fail() : t(int) =
|
|
resolve("foo.aet", "whatever")
|
|
|
|
entrypoint main_fun() = ()
|