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

[Antonio Regidor Garcia]

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.