Fix interface exposure

2020-10-21 12:40:13 +02:00 · 2020-10-21 12:40:13 +02:00 · 8798e0b2c9
commit 8798e0b2c9
parent 1dfc349065
1 changed files with 6 additions and 1 deletions
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@ -832,7 +832,12 @@ expose_internals(Defs, What) ->
                       main_contract -> [{entrypoint, true}|Ann];  % minor duplication
                       contract -> Ann
                   end,
-          setelement(2, Def, NewAnn)
+          Def1 = setelement(2, Def, NewAnn),
+          case Def1 of  % fix inner clauses
+              {fun_clauses, Ans, Id, T, Clauses} ->
+                  {fun_clauses, Ans, Id, T, expose_internals(Clauses, What)};
+              _ -> Def1
+          end
      end
     || Def <- Defs
    ].