derive-has-field 0.1.2.0 → 0.1.2.1

raw patch · 3 files changed

+125/−7 lines, 3 filesdep +th-test-utilsdep ~hspecdep ~template-haskelldep ~th-abstractionPVP ok

version bump matches the API change (PVP)

Dependencies added: th-test-utils

Dependency ranges changed: hspec, template-haskell, th-abstraction

API changes (from Hackage documentation)

Files

• derive-has-field.cabal +10/−7
• test/DeriveHasFieldCompilerErrorsSpec.hs +104/−0
• test/Import/Types.hs +11/−0

@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.35.2.+-- This file has been generated from package.yaml by hpack version 0.38.2. -- -- see: https://github.com/sol/hpack  name:           derive-has-field-version:        0.1.2.0+version:        0.1.2.1 synopsis:       Derive HasField instances with Template Haskell description:    A Template Haskell function to derive HasField instances to utilize OverloadedRecordDot more effectively. category:       Template Haskell@@ -40,16 +40,18 @@       TypeApplications   build-depends:       base >=4.7 && <5-    , template-haskell >=2.5 && <2.20-    , th-abstraction >0.4 && <0.7+    , template-haskell >=2.5 && <2.24+    , th-abstraction >0.4 && <0.8   default-language: Haskell2010  test-suite derive-has-field-test   type: exitcode-stdio-1.0   main-is: Spec.hs   other-modules:+      DeriveHasFieldCompilerErrorsSpec       DeriveHasFieldSpec       Import+      Import.Types       Paths_derive_has_field   hs-source-dirs:       test@@ -63,7 +65,8 @@   build-depends:       base >=4.7 && <5     , derive-has-field-    , hspec >=2.10.10 && <2.11-    , template-haskell >=2.5 && <2.20-    , th-abstraction >0.4 && <0.7+    , hspec >=2.10.10 && <2.12+    , template-haskell >=2.5 && <2.24+    , th-abstraction >0.4 && <0.8+    , th-test-utils ==1.2.*   default-language: Haskell2010

@@ -0,0 +1,104 @@+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TemplateHaskell #-}++module DeriveHasFieldCompilerErrorsSpec (spec) where++import DeriveHasField qualified+import Import.Types+import Language.Haskell.TH (Dec)+import Language.Haskell.TH.TestUtils+import Test.Hspec++spec :: Spec+spec = do+  describe "deriveHasFieldWithPrefix" $ do+    it "must modify fields when a prefix is requested" $ do+      result :: Either String [Dec] <-+        $( do+            let state =+                  QState+                    { mode = MockQ+                    , knownNames = [("F", ''F)]+                    , reifyInfo = $(loadNames [''F])+                    }+            let result =+                  tryTestQ+                    state+                    (DeriveHasField.deriveHasFieldWithPrefix "world" ''F)+            [|pure result|]+         )+      result+        `shouldBe` Left "deriveHasField: the given prefix `world` doesn't match the data constructor names"++  describe "deriveHasField" $ do+    it "must be a record with fields" $ do+      result :: Either String [Dec] <-+        $( do+            let state =+                  QState+                    { mode = MockQ+                    , knownNames = [("C", ''C)]+                    , reifyInfo = $(loadNames [''C])+                    }+            let result =+                  tryTestQ+                    state+                    (DeriveHasField.deriveHasField ''C)+            [|pure result|]+         )+      result+        `shouldBe` Left "deriveHasField: only supports data constructors with field names"++    it "should not be a sum of products" $ do+      result :: Either String [Dec] <-+        $( do+            let state =+                  QState+                    { mode = MockQ+                    , knownNames = [("D", ''D)]+                    , reifyInfo = $(loadNames [''D])+                    }+            let result =+                  tryTestQ+                    state+                    (DeriveHasField.deriveHasField ''D)+            [|pure result|]+         )+      result+        `shouldBe` Left "deriveHasField: only supports product types with a single data constructor"++    it "must share the same string representation when using deriveHasField" $ do+      result :: Either String [Dec] <-+        $( do+            let state =+                  QState+                    { mode = MockQ+                    , knownNames = [("A", ''A)]+                    , reifyInfo = $(loadNames [''A])+                    }+            let result =+                  tryTestQ+                    state+                    (DeriveHasField.deriveHasField ''A)+            [|pure result|]+         )+      result+        `shouldBe` Left "deriveHasField: type and data constructor must have the same string representation"++    it "must match record field prefix when using deriveHasField" $ do+      result :: Either String [Dec] <-+        $( do+            let state =+                  QState+                    { mode = MockQ+                    , knownNames = [("X", ''X)]+                    , reifyInfo = $(loadNames [''X])+                    }+            let result =+                  tryTestQ+                    state+                    (DeriveHasField.deriveHasField ''X)+            [|pure result|]+         )+      result+        `shouldBe` Left "deriveHasField: the assumed prefix `x` doesn't match the data constructor names"

@@ -0,0 +1,11 @@+module Import.Types where++newtype X = X {yHello :: String}++newtype A = B {b :: String}++newtype C = C String++data D = D {d :: String} | E {e :: String}++newtype F = F {fHello :: String}