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

Changed 'require' function return type to Unit #598

Merged
zxq9 merged 1 commits from github/fork/radrow/master into master 2019-07-21 04:05:40 +09:00
Conversation 4 Commits 1 Files Changed 1 +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

2
src/aeso_ast_infer_types.erl
View File

@ -385,7 +385,7 @@ global_env() ->
{"FixedTTL", Fun1(Int, TTL)},
%% Abort
{"abort", Fun1(String, A)},
{"require", Fun([Bool, String], A)}])
{"require", Fun([Bool, String], Unit)}])
, types = MkDefs(
[{"int", 0}, {"bool", 0}, {"char", 0}, {"string", 0}, {"address", 0},
{"hash", {[], {alias_t, Bytes(32)}}},