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

Revert "Do not reverse constants declarations"

Browse Source 
This reverts commit c4647fadacd134866e4be9c2ab4b0d54870a35fd.
This commit is contained in:
Gaith Hallak 2022-12-16 13:11:06 +03:00
parent 112e5338da
commit aa8ae76aca
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

@ -270,7 +270,7 @@ bind_const(X, Ann, Type, Env) ->
-spec bind_consts(env(), #{ name() => aeso_syntax:decl() }, [{acyclic, name()} | {cyclic, [name()]}], [aeso_syntax:decl()]) -> -spec bind_consts(env(), #{ name() => aeso_syntax:decl() }, [{acyclic, name()} | {cyclic, [name()]}], [aeso_syntax:decl()]) ->
{env(), [aeso_syntax:decl()]}. {env(), [aeso_syntax:decl()]}.
bind_consts(Env, _Consts, [], Acc) -> bind_consts(Env, _Consts, [], Acc) ->
{Env, Acc}; {Env, lists:reverse(Acc)};
bind_consts(Env, Consts, [{cyclic, Xs} | _SCCs], _Acc) -> bind_consts(Env, Consts, [{cyclic, Xs} | _SCCs], _Acc) ->
ConstDecls = [ maps:get(X, Consts) || X <- Xs ], ConstDecls = [ maps:get(X, Consts) || X <- Xs ],
type_error({mutually_recursive_constants, lists:reverse(ConstDecls)}), type_error({mutually_recursive_constants, lists:reverse(ConstDecls)}),