[Git][ghc/ghc][wip/T25148] Note [Newtype-deriving instances]: List children Notes

[Ryan Scott (@RyanGlScott)]

Ryan Scott pushed to branch wip/T25148 at Glasgow Haskell Compiler / GHC


Commits:
7d6e30e6 by Ryan Scott at 2024-09-23T13:20:17-04:00
Note [Newtype-deriving instances]: List children Notes

- - - - -


1 changed file:

- compiler/GHC/Tc/Deriv/Generate.hs


Changes:

=====================================
compiler/GHC/Tc/Deriv/Generate.hs
=====================================
@@ -1737,6 +1737,26 @@ However, to allow VTA with polytypes we must switch on
 -XImpredicativeTypes locally in GHC.Tc.Deriv.genInst.
 See #8503 for more discussion.
 
+The following Notes describe further nuances of GeneralizedNewtypeDeriving:
+
+-----
+-- In GHC.Tc.Deriv
+-----
+
+* Note [Newtype deriving]
+* Note [Newtype representation]
+* Note [Recursive newtypes]
+* Note [Determining whether newtype-deriving is appropriate]
+* Note [GND and associated type families]
+* Note [Bindings for Generalised Newtype Deriving]
+
+-----
+-- In GHC.Tc.Deriv.Generate
+-----
+
+* Note [Newtype-deriving trickiness]
+* Note [GND and ambiguity]
+
 Note [Inferred invisible patterns]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 Consider the following:



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7d6e30e63b9c3d40d3ef1395924fd5d565582af5
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/20240923/e85bcdee/attachment-0001.html>