June 2026 - ghc-commits

[Git][ghc/ghc][wip/davide/windows-dlls] 2 commits: use --export-all-symbols for RTS
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: dfca0289 by David Eichmann at 2026-06-29T17:38:28+01:00 use --export-all-symbols for RTS - - - - - d1188eb4 by David Eichmann at 2026-06-29T17:40:19+01:00 WIP export-all-symbols from hadrian - - - - - 12 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/include/HsBase.h - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc - libraries/ghc-internal/src/GHC/Internal/Windows.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit b3d4064052dd6cd42a59d896b193c5c645a43aa9 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/include/HsBase.h ===================================== @@ -134,7 +134,7 @@ #if defined(_WIN32) /* in Win32Utils.c */ extern void maperrno (void); -extern int maperrno_func(DWORD dwErrorCode); +__attribute__((dllexport)) extern int maperrno_func(DWORD dwErrorCode); extern HsWord64 getMonotonicUSec(void); #endif ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -387,8 +387,11 @@ foreign import ccall safe "__get_console_echo" foreign import ccall safe "__close_handle" c_close_handle :: HANDLE -> IO Bool +{-# NOINLINE c_handle_type #-} +c_handle_type :: HANDLE -> IO Int +c_handle_type = _c_handle_type foreign import ccall safe "__handle_type" - c_handle_type :: HANDLE -> IO Int + _c_handle_type :: HANDLE -> IO Int foreign import ccall safe "__set_file_pointer" c_set_file_pointer :: HANDLE -> CLong -> DWORD -> Ptr CLong -> IO BOOL @@ -990,8 +993,11 @@ handleToMode hwnd = do | hasFlag (#{const GENERIC_WRITE}) -> return WriteMode | otherwise -> error "unknown access mask in handleToMode." +{-# NOINLINE c_get_handle_access_mask #-} +c_get_handle_access_mask :: HANDLE -> IO DWORD +c_get_handle_access_mask = _c_get_handle_access_mask foreign import ccall unsafe "__get_handle_access_mask" - c_get_handle_access_mask :: HANDLE -> IO DWORD + _c_get_handle_access_mask :: HANDLE -> IO DWORD release :: RawHandle a => a -> IO () release h = if isLockable h @@ -1011,11 +1017,15 @@ foreign import ccall unsafe "unlockFile" -- | Returns -1 on error. Otherwise writes two values representing -- the file into the given ptrs. +{-# NOINLINE c_getUniqueFileInfo #-} +c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () +c_getUniqueFileInfo = _c_getUniqueFileInfo foreign import ccall unsafe "get_unique_file_info_hwnd" - c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () + _c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do ===================================== libraries/ghc-internal/src/GHC/Internal/Windows.hs ===================================== @@ -217,8 +217,11 @@ foreign import ccall unsafe "maperrno" -- in Win32Utils.c -- | Pure function variant of 'c_maperrno' that does not call @GetLastError@ -- or modify @errno@. +{-# NOINLINE c_maperrno_func #-} +c_maperrno_func :: ErrCode -> Errno +c_maperrno_func = _c_maperrno_func foreign import ccall unsafe "maperrno_func" -- in Win32Utils.c - c_maperrno_func :: ErrCode -> Errno + _c_maperrno_func :: ErrCode -> Errno foreign import ccall unsafe "base_getErrorMessage" -- in Win32Utils.c c_getErrorMessage :: DWORD -> IO LPWSTR View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/352a6a489bbc611c6c5fb37dfcb9ee… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/352a6a489bbc611c6c5fb37dfcb9ee… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 352a6a48 by David Eichmann at 2026-06-29T17:36:02+01:00 WIP export-all-symbols from hadrian - - - - - 12 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/include/HsBase.h - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc - libraries/ghc-internal/src/GHC/Internal/Windows.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit b3d4064052dd6cd42a59d896b193c5c645a43aa9 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/include/HsBase.h ===================================== @@ -134,7 +134,7 @@ #if defined(_WIN32) /* in Win32Utils.c */ extern void maperrno (void); -extern int maperrno_func(DWORD dwErrorCode); +__attribute__((dllexport)) extern int maperrno_func(DWORD dwErrorCode); extern HsWord64 getMonotonicUSec(void); #endif ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -387,8 +387,11 @@ foreign import ccall safe "__get_console_echo" foreign import ccall safe "__close_handle" c_close_handle :: HANDLE -> IO Bool +{-# NOINLINE c_handle_type #-} +c_handle_type :: HANDLE -> IO Int +c_handle_type = _c_handle_type foreign import ccall safe "__handle_type" - c_handle_type :: HANDLE -> IO Int + _c_handle_type :: HANDLE -> IO Int foreign import ccall safe "__set_file_pointer" c_set_file_pointer :: HANDLE -> CLong -> DWORD -> Ptr CLong -> IO BOOL @@ -990,8 +993,11 @@ handleToMode hwnd = do | hasFlag (#{const GENERIC_WRITE}) -> return WriteMode | otherwise -> error "unknown access mask in handleToMode." +{-# NOINLINE c_get_handle_access_mask #-} +c_get_handle_access_mask :: HANDLE -> IO DWORD +c_get_handle_access_mask = _c_get_handle_access_mask foreign import ccall unsafe "__get_handle_access_mask" - c_get_handle_access_mask :: HANDLE -> IO DWORD + _c_get_handle_access_mask :: HANDLE -> IO DWORD release :: RawHandle a => a -> IO () release h = if isLockable h @@ -1011,11 +1017,15 @@ foreign import ccall unsafe "unlockFile" -- | Returns -1 on error. Otherwise writes two values representing -- the file into the given ptrs. +{-# NOINLINE c_getUniqueFileInfo #-} +c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () +c_getUniqueFileInfo = _c_getUniqueFileInfo foreign import ccall unsafe "get_unique_file_info_hwnd" - c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () + _c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do ===================================== libraries/ghc-internal/src/GHC/Internal/Windows.hs ===================================== @@ -217,8 +217,11 @@ foreign import ccall unsafe "maperrno" -- in Win32Utils.c -- | Pure function variant of 'c_maperrno' that does not call @GetLastError@ -- or modify @errno@. +{-# NOINLINE c_maperrno_func #-} +c_maperrno_func :: ErrCode -> Errno +c_maperrno_func = _c_maperrno_func foreign import ccall unsafe "maperrno_func" -- in Win32Utils.c - c_maperrno_func :: ErrCode -> Errno + _c_maperrno_func :: ErrCode -> Errno foreign import ccall unsafe "base_getErrorMessage" -- in Win32Utils.c c_getErrorMessage :: DWORD -> IO LPWSTR View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/352a6a489bbc611c6c5fb37dfcb9ee9… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/352a6a489bbc611c6c5fb37dfcb9ee9… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: d850a7c3 by David Eichmann at 2026-06-29T17:33:55+01:00 WIP export-all-symbols from hadrian - - - - - 12 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/Win32Utils.c - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc - libraries/ghc-internal/src/GHC/Internal/Windows.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit b3d4064052dd6cd42a59d896b193c5c645a43aa9 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/Win32Utils.c ===================================== @@ -98,6 +98,7 @@ void maperrno(void) errno = maperrno_func(GetLastError()); } +__attribute__((dllexport)) int maperrno_func(DWORD dwErrorCode) { int i; ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -387,8 +387,11 @@ foreign import ccall safe "__get_console_echo" foreign import ccall safe "__close_handle" c_close_handle :: HANDLE -> IO Bool +{-# NOINLINE c_handle_type #-} +c_handle_type :: HANDLE -> IO Int +c_handle_type = _c_handle_type foreign import ccall safe "__handle_type" - c_handle_type :: HANDLE -> IO Int + _c_handle_type :: HANDLE -> IO Int foreign import ccall safe "__set_file_pointer" c_set_file_pointer :: HANDLE -> CLong -> DWORD -> Ptr CLong -> IO BOOL @@ -990,8 +993,11 @@ handleToMode hwnd = do | hasFlag (#{const GENERIC_WRITE}) -> return WriteMode | otherwise -> error "unknown access mask in handleToMode." +{-# NOINLINE c_get_handle_access_mask #-} +c_get_handle_access_mask :: HANDLE -> IO DWORD +c_get_handle_access_mask = _c_get_handle_access_mask foreign import ccall unsafe "__get_handle_access_mask" - c_get_handle_access_mask :: HANDLE -> IO DWORD + _c_get_handle_access_mask :: HANDLE -> IO DWORD release :: RawHandle a => a -> IO () release h = if isLockable h @@ -1011,11 +1017,15 @@ foreign import ccall unsafe "unlockFile" -- | Returns -1 on error. Otherwise writes two values representing -- the file into the given ptrs. +{-# NOINLINE c_getUniqueFileInfo #-} +c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () +c_getUniqueFileInfo = _c_getUniqueFileInfo foreign import ccall unsafe "get_unique_file_info_hwnd" - c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () + _c_getUniqueFileInfo :: HANDLE -> Ptr Word64 -> Ptr Word64 -> IO () -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do ===================================== libraries/ghc-internal/src/GHC/Internal/Windows.hs ===================================== @@ -217,8 +217,11 @@ foreign import ccall unsafe "maperrno" -- in Win32Utils.c -- | Pure function variant of 'c_maperrno' that does not call @GetLastError@ -- or modify @errno@. +{-# NOINLINE c_maperrno_func #-} +c_maperrno_func :: ErrCode -> Errno +c_maperrno_func = _c_maperrno_func foreign import ccall unsafe "maperrno_func" -- in Win32Utils.c - c_maperrno_func :: ErrCode -> Errno + _c_maperrno_func :: ErrCode -> Errno foreign import ccall unsafe "base_getErrorMessage" -- in Win32Utils.c c_getErrorMessage :: DWORD -> IO LPWSTR View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d850a7c305ccdb213357adf5f6ebb12… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d850a7c305ccdb213357adf5f6ebb12… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 15a8544a by David Eichmann at 2026-06-29T17:20:15+01:00 WIP export-all-symbols from hadrian - - - - - 11 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc - libraries/ghc-internal/src/GHC/Internal/Windows.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit b3d4064052dd6cd42a59d896b193c5c645a43aa9 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -387,8 +387,11 @@ foreign import ccall safe "__get_console_echo" foreign import ccall safe "__close_handle" c_close_handle :: HANDLE -> IO Bool +{-# NOINLINE c_handle_type #-} +c_handle_type :: HANDLE -> IO Int +c_handle_type = _c_handle_type foreign import ccall safe "__handle_type" - c_handle_type :: HANDLE -> IO Int + _c_handle_type :: HANDLE -> IO Int foreign import ccall safe "__set_file_pointer" c_set_file_pointer :: HANDLE -> CLong -> DWORD -> Ptr CLong -> IO BOOL @@ -990,8 +993,11 @@ handleToMode hwnd = do | hasFlag (#{const GENERIC_WRITE}) -> return WriteMode | otherwise -> error "unknown access mask in handleToMode." +{-# NOINLINE c_get_handle_access_mask #-} +c_get_handle_access_mask :: HANDLE -> IO DWORD +c_get_handle_access_mask = _c_get_handle_access_mask foreign import ccall unsafe "__get_handle_access_mask" - c_get_handle_access_mask :: HANDLE -> IO DWORD + _c_get_handle_access_mask :: HANDLE -> IO DWORD release :: RawHandle a => a -> IO () release h = if isLockable h @@ -1016,6 +1022,7 @@ foreign import ccall unsafe "get_unique_file_info_hwnd" -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do ===================================== libraries/ghc-internal/src/GHC/Internal/Windows.hs ===================================== @@ -217,8 +217,11 @@ foreign import ccall unsafe "maperrno" -- in Win32Utils.c -- | Pure function variant of 'c_maperrno' that does not call @GetLastError@ -- or modify @errno@. +{-# NOINLINE c_maperrno_func #-} +c_maperrno_func :: ErrCode -> Errno +c_maperrno_func = _c_maperrno_func foreign import ccall unsafe "maperrno_func" -- in Win32Utils.c - c_maperrno_func :: ErrCode -> Errno + _c_maperrno_func :: ErrCode -> Errno foreign import ccall unsafe "base_getErrorMessage" -- in Win32Utils.c c_getErrorMessage :: DWORD -> IO LPWSTR View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/15a8544a942beffb2adc7fe4864853f… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/15a8544a942beffb2adc7fe4864853f… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 5371208f by David Eichmann at 2026-06-29T17:16:43+01:00 WIP export-all-symbols from hadrian - - - - - 11 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc - libraries/ghc-internal/src/GHC/Internal/Windows.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit b3d4064052dd6cd42a59d896b193c5c645a43aa9 ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -387,8 +387,11 @@ foreign import ccall safe "__get_console_echo" foreign import ccall safe "__close_handle" c_close_handle :: HANDLE -> IO Bool +{-# NOINLINE c_handle_type #-} +c_handle_type :: HANDLE -> IO Int +c_handle_type = _c_handle_type foreign import ccall safe "__handle_type" - c_handle_type :: HANDLE -> IO Int + _c_handle_type :: HANDLE -> IO Int foreign import ccall safe "__set_file_pointer" c_set_file_pointer :: HANDLE -> CLong -> DWORD -> Ptr CLong -> IO BOOL @@ -990,8 +993,11 @@ handleToMode hwnd = do | hasFlag (#{const GENERIC_WRITE}) -> return WriteMode | otherwise -> error "unknown access mask in handleToMode." +{-# NOINLINE c_get_handle_access_mask #-} +c_get_handle_access_mask :: HANDLE -> IO DWORD +c_get_handle_access_mask = _c_get_handle_access_mask foreign import ccall unsafe "__get_handle_access_mask" - c_get_handle_access_mask :: HANDLE -> IO DWORD + _c_get_handle_access_mask :: HANDLE -> IO DWORD release :: RawHandle a => a -> IO () release h = if isLockable h @@ -1016,6 +1022,7 @@ foreign import ccall unsafe "get_unique_file_info_hwnd" -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do ===================================== libraries/ghc-internal/src/GHC/Internal/Windows.hs ===================================== @@ -217,8 +217,11 @@ foreign import ccall unsafe "maperrno" -- in Win32Utils.c -- | Pure function variant of 'c_maperrno' that does not call @GetLastError@ -- or modify @errno@. +{-# NOINLINE c_maperrno_func #-} +c_maperrno_func :: ErrCode -> IO Errno +c_maperrno_func = _c_maperrno_func foreign import ccall unsafe "maperrno_func" -- in Win32Utils.c - c_maperrno_func :: ErrCode -> Errno + _c_maperrno_func :: ErrCode -> Errno foreign import ccall unsafe "base_getErrorMessage" -- in Win32Utils.c c_getErrorMessage :: DWORD -> IO LPWSTR View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5371208f0ca1fd9a240c290543989b7… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5371208f0ca1fd9a240c290543989b7… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 26b2d034 by David Eichmann at 2026-06-29T17:12:52+01:00 WIP export-all-symbols from hadrian - - - - - 10 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs - libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit 174dd3223e26137e1d398c445734fd4ea3a1d1dc ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ ===================================== libraries/ghc-internal/src/GHC/Internal/IO/Windows/Handle.hsc ===================================== @@ -1016,6 +1016,7 @@ foreign import ccall unsafe "get_unique_file_info_hwnd" -- | getUniqueFileInfo assumes the C call to getUniqueFileInfo -- succeeds. +{-# NOINLINE getUniqueFileInfo #-} getUniqueFileInfo :: RawHandle a => a -> IO (Word64, Word64) getUniqueFileInfo handle = do with 0 $ \devptr -> do View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/26b2d034dc99ff684c3c9003e3426d7… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/26b2d034dc99ff684c3c9003e3426d7… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: 4650cce3 by David Eichmann at 2026-06-29T17:03:23+01:00 WIP export-all-symbols from hadrian - - - - - 9 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit 174dd3223e26137e1d398c445734fd4ea3a1d1dc ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit 48cab2a9247f1a21cdfd1cb64c41f6911c23e395 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4650cce3fa8aaa959ea97830792da1a… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4650cce3fa8aaa959ea97830792da1a… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 30 Jun '26

