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

Fix bugs caused by the addition of debugging symbols (#464)

Browse Source 
* Fix get_catchalls bug

* Fix for event datatype
This commit is contained in:
Gaith Hallak 2023-06-28 18:43:41 +04:00 committed by GitHub
parent b902226c26
commit c15d411660
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/aeso_ast_to_fcode.erl
View File

@ -1262,7 +1262,7 @@ event_function(_Env = #{event_type := {variant_t, EventCons}}, EventType = {vari
end, end,
Indices = [ {var, [], V} || {indexed, V} <- IVars ], Indices = [ {var, [], V} || {indexed, V} <- IVars ],
Body = {builtin, [], chain_event, [Payload, Hash | Indices]}, Body = {builtin, [], chain_event, [Payload, Hash | Indices]},
{'case', {con, [], Arities, Tag, Vars}, {nosplit, [], Body}} {'case', {con, Arities, Tag, Vars}, {nosplit, [], Body}}
end, end,
#{ attrs => [private], #{ attrs => [private],
args => [{"e", EventType}], args => [{"e", EventType}],
@ -1580,7 +1580,7 @@ simpl_proj(Env, I, Expr) ->
-spec get_catchalls([fcase()]) -> [fcase()]. -spec get_catchalls([fcase()]) -> [fcase()].
get_catchalls(Alts) -> get_catchalls(Alts) ->
[ C || C = {'case', {var, _, _}, _} <- Alts ]. [ C || C = {'case', {var, _}, _} <- Alts ].
%% The scode compiler can't handle multiple catch-alls, so we need to nest them %% The scode compiler can't handle multiple catch-alls, so we need to nest them
%% inside each other. Instead of %% inside each other. Instead of