Commit 6ac7bae7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Expand tabs

parent dd86634a
...@@ -695,10 +695,10 @@ However we *don't* want to do this when the argument is not actually ...@@ -695,10 +695,10 @@ However we *don't* want to do this when the argument is not actually
taken apart in the function at all. Otherwise we risk decomposing a taken apart in the function at all. Otherwise we risk decomposing a
masssive tuple which is barely used. Example: masssive tuple which is barely used. Example:
f :: ((Int,Int) -> String) -> (Int,Int) -> a f :: ((Int,Int) -> String) -> (Int,Int) -> a
f g pr = error (g pr) f g pr = error (g pr)
main = print (f fst (1, error "no")) main = print (f fst (1, error "no"))
Here, f does not take 'pr' apart, and it's stupid to do so. Here, f does not take 'pr' apart, and it's stupid to do so.
Imagine that it had millions of fields. This actually happened Imagine that it had millions of fields. This actually happened
...@@ -1090,4 +1090,4 @@ instance Binary CPRResult where ...@@ -1090,4 +1090,4 @@ instance Binary CPRResult where
1 -> return RetProd 1 -> return RetProd
2 -> return NoCPR 2 -> return NoCPR
_ -> return BotCPR _ -> return BotCPR
\end{code} \end{code}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment