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
4 changed files:
- libraries/binary
- libraries/ghc-internal/src/GHC/Internal/TypeLits.hs
- libraries/ghc-internal/src/GHC/Internal/TypeNats.hs
- libraries/text
Changes:
| 1 | -Subproject commit a625eee2eb9dfb4019c051b59d6007c9dded88aa |
|
| 1 | +Subproject commit a445e5323d8db12f79dcf7328227681c12af4362 |
| ... | ... | @@ -17,6 +17,7 @@ |
| 17 | 17 | {-# LANGUAGE ViewPatterns #-}
|
| 18 | 18 | {-# LANGUAGE RoleAnnotations #-}
|
| 19 | 19 | {-# LANGUAGE QuantifiedConstraints #-}
|
| 20 | +{-# OPTIONS_GHC -fdefines-known-key-names #-}
|
|
| 20 | 21 | |
| 21 | 22 | {-|
|
| 22 | 23 | GHC's @DataKinds@ language extension lifts data constructors, natural
|
| ... | ... | @@ -18,6 +18,7 @@ |
| 18 | 18 | {-# LANGUAGE ViewPatterns #-}
|
| 19 | 19 | {-# LANGUAGE RoleAnnotations #-}
|
| 20 | 20 | {-# LANGUAGE QuantifiedConstraints #-}
|
| 21 | +{-# OPTIONS_GHC -fdefines-known-key-names #-}
|
|
| 21 | 22 | |
| 22 | 23 | {-| This module is an internal GHC module. It declares the constants used
|
| 23 | 24 | in the implementation of type-level natural numbers. The programmer interface
|
| 1 | -Subproject commit 423fd981e576bd17a8b5fa48d0ad6b9a0c370e77 |
|
| 1 | +Subproject commit f77f28ce19bdcb7e5de1f9a23fc3f13ffc4bb9b1 |