diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-01-02 19:13:44 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-06 18:39:22 -0500 |
| commit | 99a9f51bf8207c79241fc0b685fadeb222a61292 (patch) | |
| tree | 63daf74031c47b7a680477a21bba505bf2d32701 /compiler/coreSyn/CoreArity.hs | |
| parent | 5ffea0c6c6a2670fd6819540f3ea61ce6620caaa (diff) | |
| download | haskell-99a9f51bf8207c79241fc0b685fadeb222a61292.tar.gz | |
Module hierarchy: Iface (cf #13009)
Diffstat (limited to 'compiler/coreSyn/CoreArity.hs')
| -rw-r--r-- | compiler/coreSyn/CoreArity.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/coreSyn/CoreArity.hs b/compiler/coreSyn/CoreArity.hs index 8931725896..d3f24fa7bf 100644 --- a/compiler/coreSyn/CoreArity.hs +++ b/compiler/coreSyn/CoreArity.hs @@ -174,13 +174,13 @@ exprArity has the following invariants: can get "n" manifest lambdas to the top. Why is this important? Because - - In TidyPgm we use exprArity to fix the *final arity* of + - In GHC.Iface.Tidy we use exprArity to fix the *final arity* of each top-level Id, and in - In CorePrep we use etaExpand on each rhs, so that the visible lambdas actually match that arity, which in turn means that the StgRhs has the right number of lambdas -An alternative would be to do the eta-expansion in TidyPgm, at least +An alternative would be to do the eta-expansion in GHC.Iface.Tidy, at least for top-level bindings, in which case we would not need the trim_arity in exprArity. That is a less local change, so I'm going to leave it for today! |