24 Apr
2006
24 Apr
'06
3:17 p.m.
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@gmail.com