[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] allow-newtype-instance-in-gadt-syntax

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593 at Glasgow Haskell Compiler / GHC


Commits:
47240934 by Patrick at 2025-01-11T21:59:53+08:00
allow-newtype-instance-in-gadt-syntax

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -4855,7 +4855,7 @@ checkNewDataCon con
           -- If the newtype is a GADT, the GADT error is enough;
           -- we don't need to *also* complain about existentials.
         ; if not (null eq_spec)
-          then addErrTc $ TcRnIllegalNewtype con show_linear_types IsGADT
+          then return ()
           else unless (null ex_tvs) $
                addErrTc $
                TcRnIllegalNewtype con show_linear_types HasExistentialTyVar



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/47240934b8f446e71ca7a1a08ecaa5cb3ca14104

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/47240934b8f446e71ca7a1a08ecaa5cb3ca14104
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/20250111/6454adb3/attachment-0001.html>