diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-10-25 13:58:33 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2019-10-25 16:14:32 +0100 |
| commit | 011ea5548464c3444d61cfc0c0486ebac1d47199 (patch) | |
| tree | 2b3753cb51ae01438fb9e8c8d27bef089205dfa0 /compiler/coreSyn/CoreArity.hs | |
| parent | 2d2cc76ffb781d01c800608cd8be05cca67ac4c0 (diff) | |
| download | haskell-wip/T17294.tar.gz | |
Better arity for join pointswip/T17294
A join point was getting too large an arity, leading to #17294.
I've tightened up the invariant: see
CoreSyn, Note [Invariants on join points], invariant 2b
Diffstat (limited to 'compiler/coreSyn/CoreArity.hs')
| -rw-r--r-- | compiler/coreSyn/CoreArity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreArity.hs b/compiler/coreSyn/CoreArity.hs index d940d9d69c..04c8557882 100644 --- a/compiler/coreSyn/CoreArity.hs +++ b/compiler/coreSyn/CoreArity.hs @@ -881,7 +881,7 @@ inside the RHS of the join as well as into the body. AND if j has an unfolding we have to push it into there too. AND j might be recursive... -So for now I'm abandonig the no-crap rule in this case. I think +So for now I'm abandoning the no-crap rule in this case. I think that for the use in CorePrep it really doesn't matter; and if it does, then CoreToStg.myCollectArgs will fall over. |