This works:
{-# LANGUAGE TemplateHaskell #-}
module ResponseTest where
import Test.Framework.TH
import Test.Framework.Providers.QuickCheck2
main = $(defaultMainGenerator)
prop_reverse xs = reverse (reverse xs) == xs
where types = xs::[Int]
But the following does not:
{-# LANGUAGE TemplateHaskell #-}
module ResponseTest where
import Test.Framework.TH
import Test.Framework.Providers.QuickCheck2
main = $(defaultMainGenerator)
prop_reverse xs = reverse (reverse xs) == xs
where types = xs::[Int]
{-
prop_foo = foo
-}
This works:
But the following does not: