
10 Jul
2007
10 Jul
'07
4:58 a.m.
tmorris:
Thanks Don, Is your explanation specific to maybe? Or does that apply to all functions?
Suppose the following function for lists:
f :: [a] -> b -> (a -> [a] -> b) -> b
...instead of pattern matching [] and (x:xs)
It really depends on the body of 'f'. If they're simple wrappers over case analysis they should be inlined perfectly. -- Don