diff --git a/rebar.config b/rebar.config index 87edb36..9342440 100644 --- a/rebar.config +++ b/rebar.config @@ -2,7 +2,7 @@ {erl_opts, [debug_info]}. -{deps, [ {aebytecode, {git, "https://github.com/aeternity/aebytecode.git", {ref,"38f4f0e"}}} +{deps, [ {aebytecode, {git, "https://github.com/aeternity/aebytecode.git", {ref,"b040dcc"}}} , {getopt, "1.0.1"} , {eblake2, "1.0.0"} , {jsx, {git, "https://github.com/talentdeficit/jsx.git", diff --git a/rebar.lock b/rebar.lock index f4e93cb..0e0b07b 100644 --- a/rebar.lock +++ b/rebar.lock @@ -1,7 +1,7 @@ {"1.1.0", [{<<"aebytecode">>, {git,"https://github.com/aeternity/aebytecode.git", - {ref,"38f4f0ecd75db592f596b9687c37945d4fc807d7"}}, + {ref,"b040dccdefb0713198986264bc2d19d3fb84398d"}}, 0}, {<<"aeserialization">>, {git,"https://github.com/aeternity/aeserialization.git", diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index db5b39a..e585ac5 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -469,7 +469,7 @@ global_env() -> {"claim", SignFun([Address, String, Int, Int], Unit)}, {"transfer", SignFun([Address, Address, String], Unit)}, {"revoke", SignFun([Address, String], Unit)}, - {"update", SignFun([Address, String, Option(TTL), Option(TTL), Option(Map(String, Pointee))], Unit)}]) + {"update", SignFun([Address, String, Option(TTL), Option(Int), Option(Map(String, Pointee))], Unit)}]) , types = MkDefs([{"pointee", 0}]) }, MapScope = #scope diff --git a/test/contracts/aens.aes b/test/contracts/aens.aes index cb34e82..c342170 100644 --- a/test/contracts/aens.aes +++ b/test/contracts/aens.aes @@ -37,14 +37,14 @@ contract AENSTest = stateful entrypoint update(owner : address, name : string, ttl : option(Chain.ttl), - client_ttl : option(Chain.ttl), + client_ttl : option(int), pointers : option(map(string, AENS.pointee))) : unit = AENS.update(owner, name, ttl, client_ttl, pointers) stateful entrypoint signedUpdate(owner : address, name : string, ttl : option(Chain.ttl), - client_ttl : option(Chain.ttl), + client_ttl : option(int), pointers : option(map(string, AENS.pointee)), sign : signature) : unit = AENS.update(owner, name, ttl, client_ttl, pointers, signature = sign)