From 49b00715c5ce4b85b50309f99133d9e4a17a29d7 Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Mon, 6 May 2019 15:56:36 +0200 Subject: [PATCH] Compile events But no FATE support for events yet --- src/aeso_ast_to_fcode.erl | 5 +++-- src/aeso_fcode_to_fate.erl | 2 ++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl index 1b76c19..29035ca 100644 --- a/src/aeso_ast_to_fcode.erl +++ b/src/aeso_ast_to_fcode.erl @@ -213,8 +213,9 @@ init_type_env() -> to_fcode(Env, [{contract, _, {con, _, Main}, Decls}]) -> #{ builtins := Builtins } = Env, MainEnv = Env#{ context => {main_contract, Main}, - builtins => Builtins#{[Main, "state"] => {get_state, none}, - [Main, "put"] => {set_state, 1}} }, + builtins => Builtins#{[Main, "state"] => {get_state, none}, + [Main, "put"] => {set_state, 1}, + [Main, "Chain", "event"] => {event, 1}} }, #{ functions := Funs } = Env1 = decls_to_fcode(MainEnv, Decls), StateType = lookup_type(Env1, [Main, "state"], [], {tuple, []}), diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index 5dde168..de07f26 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -378,6 +378,8 @@ builtin_to_scode(_Env, get_state, none) -> builtin_to_scode(Env, set_state, [_] = Args) -> call_to_scode(Env, [aeb_fate_code:store(?s, ?a), aeb_fate_code:tuple(0)], Args); +builtin_to_scode(_Env, event, [_] = _Args) -> + ?TODO(fate_event_instruction); builtin_to_scode(_Env, map_empty, none) -> [aeb_fate_code:map_empty(?a)]; builtin_to_scode(_Env, bits_none, none) ->