30 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: bc9920f8 by David Eichmann at 2026-06-29T16:59:50+01:00 WIP export-all-symbols from hadrian - - - - - 9 changed files: - hadrian/src/Settings/Packages.hs - libraries/Win32 - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/Win32 ===================================== @@ -1 +1 @@ -Subproject commit 7d0772bb265a6c59eb14c441cf65c778895528df +Subproject commit 174dd3223e26137e1d398c445734fd4ea3a1d1dc ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit a7b567d017d21134350894e69ecfa157e36f6ec0 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bc9920f881987f035c0b5270c59859b… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bc9920f881987f035c0b5270c59859b… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/davide/windows-dlls] WIP export-all-symbols from hadrian
by David Eichmann (＠DavidEichmann) 29 Jun '26

29 Jun '26

David Eichmann pushed to branch wip/davide/windows-dlls at Glasgow Haskell Compiler / GHC Commits: d6a31c4e by David Eichmann at 2026-06-29T16:53:17+01:00 WIP export-all-symbols from hadrian - - - - - 8 changed files: - hadrian/src/Settings/Packages.hs - libraries/base/src/Control/Concurrent.hs - libraries/bytestring - libraries/ghc-internal/cbits/inputReady.c - libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs - libraries/ghc-internal/src/GHC/Internal/Float.hs - libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs - libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs Changes: ===================================== hadrian/src/Settings/Packages.hs ===================================== @@ -322,6 +322,7 @@ rtsPackageArgs = package rts ? do , Threaded `wayUnit` way ? arg "-DTHREADED_RTS" , notM targetSupportsSMP ? arg "-optc-DNOSMP" , isWinHost ? arg "-optl-Wl,--disable-runtime-pseudo-reloc" + <> arg "-optl-Wl,--export-all-symbols" -- See Note [AutoApply.cmm for vectors] in genapply/Main.hs -- ===================================== libraries/base/src/Control/Concurrent.hs ===================================== @@ -132,6 +132,12 @@ import Control.Concurrent.Chan import Control.Concurrent.QSem import Control.Concurrent.QSemN + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE waitFd #-} + + {- $conc_intro The concurrency extension for Haskell is described in the paper ===================================== libraries/bytestring ===================================== @@ -1 +1 @@ -Subproject commit d984ad00644c0157bad04900434b9d36f23633c5 +Subproject commit a7b567d017d21134350894e69ecfa157e36f6ec0 ===================================== libraries/ghc-internal/cbits/inputReady.c ===================================== @@ -150,6 +150,7 @@ compute_WaitForSingleObject_timeout(bool infinite, Time remaining) * 1 => Input ready, 0 => not ready, -1 => error * On error, sets `errno`. */ +__attribute__((dllexport)) int fdReady(int fd, bool write, int64_t msecs, bool isSock) { ===================================== libraries/ghc-internal/src/GHC/Internal/Bignum/Backend/GMP.hs ===================================== @@ -622,8 +622,11 @@ foreign import ccall unsafe "integer_gmp_mpn_xor_n" -> IO () -- mp_bitcnt_t mpn_popcount (const mp_limb_t *s1p, mp_size_t n) +{-# NOINLINE c_mpn_popcount #-} +c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# +c_mpn_popcount a b = _c_mpn_popcount a b foreign import ccall unsafe "gmp.h __gmpn_popcount" - c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# + _c_mpn_popcount :: ByteArray# -> GmpSize# -> Word# -- double integer_gmp_mpn_get_d (const mp_limb_t sp[], const mp_size_t sn) foreign import ccall unsafe "integer_gmp_mpn_get_d" ===================================== libraries/ghc-internal/src/GHC/Internal/Float.hs ===================================== @@ -1632,17 +1632,47 @@ atanhDouble (D# x) = D# (atanhDouble# x) powerDouble :: Double -> Double -> Double powerDouble (D# x) (D# y) = D# (x **## y) -foreign import ccall unsafe "isFloatNaN" isFloatNaN :: Float -> Int -foreign import ccall unsafe "isFloatInfinite" isFloatInfinite :: Float -> Int -foreign import ccall unsafe "isFloatDenormalized" isFloatDenormalized :: Float -> Int -foreign import ccall unsafe "isFloatNegativeZero" isFloatNegativeZero :: Float -> Int -foreign import ccall unsafe "isFloatFinite" isFloatFinite :: Float -> Int - -foreign import ccall unsafe "isDoubleNaN" isDoubleNaN :: Double -> Int -foreign import ccall unsafe "isDoubleInfinite" isDoubleInfinite :: Double -> Int -foreign import ccall unsafe "isDoubleDenormalized" isDoubleDenormalized :: Double -> Int -foreign import ccall unsafe "isDoubleNegativeZero" isDoubleNegativeZero :: Double -> Int -foreign import ccall unsafe "isDoubleFinite" isDoubleFinite :: Double -> Int +{-# NOINLINE isFloatInfinite #-} +isFloatInfinite :: Float -> Int +isFloatInfinite x = cIsFloatInfinite x +foreign import ccall unsafe "isFloatInfinite" cIsFloatInfinite :: Float -> Int +{-# NOINLINE isFloatNaN #-} +isFloatNaN :: Float -> Int +isFloatNaN = _isFloatNaN +foreign import ccall unsafe "isFloatNaN" _isFloatNaN :: Float -> Int +{-# NOINLINE isFloatDenormalized #-} +isFloatDenormalized :: Float -> Int +isFloatDenormalized = _isFloatDenormalized +foreign import ccall unsafe "isFloatDenormalized" _isFloatDenormalized :: Float -> Int +{-# NOINLINE isFloatNegativeZero #-} +isFloatNegativeZero :: Float -> Int +isFloatNegativeZero = _isFloatNegativeZero +foreign import ccall unsafe "isFloatNegativeZero" _isFloatNegativeZero :: Float -> Int +{-# NOINLINE isFloatFinite #-} +isFloatFinite :: Float -> Int +isFloatFinite = _isFloatFinite +foreign import ccall unsafe "isFloatFinite" _isFloatFinite :: Float -> Int + +{-# NOINLINE isDoubleInfinite #-} +isDoubleInfinite :: Double -> Int +isDoubleInfinite x = cIsDoubleInfinite x +foreign import ccall unsafe "isDoubleInfinite" cIsDoubleInfinite :: Double -> Int +{-# NOINLINE isDoubleNaN #-} +isDoubleNaN :: Double -> Int +isDoubleNaN = _isDoubleNaN +foreign import ccall unsafe "isDoubleNaN" _isDoubleNaN :: Double -> Int +{-# NOINLINE isDoubleDenormalized #-} +isDoubleDenormalized :: Double -> Int +isDoubleDenormalized = _isDoubleDenormalized +foreign import ccall unsafe "isDoubleDenormalized" _isDoubleDenormalized :: Double -> Int +{-# NOINLINE isDoubleNegativeZero #-} +isDoubleNegativeZero :: Double -> Int +isDoubleNegativeZero = _isDoubleNegativeZero +foreign import ccall unsafe "isDoubleNegativeZero" _isDoubleNegativeZero :: Double -> Int +{-# NOINLINE isDoubleFinite #-} +isDoubleFinite :: Double -> Int +isDoubleFinite = _isDoubleFinite +foreign import ccall unsafe "isDoubleFinite" _isDoubleFinite :: Double -> Int ------------------------------------------------------------------------ -- Coercion rules ===================================== libraries/ghc-internal/src/GHC/Internal/Float/RealFracMethods.hs ===================================== @@ -357,5 +357,8 @@ float2Integer (F# x) = foreign import ccall unsafe "rintDouble" c_rintDouble :: Double -> Double +{-# NOINLINE c_rintFloat #-} +c_rintFloat :: Float -> Float +c_rintFloat = _c_rintFloat foreign import ccall unsafe "rintFloat" - c_rintFloat :: Float -> Float + _c_rintFloat :: Float -> Float ===================================== libraries/ghc-internal/src/GHC/Internal/Foreign/C/Error.hs ===================================== @@ -109,6 +109,14 @@ import GHC.Internal.Num import GHC.Internal.Base ( String, otherwise, return, ($) ) import GHC.Internal.Types ( Bool(..) ) + + +-- Needed for windows dynamic builds +-- TODO we may need to disable inlining of ccalls by default +{-# NOINLINE getErrno #-} + + + -- "errno" type -- ------------ View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d6a31c4e6775b22ca15b797eb96f713… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d6a31c4e6775b22ca15b797eb96f713… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][master] EPA: Remove LocatedC / SrcSpanAnnC
by Marge Bot (＠marge-bot) 29 Jun '26

