<div dir="ltr">this is great news<div>thanks for quick fix </div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Sep 14, 2018 at 9:58 AM Hans Bolinder <<a href="mailto:hans.bolinder@ericsson.com">hans.bolinder@ericsson.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_4052100383042364318divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<div>[Karlo Kuna:]<br>
> for example if we parse form (i'm omitting scan pass here)<br>
> "-type a() :: tuple()."  we get {ok,{attribute,1,type,{a,{type,1,tuple,any},[]}}}<br>
><br>
> interesting part here is:<br>
>      {type,1,tuple,any}<br>
><br>
> as far as i can see there no method how to construct valid tuple or<br>
> map type annotations using erl_syntax. Specifically if one construct<br>
> type annotation for tuple and use erl_syntax:revert/1 one gets:<br>
><br>
>       {type,1,tuple,any_size}<br>
><br>
> any_size =/= any<br>
><br>
> is this a bug??<br>
<br>
Thanks for pointing it out. A fix, see commit 1b91284, will be<br>
included in Erlang/OTP 21.1.<br>
<br>
Best regards,<br>
<br>
Hans Bolinder, Erlang/OTP team, Ericsson<br>
<br>
</div>
</div>
</div>

</blockquote></div>