<div dir="ltr">You might want to look at Typer, since it's whole purpose is to generate type specs for code that you can directly put in code.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Dec 5, 2020 at 3:25 PM Guilherme Andrade <<a href="mailto:g@gandrade.net">g@gandrade.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hello list,</div><div><br></div><div>I've been working on a code-generating tool, leveraging `erl_syntax`[1] to build an AST containing arbitrary Erlang functions; I then use `erl_pp`[2] to generate the corresponding Erlang code and write the result onto a source code file.</div><div><br></div><div>All is well so far, but now I want to generate type specs and function specs with which to annotate the generated code - and I can't for the life of me figure out how to do it within `erl_syntax`.<br><br>All of the different attempts I've made end up either crashing within `erl_syntax` or `erl_pp`, or at best result in INVALID-FORM literals within the generated code.</div><div><br></div><div>Would any of you be able to point me in the right direction?</div><div><br></div><div>Thanks in advance!<br></div><div><br></div><div>[1]: <a href="http://erlang.org/doc/man/erl_syntax.html" target="_blank">http://erlang.org/doc/man/erl_syntax.html</a></div><div>[2]: <a href="https://erlang.org/doc/man/erl_pp.html" target="_blank">https://erlang.org/doc/man/erl_pp.html</a></div><div><br>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Guilherme<br></div></div></div></div></div></div></div></div>
</blockquote></div>