<div dir="auto">The motivation is that it would be used with the OverloadedLists extension, and the size would be filled in by the compiler.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Feb 28, 2020, 04:11 Andrew Lelechenko <<a href="mailto:andrew.lelechenko@gmail.com">andrew.lelechenko@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space">From the top of my head, I would expect that fromListN rejects both shorter and longer lists. If a user is under a wrong impression that some list has length N, it is better to fail early, before other, more dangerous implications of this impression are made (for example, using `unsafeIndex`).<div><br></div><div>However, my expectations disagree with the documentation, which states that the observable behaviour of fromListN should be equivalent to fromList: <a href="http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Exts.html#v:fromListN" target="_blank" rel="noreferrer">http://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Exts.html#v:fromListN</a> I am not sure what was the motivation behind such choice.</div><div><div><br></div><div>Best regards,</div><div>Andrew</div><div><br><blockquote type="cite"><div>On 28 Feb 2020, at 02:53, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com" target="_blank" rel="noreferrer">carter.schonwald@gmail.com</a>> wrote:</div><br><div><div dir="auto">Hey everyone: </div><div dir="auto">When you see fromListN as a function in a library, do you assume / presume it’s expecting an exactly N element list ? Or do you expect/tolerate other behavior ? </div><div dir="auto"><br></div><div dir="auto">Should it reject shorter lists?</div><div dir="auto"><br></div><div dir="auto">Should it truncate or reject longer lists? </div><div dir="auto"><br></div><div dir="auto">A corner case of this came up in some bug discussion I was having regarding vector,  and I shall claim and or presume that most folks assume exact size with prompt rejection of too long or too short. </div><div dir="auto"><br></div><div dir="auto">Thoughts please ?</div><div dir="auto"><br></div><div dir="auto">-Carter </div>
</div></blockquote></div><br></div></div>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>