<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Dec 23, 2011, at 8:16 AM, Kostis Sagonas wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On 12/23/11 08:30, Zabrane Mickael wrote:<br><blockquote type="cite">Hi Kostis, hi guys,<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">I'd like to express the following intention in my specification:<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">-spec foo() -> [byte(), byte(), byte()]<br></blockquote><blockquote type="cite">foo() -><br></blockquote><blockquote type="cite">...<br></blockquote><blockquote type="cite">return [26, 55, 127].<br></blockquote><blockquote type="cite">...<br></blockquote><blockquote type="cite">return [0, 13, 255].<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">*foo/0 must returns a list of exactly 3 bytes().*<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Dialyzer complains about that. My actual solution isn't accurate:<br></blockquote><blockquote type="cite">-spec foo() -> [byte()]<br></blockquote><blockquote type="cite">foo() -><br></blockquote><blockquote type="cite">...<br></blockquote><blockquote type="cite">return [26, 55, 127].<br></blockquote><blockquote type="cite">...<br></blockquote><blockquote type="cite">return [0, 13, 255].<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Any hint please?<br></blockquote><br>As you note, the type language currently cannot accurately express what you want.<br></div></blockquote><div><br></div>OK.</div><div><br><blockquote type="cite"><div>But, out of curiosity, why do you want to use lists instead of tuples for something like that? I doubt there is a good reason for this...<br></div></blockquote><br></div><div>You're right Kostis. I'll change the interface to <b>tuple</b> instead of <b>list</b>.</div>Thanks again ...<div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div>Regards,</div><div>Zabrane</div></span>
</div>
<br></div></body></html>