Oops I didn&#39;t get to finish... accidentally sent. Here&#39;s the completed version:<div><br>I&#39;m playing around with Template Haskell, specifically QuasiQuotes and I&#39;ve run into something that I hope is not an inherent limitation in TH.Specifically I want to get the type of a variable whose name is used in a QuasiQuote. The code generated by the QQ should depend on the type of the variables that are to be antiquoted.<div>
<br></div><div>For example </div><div><br></div><div>let a = True </div><div>in [qq | a |]</div><div><br></div><div>should result in different code being generated by the qq than</div><div><div class="gmail_quote"><div><br>
</div><div>let a = 42<br>in [qq | a |] </div><div><br></div><div><div><br class="Apple-interchange-newline">because the type of variable &quot;a&quot; is different. </div><div><br></div><div>So far I&#39;ve tried simple reification<br>
<br>&gt; quote str = do<br>&gt;   let varname = &quot;someVariableKnownToExist&quot;<br>&gt;   info &lt;- reify $ mkName str</div></div><div>&gt;   ...</div><div><br></div><div>but this results in &quot;`someVariableKnownToExists&#39; is not in scope at a reify&quot;</div>
<div><br></div><div>any thoughts?<br><br>--J Arthur</div><div><br></div><div><br></div></div></div></div>