[Git][ghc/ghc][wip/T23109] More wibbles

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T23109 at Glasgow Haskell Compiler / GHC


Commits:
6af8e7d1 by Simon Peyton Jones at 2024-05-14T22:42:23+01:00
More wibbles

- - - - -


2 changed files:

- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Iface/Syntax.hs


Changes:

=====================================
compiler/GHC/Core/Coercion/Opt.hs
=====================================
@@ -636,7 +636,8 @@ opt_univ env sym prov role oty1 oty2
   where
     prov' = case prov of
       ProofIrrelProv kco -> ProofIrrelProv $ opt_co4_wrap env sym False Nominal kco
-      PluginProv _       -> prov
+      PluginProv {}      -> prov
+      UnaryClassProv {}  -> prov
 
 -------------
 opt_transList :: HasDebugCallStack => InScopeSet -> [NormalCo] -> [NormalCo] -> [NormalCo]


=====================================
compiler/GHC/Iface/Syntax.hs
=====================================
@@ -537,9 +537,7 @@ ifaceDeclImplicitBndrs (IfaceClass { ifName = cls_tc_name
                                         ifSigs      = sigs,
                                         ifATs       = ats
                                      }})
-  = --   (possibly) newtype coercion
-    co_occs ++
-    --    data constructor (DataCon namespace)
+  = --    data constructor (DataCon namespace)
     --    data worker (Id namespace)
     --    no wrapper (class dictionaries never have a wrapper)
     [dc_occ, dcww_occ] ++
@@ -553,8 +551,6 @@ ifaceDeclImplicitBndrs (IfaceClass { ifName = cls_tc_name
     cls_tc_occ = occName cls_tc_name
     n_ctxt = length sc_ctxt
     n_sigs = length sigs
-    co_occs | is_newtype = [mkNewTyCoOcc cls_tc_occ]
-            | otherwise  = []
     dcww_occ = mkDataConWorkerOcc dc_occ
     dc_occ = mkClassDataConOcc cls_tc_occ
     is_newtype = n_sigs + n_ctxt == 1 -- Sigh (keep this synced with buildClass)



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6af8e7d1a8b211240c38c3b4f2b9877f0823e1b9

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6af8e7d1a8b211240c38c3b4f2b9877f0823e1b9
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/20240514/626650e4/attachment-0001.html>