Teo Camarasu pushed to branch wip/T26875 at Glasgow Haskell Compiler / GHC

Commits:

• 14f485ee
  by ARATA Mizuki at 2026-02-17T09:09:24+09:00

  Support more x86 extensions: AVX-512 {BW,DQ,VL} and GFNI
  
  Also, mark AVX-512 ER and PF as deprecated.
  
  AVX-512 instructions can be used for certain 64-bit integer vector operations.
  
  GFNI can be used to implement bitReverse (currently not used by NCG, but LLVM may use it).
  
  Closes #26406
  Addresses #26509
  

• 016f79d5
  by fendor at 2026-02-17T09:16:16-05:00

  Hide implementation details from base exception stack traces
  
  Ensure we hide the implementation details of the exception throwing mechanisms:
  
  * `undefined`
  * `throwSTM`
  * `throw`
  * `throwIO`
  * `error`
  
  The `HasCallStackBacktrace` should always have a length of exactly 1,
  not showing internal implementation details in the stack trace, as these
  are vastly distracting to end users.
  
  CLC proposal [#387](https://github.com/haskell/core-libraries-committee/issues/387)
  

• 4f2840f2
  by Brian J. Cardiff at 2026-02-17T17:04:08-05:00

  configure: Accept happy-2.2
  
  In Jan 2026 happy-2.2 was released. The most sensible change is https://github.com/haskell/happy/issues/335 which didn't trigger in a fresh build
  

• 10b4d364
  by Duncan Coutts at 2026-02-17T17:04:52-05:00

  Fix errors in the documentation of the eventlog STOP_THREAD status codes
  
  Fix the code for BlockedOnMsgThrowTo.
  
  Document all the known historical warts.
  
  Fixes issue #26867
  

• c5e15b8b
  by Phil de Joux at 2026-02-18T05:07:36-05:00

  haddock: use snippets for all list examples
  
  - generate snippet output for docs
  - reduce font size to better fit snippets
  - Use only directive to guard html snippets
  - Add latex snippets for lists
  

• d388bac1
  by Phil de Joux at 2026-02-18T05:07:36-05:00

  haddock: Place the snippet input and output together
  
  - Put the output seemingly inside the example box
  

• 016fa306
  by Samuel Thibault at 2026-02-18T05:08:35-05:00

  Fix linking against libm by moving the -lm option
  
  For those systems that need -lm for getting math functions, this is
  currently added on the link line very early, before the object files being
  linked together. Newer toolchains enable --as-needed by default, which means
  -lm is ignored at that point because no object requires a math function
  yet. With such toolchains, we thus have to add -lm after the objects, so the
  linker actually includes libm in the link.
  

• 68bd0805
  by Teo Camarasu at 2026-02-18T05:09:19-05:00

  ghc-internal:  Move GHC.Internal.Data.Bool to base
  
  This is a tiny module that only defines bool :: Bool -> a -> a -> a. We can just move this to base and delete it from ghc-internal. If we want this functionality there we can just use a case statement or if-then expression.
  
  Resolves 26865
  

• 82000eaa
  by Teo Camarasu at 2026-02-18T10:56:53+00:00

  ghc-internal: avoid depending on GHC.Internal.Control.Monad.Fix
  
  This module contains the definition of MonadFix, since we want an
  instance for IO, that instance requires a lot of machinery and we want
  to avoid an orphan instance, this will naturally be quite high up in the
  dependency graph.
  
  So we want to avoid other modules depending on it as far as possible.
  
  Resolves #26875
  

120 changed files:

• compiler/GHC/Builtin/Names.hs
• compiler/GHC/CmmToAsm/Config.hs
• compiler/GHC/CmmToAsm/X86/CodeGen.hs
• compiler/GHC/CmmToAsm/X86/Instr.hs
• compiler/GHC/CmmToAsm/X86/Ppr.hs
• compiler/GHC/Driver/Config/CmmToAsm.hs
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Pipeline/Execute.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Linker/Dynamic.hs
• compiler/GHC/SysTools/Cpp.hs
• docs/users_guide/9.16.1-notes.rst
• docs/users_guide/eventlog-formats.rst
• docs/users_guide/phases.rst
• docs/users_guide/using.rst
• libraries/base/changelog.md
• libraries/base/src/Control/Arrow.hs
• libraries/base/src/Data/Bool.hs
• libraries/base/src/Data/List.hs
• libraries/base/src/Data/List/NubOrdSet.hs
• libraries/base/src/GHC/Exts.hs
• libraries/base/src/System/IO.hs
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/src/GHC/Internal/Control/Arrow.hs
• libraries/ghc-internal/src/GHC/Internal/Control/Monad/Fix.hs
• libraries/ghc-internal/src/GHC/Internal/Control/Monad/ST/Lazy/Imp.hs
• − libraries/ghc-internal/src/GHC/Internal/Data/Bool.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Foldable.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Function.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Functor/Identity.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Type/Bool.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Type/Ord.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
• libraries/ghc-internal/src/GHC/Internal/Exception.hs
• libraries/ghc-internal/src/GHC/Internal/IO/FD.hs
• libraries/ghc-internal/src/GHC/Internal/JS/Prim.hs
• libraries/ghc-internal/src/GHC/Internal/STM.hs
• libraries/ghc-internal/src/GHC/Internal/System/IO.hs
• libraries/ghc-internal/src/GHC/Internal/System/IO/OS.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lift.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Monad.hs
• libraries/ghc-internal/src/GHC/Internal/TypeError.hs
• + libraries/ghc-internal/tests/backtraces/T15395.hs
• + libraries/ghc-internal/tests/backtraces/T15395.stdout
• libraries/ghc-internal/tests/backtraces/all.T
• libraries/ghc-internal/tests/stack-annotation/ann_frame005.stdout
• m4/fptools_happy.m4
• testsuite/driver/cpu_features.py
• testsuite/tests/arrows/should_compile/T21301.stderr
• testsuite/tests/codeGen/should_gen_asm/all.T
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-minmax.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-minmax.hs
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-mul.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-int64-mul.hs
• + testsuite/tests/codeGen/should_gen_asm/avx512-word64-minmax.asm
• + testsuite/tests/codeGen/should_gen_asm/avx512-word64-minmax.hs
• testsuite/tests/deSugar/should_fail/DsStrictFail.stderr
• testsuite/tests/deSugar/should_run/T20024.stderr
• testsuite/tests/deSugar/should_run/dsrun005.stderr
• testsuite/tests/deSugar/should_run/dsrun007.stderr
• testsuite/tests/deSugar/should_run/dsrun008.stderr
• testsuite/tests/deriving/should_run/T9576.stderr
• testsuite/tests/ghci/scripts/Defer02.stderr
• testsuite/tests/ghci/scripts/ListTuplePunsPpr.stdout
• testsuite/tests/ghci/scripts/T15325.stderr
• testsuite/tests/ghci/scripts/T4175.stdout
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• testsuite/tests/mdo/should_fail/mdofail006.stderr
• testsuite/tests/patsyn/should_run/ghci.stderr
• testsuite/tests/quotes/LiftErrMsgDefer.stderr
• testsuite/tests/safeHaskell/safeLanguage/SafeLang15.stderr
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/type-data/should_run/T22332a.stderr
• testsuite/tests/typecheck/should_run/T10284.stderr
• testsuite/tests/typecheck/should_run/T13838.stderr
• testsuite/tests/typecheck/should_run/T9497a-run.stderr
• testsuite/tests/typecheck/should_run/T9497b-run.stderr
• testsuite/tests/typecheck/should_run/T9497c-run.stderr
• testsuite/tests/unsatisfiable/T23816.stderr
• testsuite/tests/unsatisfiable/UnsatDefer.stderr
• utils/haddock/doc/.gitignore
• utils/haddock/doc/Makefile
• + utils/haddock/doc/_static/haddock-custom.css
• utils/haddock/doc/conf.py
• utils/haddock/doc/markup.rst
• + utils/haddock/doc/snippets/.gitignore
• + utils/haddock/doc/snippets/Lists.hs
• + utils/haddock/doc/snippets/Makefile
• + utils/haddock/doc/snippets/Snippet-List-Bulleted.html
• + utils/haddock/doc/snippets/Snippet-List-Bulleted.tex
• + utils/haddock/doc/snippets/Snippet-List-Definition.html
• + utils/haddock/doc/snippets/Snippet-List-Definition.tex
• + utils/haddock/doc/snippets/Snippet-List-Enumerated.html
• + utils/haddock/doc/snippets/Snippet-List-Enumerated.tex
• + utils/haddock/doc/snippets/Snippet-List-Indentation.html
• + utils/haddock/doc/snippets/Snippet-List-Indentation.tex
• + utils/haddock/doc/snippets/Snippet-List-Multiline-Item.html
• + utils/haddock/doc/snippets/Snippet-List-Multiline-Item.tex
• + utils/haddock/doc/snippets/Snippet-List-Nested-Item.html
• + utils/haddock/doc/snippets/Snippet-List-Nested-Item.tex
• + utils/haddock/doc/snippets/Snippet-List-Not-Newline.html
• + utils/haddock/doc/snippets/Snippet-List-Not-Newline.tex
• + utils/haddock/doc/snippets/Snippet-List-Not-Separated.html
• + utils/haddock/doc/snippets/Snippet-List-Not-Separated.tex
• utils/haddock/html-test/ref/A.html
• utils/haddock/html-test/ref/Bug1004.html
• utils/haddock/html-test/ref/Bug1033.html
• utils/haddock/html-test/ref/Bug1103.html
• utils/haddock/html-test/ref/Bug548.html
• utils/haddock/html-test/ref/Bug923.html
• utils/haddock/html-test/ref/ConstructorPatternExport.html
• utils/haddock/html-test/ref/FunArgs.html
• utils/haddock/html-test/ref/Hash.html
• utils/haddock/html-test/ref/Instances.html
• utils/haddock/html-test/ref/LinearTypes.html
• utils/haddock/html-test/ref/RedactTypeSynonyms.html
• utils/haddock/html-test/ref/T23616.html
• utils/haddock/html-test/ref/Test.html
• utils/haddock/html-test/ref/TypeFamilies3.html

The diff was not included because it is too large.