sort :: (Ord a) => [t] -> [a]
But this is impossible
One way the impossible can occur is if it never can occur
``When the function returns, it could return a list of strings.''
``But it can't possibly return a list of strings.''
In fact, this function has a bug.
It never returns
Type checking found an infinite loop bug!
At compile time!!
|Next||Copyright © 1999,2008 Mark Dominus|