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 <zemyla@gmail.com> 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 . <chessai1996@gmail.com> 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