khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-27 14:02:35 +03:00
Code Issues Projects Releases Wiki Activity

relational-query: apply th-data-compat-0.1.3.0 to fix build

Browse Source
This commit is contained in:
Kei Hibino 2023-11-25 17:10:25 +09:00
parent 85e02bcc27
commit 74b279f87d
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
relational-query/relational-query.cabal
View File

@ -124,6 +124,7 @@ library
, template-haskell
, th-reify-compat
, th-constraint-compat
, th-data-compat
, product-isomorphic >= 0.0.3
, sql-words >=0.1.5
, names-th

3
relational-query/src/Database/Relational/InternalTH/Base.hs
View File

@ -27,6 +27,7 @@ import Language.Haskell.TH
Dec, sigD, valD, instanceD,
TyVarBndr (PlainTV), )
import Language.Haskell.TH.Compat.Constraint (classP)
import Language.Haskell.TH.Compat.Data (plainTVspecified)
import Database.Record.Persistable
(PersistableWidth, persistableWidth,
PersistableRecordWidth, runPersistableRecordWidth)
@ -59,7 +60,7 @@ defineRecordProjections tyRec avs sels cts =
template :: TypeQ -> [TypeQ] -> Name -> Q [Dec]
template ct pcts selN = do
sig <- sigD selN $
forallT (map PlainTV avs)
forallT (map plainTVspecified avs)
(mapM (classP ''PersistableWidth . (:[]) . varT) avs)
[t| Pi $tyRec $ct |]
let runPW t = [| runPersistableRecordWidth (persistableWidth :: PersistableRecordWidth $t) |]