summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEvidence.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcEvidence.hs')
-rw-r--r--compiler/typecheck/TcEvidence.hs1
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