GHC 9.4.6 Compiler for Haskell Now Available

A new release of GHC 9.4.6 (Glasgow Haskell Compiler) has been presented, a compiler for the functional programming language Haskell, which provides effective dispute of calculations and supports Program Transactional Memory (STM, Software Transactional Memory). The compiler fully supports the Haskell 2010 specification and numerous linguistic extensions. It supports generating executable files with machine code, forming bytecode, or broadcasting into the source texts in the SI language. The project code is written in Haskell and is applied to the business of BSD.

The main changes in this release are as follows:

  • Correction of errors for simplifying expressions, correcting emergency completions of the compiler, cycles, and improper code generation.
  • Correction of type verification errors, including Newtype specimens, improving the work of comparing types, and handling errors on default by variables with polymorphic types.
  • Corresponding code optimizations, particularly for the Aarch64 architecture, including an increase in the number of memory barriers for extension operations.
  • Correction of assembly errors for Windows, improving the reliability of the IO manager, and fixing errors for the RTS-Linchik under Windows.
  • Correction of errors for the correct accounting of the allocation of mutants and the non-interrupting garbage collector.
  • Prevention of some segmentation errors associated with fixed discharge.
  • Correction of errors for an interpreter of bytecode, which allows for the interpretation of a greater subset of the language.
/Reports, release notes, official announcements.