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

Fix the spec for compute_state_layout

Browse Source
This commit is contained in:
Gaith Hallak 2022-11-09 13:06:11 +03:00
parent 5046c08b9f
commit 431e983940
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_to_fcode.erl
View File

@ -475,7 +475,7 @@ compute_state_layout(Env = #{ context := {contract_def, _} }, "state", Type) ->
Env#{ state_layout => Layout }; Env#{ state_layout => Layout };
compute_state_layout(Env, _, _) -> Env. compute_state_layout(Env, _, _) -> Env.
-spec compute_state_layout(state_reg(), ftype()) -> {state_reg(), state_layout() | [state_layout()]}. -spec compute_state_layout(state_reg(), ftype() | [ftype()]) -> {state_reg(), state_layout() | [state_layout()]}.
compute_state_layout(R, {tuple, [T]}) -> compute_state_layout(R, {tuple, [T]}) ->
compute_state_layout(R, T); compute_state_layout(R, T);
compute_state_layout(R, {tuple, Ts}) -> compute_state_layout(R, {tuple, Ts}) ->