Re: [Haskell-cafe] detecting infinite loop with type inference (Was: Why Haskell?)

El Mon, Mar 29, 2021 at 07:30:41PM +0200, Jaro Reinders escribió:

The reason is that sort always returns the empty list, independently of the input list, so the type of the input list is not constrained.

Actually, it only returns the empty list for the empty list. For other lists, it never returns.