Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC

Commits:

• b255a8ca
  by Vladislav Zavialov at 2025-06-02T16:00:12-04:00

  docs: Fix code example for NoListTuplePuns
  
  Without the fix, the example produces an error:
  
    Test.hs:11:3: error: [GHC-45219]
        • Data constructor ‘Tuple’ returns type ‘Tuple2 a b’
            instead of an instance of its parent type ‘Tuple a’
        • In the definition of data constructor ‘Tuple’
          In the data type declaration for ‘Tuple’
  
  Fortunately, a one line change makes it compile.
  

1 changed file:

• docs/users_guide/exts/data_kinds.rst

Changes:

       HCons :: a -> HList t -> HList (a : t)

     data Tuple :: Tuple2 Type Type -> Type where

-      Tuple :: a -> b -> Tuple2 a b

+      Tuple :: a -> b -> Tuple (a, b)

     foo0 :: HList []

     foo0 = HNil