29 Jun '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 2d0fd154 by Alan Zimmerman at 2026-06-29T11:44:00-04:00 EPA: Remove LocatedC / SrcSpanAnnC This is part of a cleanup of the zoo of SrcSpanAnnXXX types for exact print annotations. This one removes SrcSpanAnnC used for storing exact print annotations for contexts. It replaces it with an explicit `HsContext` data type that carries the annotations and the context. So, replace type HsContext pass = [LHsType pass] with type HsContext pass = HsContextDetails pass (LHsType pass) data HsContextDetails pass arg = HsContext { hsc_ext :: !(XHsContext pass) , hsc_ctxt :: [arg] } | XHsContextDetails !(XXHsContextDetails pass) We need the parameterised HsContextDetails because it is used both for HsQual carrying 'LHsExpr p' and "normal" contexts carrying 'LHsType p'. - - - - - 36 changed files: - compiler/GHC/Hs/Decls.hs - compiler/GHC/Hs/Dump.hs - compiler/GHC/Hs/Expr.hs - compiler/GHC/Hs/Instances.hs - compiler/GHC/Hs/Type.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/Iface/Ext/Ast.hs - compiler/GHC/Parser.y - compiler/GHC/Parser/Annotation.hs - compiler/GHC/Parser/PostProcess.hs - compiler/GHC/Parser/PostProcess/Haddock.hs - compiler/GHC/Rename/Expr.hs - compiler/GHC/Rename/HsType.hs - compiler/GHC/Rename/Module.hs - compiler/GHC/Rename/Pat.hs - compiler/GHC/Tc/Deriv.hs - compiler/GHC/Tc/Gen/App.hs - compiler/GHC/Tc/Gen/HsType.hs - compiler/GHC/Tc/Gen/Sig.hs - compiler/GHC/Tc/TyCl.hs - compiler/GHC/ThToHs.hs - compiler/Language/Haskell/Syntax/Expr.hs - compiler/Language/Haskell/Syntax/Type.hs - testsuite/tests/ghc-api/T25121_status.stdout - testsuite/tests/parser/should_compile/DumpSemis.stderr - testsuite/tests/parser/should_compile/T15323.stderr - testsuite/tests/printer/Test24533.stdout - utils/check-exact/ExactPrint.hs - utils/haddock/haddock-api/src/Haddock/Backends/LaTeX.hs - utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs - utils/haddock/haddock-api/src/Haddock/Convert.hs - utils/haddock/haddock-api/src/Haddock/GhcUtils.hs - utils/haddock/haddock-api/src/Haddock/Interface/Create.hs - utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs - utils/haddock/haddock-api/src/Haddock/Interface/RenameType.hs - utils/haddock/haddock-api/src/Haddock/Types.hs The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2d0fd154fc10fe00974ea2a1f0b508c… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2d0fd154fc10fe00974ea2a1f0b508c… You're receiving this email because of your account on gitlab.haskell.org.

1 0