Template Haskell of GHC 7.8

Kazu Yamamoto (=?iso-2022-jp?B?GyRCOzNLXE9CSScbKEI=?=) kazu at iij.ad.jp
Tue Mar 11 03:32:54 UTC 2014


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


More information about the ghc-devs mailing list