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

Do not reverse constants declarations

Browse Source
This commit is contained in:
Gaith Hallak 2022-12-16 12:53:15 +03:00
parent a9548e77d8
commit 98c521d90a
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, lists:reverse(Acc)}; {Env, 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)}),