Skip to content
Snippets Groups Projects
Commit 83f85baa authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

[project @ 2000-08-31 19:55:46 by simonpj]

Put the max in a better place
parent 68991fc0
No related merge requests found
......@@ -570,11 +570,11 @@ exprEtaExpandArity :: CoreExpr -> Int -- The number of args the thing can be ap
-- Hence "generous" arity
exprEtaExpandArity e
= go e
= go e `max` 0 -- Never go -ve!
where
go (Var v) = idArity v
go (App f (Type _)) = go f
go (App f a) | exprIsCheap a = (go f - 1) `max` 0 -- Never go -ve!
go (App f a) | exprIsCheap a = go f - 1
go (Lam x e) | isId x = go e + 1
| otherwise = go e
go (Note n e) | ok_note n = go e
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment