diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-26 16:09:45 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-27 09:29:13 +0100 |
| commit | 9cc6a182fc6f6d331774f0818bba5755188328cd (patch) | |
| tree | 57ac47458bdbf6fbcec79d5c6fd54b5e03776ff4 | |
| parent | 71d50db1f511d7aee32e6b429cdb912fcf6071b0 (diff) | |
| download | haskell-9cc6a182fc6f6d331774f0818bba5755188328cd.tar.gz | |
White space only
| -rw-r--r-- | compiler/simplCore/OccurAnal.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/simplCore/OccurAnal.hs b/compiler/simplCore/OccurAnal.hs index b7fc977c9f..b1d240347f 100644 --- a/compiler/simplCore/OccurAnal.hs +++ b/compiler/simplCore/OccurAnal.hs @@ -2724,14 +2724,18 @@ decideJoinPointHood NotTopLevel usage bndrs ok bndr | -- Invariant 1: Only tail calls, all same join arity AlwaysTailCalled arity <- tailCallInfo (lookupDetails usage bndr) + , -- Invariant 1 as applied to LHSes of rules all (ok_rule arity) (idCoreRules bndr) + -- Invariant 2a: stable unfoldings -- See Note [Join points and INLINE pragmas] , ok_unfolding arity (realIdUnfolding bndr) + -- Invariant 4: Satisfies polymorphism rule , isValidJoinPointType arity (idType bndr) = True + | otherwise = False |