diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-03-01 12:45:16 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-01 16:23:51 -0500 |
| commit | 7aeb6d29313b23cd8d4da5d42cd9e740cca5c1df (patch) | |
| tree | 3bb2a6b1133b1bdcd453f8a0f139cd4d923176cb /compiler/GHC/Unit/Module/ModGuts.hs | |
| parent | c84dc5065bcf5c87dd3d10421c99aa6941754f57 (diff) | |
| download | haskell-7aeb6d29313b23cd8d4da5d42cd9e740cca5c1df.tar.gz | |
Core Lint: collect args through floatable ticks
We were not looking through floatable ticks when collecting arguments in
Core Lint, which caused `checkCanEtaExpand` to fail on something like:
```haskell
reallyUnsafePtrEquality
= \ @a ->
(src<loc> reallyUnsafePtrEquality#)
@Lifted @a @Lifted @a
```
We fix this by using `collectArgsTicks tickishFloatable` instead of
`collectArgs`, to be consistent with the behaviour of eta expansion
outlined in Note [Eta expansion and source notes] in GHC.Core.Opt.Arity.
Fixes #21152.
Diffstat (limited to 'compiler/GHC/Unit/Module/ModGuts.hs')
0 files changed, 0 insertions, 0 deletions