[Git][ghc/ghc][wip/sand-witch/lazy-skol] Wibbles

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/sand-witch/lazy-skol at Glasgow Haskell Compiler / GHC


Commits:
8cb420ce by Simon Peyton Jones at 2024-01-05T17:46:58+00:00
Wibbles

- - - - -


2 changed files:

- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Utils/TcType.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/Expr.hs
=====================================
@@ -179,7 +179,6 @@ tcPolyExpr :: HsExpr GhcRn -> ExpSigmaType -> TcM (HsExpr GhcTc)
 
 -- We begin with a special case for HsLam, in case the pushed-down type
 -- is a forall-type.  E.g.    (\@a -> blah) :: forall b. b -> Int
--- See Note [Supporting type abstractions]
 tcPolyExpr e@(HsLam x lam_variant matches) res_ty
   = do { (wrap, matches') <- tcMatchLambda e lam_variant matches [] res_ty
        ; return (mkHsWrap wrap $ HsLam x lam_variant matches') }


=====================================
compiler/GHC/Tc/Utils/TcType.hs
=====================================
@@ -238,7 +238,6 @@ import GHC.Utils.Panic
 import Data.IORef ( IORef )
 import Data.List.NonEmpty( NonEmpty(..) )
 import Data.List ( partition, nub, (\\) )
-import Data.Maybe ( mapMaybe )
 
 {-
 ************************************************************************



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8cb420cea7bede57fba5754a0dc4c042dcfad5e4

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8cb420cea7bede57fba5754a0dc4c042dcfad5e4
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240105/ce35ad21/attachment-0001.html>