test for generically

lib/Data/RBR/Internal.hs

@@ -1356,8 +1356,8 @@ class ToRecord (r :: Type) where
 
 instance (
     G.Generic r,
-    ToRecordHelper E (G.Rep r),
-    RecordCode r ~ RecordCode' E (G.Rep r)) =>
+    ToRecordHelper E (G.Rep r)
+    ) =>
     ToRecord (Generically (r :: Type)) where
     type RecordCode (Generically (r :: Type)) = RecordCode' E (G.Rep r)
     toRecord (Generically r) = toRecord' unit (G.from r)

red-black-record.cabal

@@ -76,3 +76,15 @@ test-suite tests
                        red-black-record,
                        red-black-record:demoted
   default-language:    Haskell2010
+
+test-suite tests-generically
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      tests
+  main-is:             tests-generically.hs
+  build-depends:
+                       base                 >= 4.10.0.0 && < 5,
+                       sop-core             >= 0.4.0.0 && < 0.6,
+                       tasty                >= 0.10.1.1,
+                       tasty-hunit          >= 0.9.2,
+                       red-black-record,
+  default-language:    Haskell2010

tests/tests-generically.hs

@@ -0,0 +1,42 @@
+{-# LANGUAGE DataKinds,
+             TypeOperators,
+             TypeFamilies,
+             TypeApplications,
+             DeriveGeneric,
+             StandaloneDeriving,
+             DerivingStrategies,
+             UndecidableInstances,
+             KindSignatures,
+             PartialTypeSignatures,
+             FlexibleContexts,
+             ScopedTypeVariables
+#-}
+{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
+module Main where
+
+import Data.RBR
+
+import GHC.Generics (Generic, Generically(..))
+
+import Test.Tasty
+import Test.Tasty.HUnit (testCase,Assertion,assertEqual,assertBool)
+
+main :: IO ()
+main = defaultMain tests
+
+data Person = Person { personName :: String, address :: Address }
+    deriving stock (Show, Generic)
+
+data Address = Address { street :: String, number :: Int, other :: Int }
+    deriving stock (Show, Generic)
+
+tests :: TestTree
+tests = testGroup "Tests" [ testCase "generically" testGenerically
+    ]
+
+testGenerically :: Assertion
+testGenerically = do
+    let r = Person "Foo" (Address "Somestreet" 1 2)
+        a = Data.RBR.getFieldI @"address" (Data.RBR.toRecord (Generically r))
+        n = Data.RBR.getFieldI @"number" (Data.RBR.toRecord (Generically a))
+    assertEqual "number" n 1