Teo Camarasu pushed to branch wip/T26930 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
  

• f5208751
  by Teo Camarasu at 2026-02-19T16:19:11+00:00

  Float up generics
  

124 changed files:

• 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/Data/Bool.hs
• libraries/base/src/Data/List.hs
• libraries/base/src/Data/List/NubOrdSet.hs
• libraries/base/src/GHC/Exts.hs
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/src/GHC/Internal/ByteOrder.hs
• − libraries/ghc-internal/src/GHC/Internal/ByteOrder.hs-boot
• 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/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/Const.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Functor/Identity.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Monoid.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Semigroup/Internal.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Traversable.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/Functor/ZipList.hs
• libraries/ghc-internal/src/GHC/Internal/Generics.hs
• libraries/ghc-internal/src/GHC/Internal/IO/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/Read.hs
• libraries/ghc-internal/src/GHC/Internal/STM.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/TypeError.hs
• libraries/ghc-internal/src/GHC/Internal/Unicode/Bits.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/T10963.stderr
• testsuite/tests/ghci/scripts/T15325.stderr
• testsuite/tests/ghci/scripts/ghci064.stdout
• testsuite/tests/interface-stability/base-exports.stdout
• 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.