From 649c24b96c688f64ebbccea5837380a283f4b09a Mon Sep 17 00:00:00 2001 From: Oleg Grenrus <oleg.grenrus@iki.fi> Date: Wed, 6 Dec 2023 18:01:10 +0200 Subject: [PATCH] Expose constructors of SNat, SChar and SSymbol in ghc-internal --- libraries/ghc-internal/src/GHC/Internal/TypeLits.hs | 2 +- libraries/ghc-internal/src/GHC/Internal/TypeNats.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libraries/ghc-internal/src/GHC/Internal/TypeLits.hs b/libraries/ghc-internal/src/GHC/Internal/TypeLits.hs index 7a48ea4ac019..b249175c5649 100644 --- a/libraries/ghc-internal/src/GHC/Internal/TypeLits.hs +++ b/libraries/ghc-internal/src/GHC/Internal/TypeLits.hs @@ -49,7 +49,7 @@ module GHC.Internal.TypeLits , OrderingI(..) , N.cmpNat, cmpSymbol, cmpChar -- ** Singleton values - , N.SNat, SSymbol, SChar + , N.SNat (..), SSymbol (..), SChar (..) , pattern N.SNat, pattern SSymbol, pattern SChar , fromSNat, fromSSymbol, fromSChar , withSomeSNat, withSomeSSymbol, withSomeSChar diff --git a/libraries/ghc-internal/src/GHC/Internal/TypeNats.hs b/libraries/ghc-internal/src/GHC/Internal/TypeNats.hs index 7d7ab6cd84d1..cffe657bd9f5 100644 --- a/libraries/ghc-internal/src/GHC/Internal/TypeNats.hs +++ b/libraries/ghc-internal/src/GHC/Internal/TypeNats.hs @@ -36,7 +36,7 @@ module GHC.Internal.TypeNats , sameNat , decideNat -- ** Singleton values - , SNat + , SNat (..) , pattern SNat , fromSNat , withSomeSNat -- GitLab