dependent-literals-plugin 0.1.0.0 → 0.1.0.1
raw patch · 4 files changed
+34/−12 lines, 4 filesdep +wrappeddep ~dependent-literalsdep ~fin-intdep ~sintPVP ok
version bump matches the API change (PVP)
Dependencies added: wrapped
Dependency ranges changed: dependent-literals, fin-int, sint, snumber
API changes (from Hackage documentation)
Files
- CHANGELOG.md +5/−0
- dependent-literals-plugin.cabal +16/−9
- src/DependentLiterals/Plugin.hs +1/−1
- tests/Deriving.hs +12/−2
CHANGELOG.md view
@@ -1,3 +1,8 @@ # 0.1.0.0 Initial version.++# 0.1.0.1++* Updated tests to use `Wrapped Num` rather than `StockLit`.+* Fixed an unused identifier warning when building on older GHCs.
dependent-literals-plugin.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: acdf4e8362e54c7dabc311e213378ec098339936e11995a39c08d189594f7ece+-- hash: 36ec8ae7ecaa56006786e7772271804225d27b9ef511f8a251b9b16812e4ca82 name: dependent-literals-plugin-version: 0.1.0.0+version: 0.1.0.1 synopsis: Rewrites integer literals to a pseudo-dependently-typed form. description: This plugin implements pseudo-dependently-typed integer literals. .@@ -79,13 +79,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010@@ -101,13 +102,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010@@ -139,13 +141,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 default-language: Haskell2010 test-suite PolyErrors-test@@ -159,13 +162,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010@@ -181,13 +185,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010@@ -203,13 +208,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010@@ -225,13 +231,14 @@ ghc-options: -fplugin=DependentLiterals.Plugin build-depends: base >=4.12 && <4.16- , dependent-literals >=0.1 && <0.2+ , dependent-literals >=0.1.1 && <0.2 , dependent-literals-plugin , fin-int >=0.1 && <0.2 , numeric-kinds >=0.1 && <0.2 , short-vec >=0.1 && <0.2 , sint >=0.1 && <0.2 , snumber >=0.1 && <0.2+ , wrapped >=0.1 && <0.2 if !flag(error_message_tests) buildable: False default-language: Haskell2010
src/DependentLiterals/Plugin.hs view
@@ -158,7 +158,7 @@ -- Pre-8.10 compatibility shims. #if !MIN_VERSION_ghc(8,10,0) type NoExtField = NoExt-pattern NoExtField :: NoExt+pattern NoExtField :: NoExtField pattern NoExtField = NoExt type ImportDeclQualifiedStyle = Bool
tests/Deriving.hs view
@@ -22,14 +22,15 @@ import Data.Int (Int8) import Data.SNumber (SNumber)-import DependentLiterals (HasIntLiterals, StockLit(..))+import Data.Wrapped (Wrapped(..))+import DependentLiterals (HasIntLiterals) import GHC.TypeNats (type (*)) import Kinds.Integer (Integer(..)) import Data.Fin.Int (Fin) newtype MyType = MyType Int #if !defined(__HLINT__)- deriving HasIntLiterals via StockLit Int+ deriving HasIntLiterals via Wrapped Num Int #endif x0 :: MyType@@ -70,3 +71,12 @@ x6 :: MyInt8 x6 = -7++newtype MyType5 = MyType5 Int+#if !defined(__HLINT__)+ deriving (Eq, Num)+ deriving HasIntLiterals via Wrapped Num MyType5+#endif++x7 :: MyType5+x7 = 0