Template Haskell of GHC 7.8

[Kazu Yamamoto (=?iso-2022-jp?B?GyRCOzNLXE9CSScbKEI=?=)]

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 at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs