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

[Simon Peyton Jones (@simonpj)]

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


Commits:
58d9f956 by Simon Peyton Jones at 2024-01-05T19:13:54+00:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Gen/Bind.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/Bind.hs
=====================================
@@ -818,6 +818,7 @@ checkMonomorphismRestriction mbis lbinds
     no_mr_name (MBI { mbi_sig = Just sig })
        | TISI { sig_inst_sig = info, sig_inst_theta = theta, sig_inst_wcx = wcx } <- sig
        = case info of
+           TcPatSynSig {} -> Nothing  -- Never happens
            TcCompleteSig (CSig { sig_bndr = bndr }) -> Just (idName bndr)
            TcPartialSig  (PSig { psig_name = nm })
              | null theta, isNothing wcx   -> Nothing  -- f :: _ -> _



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/58d9f9561231bd60f834c3321aa86348cade2fbc

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/58d9f9561231bd60f834c3321aa86348cade2fbc
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/5da2425e/attachment.html>