diff --git a/relational-query/src/Database/Relational/TH.hs b/relational-query/src/Database/Relational/TH.hs index 084a86db..c11d9e73 100644 --- a/relational-query/src/Database/Relational/TH.hs +++ b/relational-query/src/Database/Relational/TH.hs @@ -112,12 +112,10 @@ defineHasConstraintKeyInstance :: TypeQ -- ^ Constraint type -> TypeQ -- ^ Key type -> [Int] -- ^ Indexes specifies key -> Q [Dec] -- ^ Result 'HasConstraintKey' declaration -defineHasConstraintKeyInstance constraint recType colType indexes = do - -- kc <- defineHasColumnConstraintInstance constraint recType index - ck <- [d| instance HasConstraintKey $constraint $recType $colType where - constraintKey = unsafeDefineConstraintKey $(listE [integralE ix | ix <- indexes]) - |] - return ck +defineHasConstraintKeyInstance constraint recType colType indexes = + [d| instance HasConstraintKey $constraint $recType $colType where + constraintKey = unsafeDefineConstraintKey $(listE [integralE ix | ix <- indexes]) + |] -- | Rule template to infer primary key. defineHasPrimaryKeyInstance :: TypeQ -- ^ Record type