QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Add function to decode VM values to Sophia abstract syntax #519

Merged
zxq9 merged 4 commits from decode-vm-to-sophia into master 2019-02-26 17:00:49 +09:00
Conversation 5 Commits 4 Files Changed 4 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit eb926b1352 - Show all commits

2
src/aeso_ast_infer_types.erl
View File

@ -508,7 +508,7 @@ init_env(Options) ->
end, global_env(), [{"oracle", 2}, {"oracle_query", 2}])
end.
-spec infer(aeso_syntax:ast(), list(option())) -> aeso_syntax:ast().
-spec infer(aeso_syntax:ast(), list(option())) -> aeso_syntax:ast() | {env(), aeso_syntax:ast()}.
infer(Contracts, Options) ->
ets_init(), %% Init the ETS table state
try