26 Jun
2011
26 Jun
'11
6:55 p.m.
On 26 June 2011 23:48, Jack Henahan
I know the type signature of (++), I'm just not seeing `n` as a list, I suppose. I'm reading it as being the Int that is passed to splitAt, though perhaps my thought process is just wonky.
Look at the type of splitAt, the answers are all in the types :) splitAt :: Int -> [a] -> ([a],[a]) So when you do a case match on the result of splitAt x (y:ys) you must be matching on a tuple of lists, because that's what the return type of the list is