summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Feuer <david.feuer@gmail.com>2017-01-10 16:33:20 -0500
committerDavid Feuer <David.Feuer@gmail.com>2017-01-10 16:57:19 -0500
commit2be364ac8cf2f5cd3b50503e8b26f51eb46101e5 (patch)
treee054b239f6574e0b2ccbef866e492e427169ef36 /.gitignore
parent8b15fc42847b3ba4a161158995564b1986907776 (diff)
downloadhaskell-2be364ac8cf2f5cd3b50503e8b26f51eb46101e5.tar.gz
Inline partially-applied wrappers
Suppose we have ``` data Node a = Node2 !Int a a | Node3 !Int a a a instance Traversable Node where traverse f (Node2 s x y) = Node2 s <$> f x <*> f y ... ``` Since `Node2` is partially applied, we wouldn't inline its wrapper. The result was that we'd box up the `Int#` to put the box in the closure passed to `fmap`. We now allow the wrapper to inline when partially applied, so GHC stores the `Int#` directly in the closure. Reviewers: rwbarton, mpickering, simonpj, austin, bgamari Reviewed By: simonpj, bgamari Subscribers: mpickering, thomie Differential Revision: https://phabricator.haskell.org/D2891 GHC Trac Issues: #12990
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions