diff options
| author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2016-01-27 13:15:15 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-01-27 13:56:48 +0100 |
| commit | 4faa1a63d0496fd511d2d139622dbf7ef2ce4655 (patch) | |
| tree | a0877a6063443197c5425c506ed14354d9fe8060 /compiler/coreSyn/CoreUtils.hs | |
| parent | 45c6fbc5284f83e1253ff9f3b49fe54a76c20ba7 (diff) | |
| download | haskell-4faa1a63d0496fd511d2d139622dbf7ef2ce4655.tar.gz | |
s/unLifted/unlifted for consistency
This was causing trouble as we had to remember when to use "unLifted"
and when to use "unlifted".
"unlifted" is used instead of "unLifted" as it's a single word.
Reviewers: austin, hvr, goldfire, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1852
Diffstat (limited to 'compiler/coreSyn/CoreUtils.hs')
| -rw-r--r-- | compiler/coreSyn/CoreUtils.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/coreSyn/CoreUtils.hs b/compiler/coreSyn/CoreUtils.hs index eaccb33e91..a403f290ec 100644 --- a/compiler/coreSyn/CoreUtils.hs +++ b/compiler/coreSyn/CoreUtils.hs @@ -429,7 +429,7 @@ bindNonRec bndr rhs body -- | Tests whether we have to use a @case@ rather than @let@ binding for this expression -- as per the invariants of 'CoreExpr': see "CoreSyn#let_app_invariant" needsCaseBinding :: Type -> CoreExpr -> Bool -needsCaseBinding ty rhs = isUnLiftedType ty && not (exprOkForSpeculation rhs) +needsCaseBinding ty rhs = isUnliftedType ty && not (exprOkForSpeculation rhs) -- Make a case expression instead of a let -- These can arise either from the desugarer, -- or from beta reductions: (\x.e) (x +# y) @@ -1278,7 +1278,7 @@ app_ok primop_ok fun args -> primop_ok op -- A bit conservative: we don't really need && all (expr_ok primop_ok) args -- to care about lazy arguments, but this is easy - _other -> isUnLiftedType (idType fun) -- c.f. the Var case of exprIsHNF + _other -> isUnliftedType (idType fun) -- c.f. the Var case of exprIsHNF || idArity fun > n_val_args -- Partial apps || (n_val_args == 0 && isEvaldUnfolding (idUnfolding fun)) -- Let-bound values |