Re: What do you assume when you see fromListN in a library?

Reading the OverloadedLists wiki seems to agree with Zemlya. It's not unreasonable at all to treat it as a hint IMO, but we should definitely be consistent, since again, primitive treats any length other than the hint as an error. On Thu, Feb 27, 2020, 7:40 PM Zemyla wrote:

I'm kind of the opposite. I think the number given to fromListN should be a "size hint", not a redundant coding of the size of the list given.

On Thu, Feb 27, 2020, 21:31 chessai . wrote:

...

I expect a list with precisely length N, and reject anything else. IIRC both primitive and vector do this

On Thu, Feb 27, 2020, 6:54 PM Carter Schonwald < carter.schonwald@gmail.com> wrote:

...

Hey everyone: 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 ?

Should it reject shorter lists?

Should it truncate or reject longer lists?

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.

Thoughts please ?

-Carter _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries