diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-02-17 17:57:34 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-24 20:54:35 -0500 |
| commit | 354e2787be08fb6d973de1a39e58080ff8e107f8 (patch) | |
| tree | 1d2c829e8c0a6a4796d8c24d7ac048752b4eca0d /compiler/typecheck | |
| parent | e295a02440db8b1d96cebad22c5ee48774774681 (diff) | |
| download | haskell-354e2787be08fb6d973de1a39e58080ff8e107f8.tar.gz | |
Comments, small refactor
* Remove outdated Note [HsForAllTy tyvar binders] and [Context quantification].
Since the wildcard refactor 1e041b7382, HsForAllTy no longer has an flag
controlling explicity. The field `hsq_implicit` is gone too.
The current situation is covered by Note [HsType binders] which is already
linked from LHsQTyVars.
* Small refactor in CoreLint, extracting common code to a function
* Remove "not so sure about WpFun" in TcEvidence, per Richard's comment
https://gitlab.haskell.org/ghc/ghc/merge_requests/852#note_223226
* Use mkIfThenElse in Foreign/Call, as it does exactly what we need.
Diffstat (limited to 'compiler/typecheck')
| -rw-r--r-- | compiler/typecheck/TcEvidence.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/typecheck/TcEvidence.hs b/compiler/typecheck/TcEvidence.hs index fb6fa71ada..0794157ed0 100644 --- a/compiler/typecheck/TcEvidence.hs +++ b/compiler/typecheck/TcEvidence.hs @@ -362,7 +362,6 @@ isErasableHsWrapper = go where go WpHole = True go (WpCompose wrap1 wrap2) = go wrap1 && go wrap2 - -- not so sure about WpFun. But it eta-expands, so... go WpFun{} = False go WpCast{} = True go WpEvLam{} = False -- case in point |