[Git][ghc/ghc][wip/T25647] Add forall quantifier to D Int newtype instance

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
b55940ba by Patrick at 2025-03-10T00:29:15+08:00
Add forall quantifier to D Int newtype instance

- - - - -


1 changed file:

- testsuite/tests/indexed-types/should_compile/T25611d.hs


Changes:

=====================================
testsuite/tests/indexed-types/should_compile/T25611d.hs
=====================================
@@ -29,7 +29,7 @@ g :: Int -> N Int
 g x = MkN x
 
 data family D :: Type -> k -> k
-newtype instance D Int (a::TYPE r) = MkD a
+newtype instance forall r. D Int (a::TYPE r) = MkD a
 
 f1 :: Int# -> D Int Int#
 f1 x = MkD x



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b55940ba693bacee96da0a8f481697a599e79097
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/20250309/e43c50a8/attachment.html>