diff options
author | Sebastian Graf <sebastian.graf@kit.edu> | 2021-03-19 13:04:11 +0100 |
---|---|---|
committer | Sebastian Graf <sebastian.graf@kit.edu> | 2021-04-20 10:17:55 +0200 |
commit | ee5dadade02890ff458167455386cc50839a3db8 (patch) | |
tree | d3146a4fd9a951c22bacc449810756071bfe615e /compiler/GHC/Core/Utils.hs | |
parent | 99bd4ae655984fe3a84a10edf023325cf8c1ea97 (diff) | |
download | haskell-ee5dadade02890ff458167455386cc50839a3db8.tar.gz |
Refactor around `wantToUnbox`
I renamed `wantToUnbox` to `wantToUnboxArg` and then introduced
`wantToUnboxResult`, which we call in `mkWWcpr_one` now.
I also deleted `splitArgType_maybe` (the single call site outside of
`wantToUnboxArg` actually cared about the result type of a function, not
an argument) and `splitResultType_maybe` (which is entirely superceded
by `wantToUnboxResult`.
Diffstat (limited to 'compiler/GHC/Core/Utils.hs')
-rw-r--r-- | compiler/GHC/Core/Utils.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Utils.hs b/compiler/GHC/Core/Utils.hs index 7d7e5342b9..ff89358809 100644 --- a/compiler/GHC/Core/Utils.hs +++ b/compiler/GHC/Core/Utils.hs @@ -2598,7 +2598,7 @@ isEmptyTy ty = False -- | If @normSplitTyConApp_maybe _ ty = Just (tc, tys, co)@ --- then @ty |> co = tc tys@. It's 'splitArgType_maybe', but looks through +-- then @ty |> co = tc tys@. It's 'splitTyConApp_maybe', but looks through -- coercions via 'topNormaliseType_maybe'. Hence the \"norm\" prefix. normSplitTyConApp_maybe :: FamInstEnvs -> Type -> Maybe (TyCon, [Type], Coercion) normSplitTyConApp_maybe fam_envs ty |