Template Haskell of GHC 7.8
Hi, The tests for doctest are not passed again with GHC 7.8: ---- 17) Property.runProperty reports the values for which a property that takes multiple arguments fails expected: ["False","0","\"\""] but got: ["<interactive>:24:66:"," \8216doctest_prop\8217 is not in the type environment at a reify"," In the splice: $(polyQuickCheck 'doctest_prop)"] ---- This comes from: ----src/Property.hs where quickCheck term vars = "let doctest_prop " ++ unwords vars ++ " = " ++ term ++ " in $(polyQuickCheck 'doctest_prop)" ---- It seems to me that the behavior of GHC 7.8's Template Haskell changed. Would you tell me how to fix this? --Kazu
Hi, Adam told a solution which uses mkName: https://github.com/sol/doctest-haskell/issues/76 Unfortunately, I hit upon another issue of Template Haskell. I will ask a question in another mail. --Kazu
Hi,
The tests for doctest are not passed again with GHC 7.8:
---- 17) Property.runProperty reports the values for which a property that takes multiple arguments fails expected: ["False","0","\"\""] but got: ["<interactive>:24:66:"," \8216doctest_prop\8217 is not in the type environment at a reify"," In the splice: $(polyQuickCheck 'doctest_prop)"] ----
This comes from:
----src/Property.hs where quickCheck term vars = "let doctest_prop " ++ unwords vars ++ " = " ++ term ++ " in $(polyQuickCheck 'doctest_prop)" ----
It seems to me that the behavior of GHC 7.8's Template Haskell changed. Would you tell me how to fix this?
--Kazu _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
participants (1)
-
Kazu Yamamoto