diff options
author | Austin Seipp <austin@well-typed.com> | 2014-12-05 14:52:29 -0600 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2014-12-05 18:36:20 -0600 |
commit | 7cd6806635d24694446748f59c97b14b0c47ba89 (patch) | |
tree | 58d0f0b1f0260440119b22277c3275c279275a2a /libraries/base/GHC/TypeLits.hs | |
parent | 3ebe304f25ba492403af5cc72500fe0b23a8c3a0 (diff) | |
download | haskell-7cd6806635d24694446748f59c97b14b0c47ba89.tar.gz |
Add -fwarn-unticked-promoted-constructors to -Wall
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'libraries/base/GHC/TypeLits.hs')
-rw-r--r-- | libraries/base/GHC/TypeLits.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 8c74481de7..4dde7a3c28 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -147,13 +147,13 @@ instance Read SomeSymbol where readsPrec p xs = [ (someSymbolVal a, ys) | (a,ys) <- readsPrec p xs ] type family EqNat (a :: Nat) (b :: Nat) where - EqNat a a = True - EqNat a b = False + EqNat a a = 'True + EqNat a b = 'False type instance a == b = EqNat a b type family EqSymbol (a :: Symbol) (b :: Symbol) where - EqSymbol a a = True - EqSymbol a b = False + EqSymbol a a = 'True + EqSymbol a b = 'False type instance a == b = EqSymbol a b -------------------------------------------------------------------------------- @@ -164,7 +164,7 @@ infixl 7 * infixr 8 ^ -- | Comparison of type-level naturals, as a constraint. -type x <= y = (x <=? y) ~ True +type x <= y = (x <=? y) ~ 'True -- | Comparison of type-level symbols, as a function. -- |