Merge pull request #291 from aeternity/GH-3282-aens_pointers_cleanup

Add note about legacy (Lima) AENS pointers in update/lookup

docs/sophia.md

@@ -219,6 +219,7 @@ Without the `stateful` annotation the compiler does not allow the call to
   - `AENS.claim`
   - `AENS.transfer`
   - `AENS.revoke`
+  - `AENS.update`
 * Call a `stateful` function in the current contract
 * Call another contract with a non-zero `value` argument.
 
@@ -725,6 +726,9 @@ name:
         AENS.update(addr, name, None, None, Some(ptrs), signature = sig)
 ```
 
+*Note:* From the Iris hardfork more strict rules apply for AENS pointers, when
+a Sophia contract lookup or update (bad) legacy pointers, the bad keys are
+automatically removed so they will not appear in the pointers map.
 
 ### Events
 

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
     ].