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

Add constrained_t to fold

Browse Source
This commit is contained in:
Gaith Hallak 2022-06-20 10:23:39 +04:00
parent e8da0a7cfe
commit 21cc6f2b3e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/aeso_syntax_utils.erl
View File

@ -61,6 +61,7 @@ fold(Alg = #alg{zero = Zero, plus = Plus, scoped = Scoped}, Fun, K, X) ->
{fun_t, _, Named, Args, Ret} -> Type([Named, Args, Ret]); {fun_t, _, Named, Args, Ret} -> Type([Named, Args, Ret]);
{app_t, _, T, Ts} -> Type([T | Ts]); {app_t, _, T, Ts} -> Type([T | Ts]);
{tuple_t, _, Ts} -> Type(Ts); {tuple_t, _, Ts} -> Type(Ts);
{constrained_t, _, _, T} -> Type(T);
%% named_arg_t() %% named_arg_t()
{named_arg_t, _, _, T, E} -> Plus(Type(T), Expr(E)); {named_arg_t, _, _, T, E} -> Plus(Type(T), Expr(E));
%% expr() %% expr()