Re: [Haskell-cafe] List as input

... If there isn't enough information to set a concrete type at the call, type inference fails. This is what you get with strong typing.

In my case, where does type inference fail? Strong typing is good, but quite confusing when combined with polymorphism.

It isn't. The type of data in the list must be able to be compared.

Oops, sorry. What I mean by "any" is exactly as what you said: "anything than can be compared". Can you tell me an example of list whose elements can't be compared (don't include user defined types, please) ? -- View this message in context: http://www.nabble.com/List-as-input-tp19987726p20026066.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.