Add a kind annotation to the type variable of generated fixtures

fixes #28
cjdev · Nov 14, 2016 · 2c0355b · 2c0355b
1 parent 33efb1a
commit 2c0355b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/Control/Monad/TestFixture/TH/Internal.hs b/src/Control/Monad/TestFixture/TH/Internal.hs
@@ -52,7 +52,8 @@ mkFixtureRecord fixtureName classNames = do
   fixtureFields <- join <$> zipWithM (methodsToFields mVar) types methods
   let fixtureCs = [RecC fixtureName fixtureFields]
 
-  let fixtureDec = mkDataD [] fixtureName [PlainTV mVar] fixtureCs
+  let mKind = AppT (AppT ArrowT StarT) StarT
+  let fixtureDec = mkDataD [] fixtureName [KindedTV mVar mKind] fixtureCs
   return (fixtureDec, fixtureFields)
 
 mkFixtureTypeSynonyms :: Name -> Q [Dec]

diff --git a/test/Test/Control/Monad/TestFixtureSpec.hs b/test/Test/Control/Monad/TestFixtureSpec.hs
@@ -76,6 +76,9 @@ fixtureStateT = def :: Fixture (TestFixtureT Fixture () s m)
 fixtureLogStateT :: Monad m => FixtureLogStateT log state m
 fixtureLogStateT = def :: Fixture (TestFixtureT Fixture log state m)
 
+-- ensure generation of empty fixtures works
+mkFixture "EmptyFixture" []
+
 spec :: Spec
 spec = do
   describe "mkFixture" $