<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" 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>
</body>
</html>