<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">for example if we parse form (i'm omitting scan pass here)<div>"-type a() :: tuple()."  we get {ok,{attribute,1,type,{a,{type,1,tuple,any},[]}}}</div><div><br></div><div>interesting part here is: <br>      {type,1,tuple,any}</div><div>as far as i can see there no method how to construct valid tuple or map type annotations using erl_syntax. Specifically  if one construct type annotation for tuple and use erl_syntax:revert/1 one gets: </div><div>      {type,1,tuple,any_size}</div><div><br></div><div>any_size =/= any<br></div><div><br></div><div>is this a bug??</div><div><br></div></div></div></div></div>