<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi Kostis, hi guys,<div><br></div><div>I'd like to express the following intention in my specification:</div><div><br></div><div>-spec foo() -> [byte(), byte(), byte()]</div><div>foo() -></div><div> ...</div><div> return [26, 55, 127].</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>...</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>return [0, 13, 255].</div><div><br></div><div><b>foo/0 must returns a list of exactly 3 bytes().</b></div><div><br></div><div>Dialyzer complains about that. My actual solution isn't accurate:</div><div><div>-spec foo() -> [byte()]</div><div>foo() -></div></div><div><div><div> ...</div><div> return [26, 55, 127].</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>...</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>return [0, 13, 255].</div></div></div><div><br></div><div>Any hint please?</div><div><br></div><div><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>