- ghc-commits - Haskell.org

[Git][ghc/ghc] Pushed new branch wip/revert-hadrian-findexecutable-hack
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao pushed new branch wip/revert-hadrian-findexecutable-hack at Glasgow Haskell Compiler / GHC -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/tree/wip/revert-hadrian-findexecutable… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/debug-info-frame-pointer
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/debug-info-frame-pointer at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/fix-intree-gmp-c23
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/fix-intree-gmp-c23 at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/quicker-quick-validate
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/quicker-quick-validate at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/no-dlist
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/no-dlist at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/iserv-keep-cafs-comment
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/iserv-keep-cafs-comment at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/fix-clang64-split-sections
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/fix-clang64-split-sections at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc] Deleted branch wip/remove-othersection
by Cheng Shao (＠TerrorJack) 10 Jan '26

10 Jan '26

Cheng Shao deleted branch wip/remove-othersection at Glasgow Haskell Compiler / GHC -- You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] Account for "stupid theta" in demand sig for DataCon wrappers
by Marge Bot (＠marge-bot) 10 Jan '26

10 Jan '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 49675b69 by Matthew Craven at 2026-01-09T20:26:14-05:00 Account for "stupid theta" in demand sig for DataCon wrappers Fixes #26748. - - - - - 4 changed files: - compiler/GHC/Types/Id/Make.hs - + testsuite/tests/dmdanal/should_run/T26748.hs - + testsuite/tests/dmdanal/should_run/T26748.stdout - testsuite/tests/dmdanal/should_run/all.T Changes: ===================================== compiler/GHC/Types/Id/Make.hs ===================================== @@ -825,9 +825,10 @@ mkDataConRep dc_bang_opts fam_envs wrap_name data_con -- LFInfo stores post-unarisation arity wrap_arg_dmds = - replicate (length theta) topDmd ++ map mk_dmd arg_ibangs + replicate (length stupid_theta + length theta) topDmd + ++ map mk_dmd arg_ibangs -- Don't forget the dictionary arguments when building - -- the strictness signature (#14290). + -- the strictness signature (#14290, #26748). mk_dmd str | isBanged str = evalDmd | otherwise = topDmd ===================================== testsuite/tests/dmdanal/should_run/T26748.hs ===================================== @@ -0,0 +1,11 @@ +{-# LANGUAGE Haskell98 #-} +module Main (main, x) where + +data Eq a => D a = MkD { lazy_field :: a, strict_field :: !a } + +x :: D () +{-# INLINABLE x #-} +x = MkD { lazy_field = error "urk", strict_field = () } + +main :: IO () +main = print (strict_field x) ===================================== testsuite/tests/dmdanal/should_run/T26748.stdout ===================================== @@ -0,0 +1 @@ +() ===================================== testsuite/tests/dmdanal/should_run/all.T ===================================== @@ -34,3 +34,4 @@ test('T22475b', normal, compile_and_run, ['']) test('T22549', normal, compile_and_run, ['-fdicts-strict -fno-specialise']) test('T23208', exit_code(1), multimod_compile_and_run, ['T23208_Lib', 'T23208']) test('T25439', normal, compile_and_run, ['']) +test('T26748', normal, compile_and_run, ['']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/49675b6949386f308c870d75438621f… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/49675b6949386f308c870d75438621f… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] iserv: add comment about -fkeep-cafs
by Marge Bot (＠marge-bot) 10 Jan '26

10 Jan '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 182f3d0f by Cheng Shao at 2026-01-09T20:25:28-05:00 iserv: add comment about -fkeep-cafs - - - - - 1 changed file: - utils/iserv/iserv.cabal.in Changes: ===================================== utils/iserv/iserv.cabal.in ===================================== @@ -30,6 +30,8 @@ Flag threaded Executable iserv Default-Language: Haskell2010 + -- We never know what symbols GHC will look up in the future, so we + -- must retain CAFs for running interpreted code. ghc-options: -fkeep-cafs -rtsopts if flag(threaded) ghc-options: -threaded View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/182f3d0fb9eb12217c089cce30a50b2… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/182f3d0fb9eb12217c089cce30a50b2… You're receiving this email because of your account on gitlab.haskell.org.

1 0