sophia/test/contracts/bad_aens_resolve.aes

10 lines
162 B
Plaintext

contract BadAENSresolve =
type t('a) = option(list('a))
function fail() : t(int) =
AENSv2.resolve("foo.aet", "whatever")
entrypoint main_fun() = ()