@@ -2,7 +2,7 @@
22{-# LANGUAGE PatternSynonyms #-}
33{-# LANGUAGE TypeApplications #-}
44
5−module Record
5+module Rec
66 ( Record,
77 pattern Record,
88 (:=:),
@@ -28,11 +28,11 @@ import GHC.Generics
2828import GHC.OverloadedLabels
2929import GHC.TypeLits
3030import Generic.Data
31−import qualified Record.Super as R
31+import qualified Rec.Super as R
3232import Control.Lens ((&), (^.))
33−import Record.Super ((:=))
34−import Record.Tuple
35−import Record.Field
33+import Rec.Super ((:=))
34+import Rec.Tuple
35+import Rec.Field
3636import Test.Tasty.HUnit
3737import Unsafe.Coerce
3838
@@ -96,7 +96,7 @@ type family Sels fields where
9696
9797type RecordRep fields =
9898 D1
99− ('MetaData "Record" "Record" "" 'False)
99+ ('MetaData "Record" "Rec" "" 'False)
100100 ( C1
101101 ('MetaCons "Record" 'PrefixI 'True)
102102 (Sels fields)