[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] update test DataInstanceKindsDefaults

[Patrick (@soulomoon)]

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


Commits:
481e4955 by Patrick at 2025-01-10T00:29:27+08:00
update test DataInstanceKindsDefaults

- - - - -


1 changed file:

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


Changes:

=====================================
testsuite/tests/indexed-types/should_compile/dataInstanceKindsDefaults.hs
=====================================
@@ -5,8 +5,12 @@ module DataInstanceKindsDefaults where
 
 import Data.Kind
 
--- this test check if we defaults the kind of the data instance correctly
--- error would be caught by the validity checker `checkNewDataCon` from `GHC.Tc.TyCl`
+-- This test checks if we default the kind of the data instance correctly without UnliftedNewtypes
+-- or UnliftedDatatypes.
+-- Assumptions:
+-- If we default the result kind of the data instance to `TYPE r`,
+-- then `checkNewDataCon` would through the error since the result kind of the data instance
+-- should be `Type` without UnliftedNewtypes or UnliftedDatatypes.
 
 data family A :: k -> k
 newtype instance A a = MkA a



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/481e4955e0a90847bc6ebfcc6f28cd01e6adc395
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/20250109/71726627/attachment-0001.html>