symbols 0.2.0.0 → 0.2.0.1
raw patch · 2 files changed
+7/−2 lines, 2 files
Files
- src/Data/Symbol/Ascii.hs +6/−1
- symbols.cabal +1/−1
src/Data/Symbol/Ascii.hs view
@@ -4,7 +4,12 @@ {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-}+{-# LANGUAGE CPP #-} +#if __GLASGOW_HASKELL__ >= 806+{-# LANGUAGE NoStarIsType #-}+#endif+ module Data.Symbol.Ascii ( Head@@ -133,7 +138,7 @@ type family ReadNat1 (sym :: [Symbol]) (n :: Nat) :: Nat where ReadNat1 '[] acc = acc- ReadNat1 (x ': xs) acc = ReadNat1 xs (acc * 10 + ReadDigit x)+ ReadNat1 (x ': xs) acc = ReadNat1 xs (10 * acc + ReadDigit x) type family ReadDigit (sym :: Symbol) :: Nat where ReadDigit "0" = 0
symbols.cabal view
@@ -1,5 +1,5 @@ name: symbols-version: 0.2.0.0+version: 0.2.0.1 synopsis: Symbol manipulation description: Utilities for manipulating type-level strings natively. license: BSD3