Re: Type inference

Bulat Ziganshin <[email protected]> Mon, 24 Apr 2006 13:47:35 +0400

Newsgroups	gmane.comp.lang.haskell.template
Message-ID	<[email protected]>

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:[email protected]