Hello,<br>
<br>
I have the following problem. I'd like to infer types of local bindings using 'reify':<br>
------------------------------------<br>
testValue = <br>
&nbsp;&nbsp;&nbsp; let<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; a = 10<br>
&nbsp;&nbsp;&nbsp; in<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; $(do<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; VarI _ t _ _ &lt;- reify 'a<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; lift (pprint t)<br>
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; )<br>
-------------------------------------<br>
But this code prints only:<br>
-------------------------------------<br>
*Debug&gt; testValue<br>
&quot;t_0&quot;<br>
-------------------------------------<br>
Is this intended behavior? Are there any workarounds? <br>
Things work fine if symbol is defined in another module.<br>
I do realise that in general $(...) may add additional constraints on local variables.<br>
<br>
OM<br>