Rodrigo Mesquita pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC Commits: 1e9e04cf by Rodrigo Mesquita at 2026-05-19T10:55:10+01:00 submodules, and TypeNats/TypeLits ARE known-key names - - - - - 4 changed files: - libraries/binary - libraries/ghc-internal/src/GHC/Internal/TypeLits.hs - libraries/ghc-internal/src/GHC/Internal/TypeNats.hs - libraries/text Changes: ===================================== libraries/binary ===================================== @@ -1 +1 @@ -Subproject commit a625eee2eb9dfb4019c051b59d6007c9dded88aa +Subproject commit a445e5323d8db12f79dcf7328227681c12af4362 ===================================== libraries/ghc-internal/src/GHC/Internal/TypeLits.hs ===================================== @@ -17,6 +17,7 @@ {-# LANGUAGE ViewPatterns #-} {-# LANGUAGE RoleAnnotations #-} {-# LANGUAGE QuantifiedConstraints #-} +{-# OPTIONS_GHC -fdefines-known-key-names #-} {-| GHC's @DataKinds@ language extension lifts data constructors, natural ===================================== libraries/ghc-internal/src/GHC/Internal/TypeNats.hs ===================================== @@ -18,6 +18,7 @@ {-# LANGUAGE ViewPatterns #-} {-# LANGUAGE RoleAnnotations #-} {-# LANGUAGE QuantifiedConstraints #-} +{-# OPTIONS_GHC -fdefines-known-key-names #-} {-| This module is an internal GHC module. It declares the constants used in the implementation of type-level natural numbers. The programmer interface ===================================== libraries/text ===================================== @@ -1 +1 @@ -Subproject commit 423fd981e576bd17a8b5fa48d0ad6b9a0c370e77 +Subproject commit f77f28ce19bdcb7e5de1f9a23fc3f13ffc4bb9b1 View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1e9e04cfd7b3f67c9b0e06797bdd4800... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1e9e04cfd7b3f67c9b0e06797bdd4800... You're receiving this email because of your account on gitlab.haskell.org.