Endless heap-allocating loop in SCL type inference for over-applied functions
In some cases in which too many arguments are given to a function (as a result of missing parentheses, for example) with type variables as argument types, the compiler enters an endless loop that exhausts all heap memory.
Example:
let f = id :: Integer -> Integer in min f 1 f 2