[Template-haskell] Type inference

[Bulat Ziganshin]

Hello Oleg,

Monday, April 24, 2006, 1:52:31 AM, you wrote:

>  I have the following problem. I'd like to infer types of local bindings using 'reify':
>  ------------------------------------
>  testValue = 
>      let
>          a = 10
>      in
>          $(do
>              VarI _ t _ _ <- reify 'a
>              lift (pprint t)
>          )

what a type "a" should have here? :)  try the (10::Int) to make
compiler happy

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com