<br><br><div class="gmail_quote">On Wed, Feb 6, 2013 at 7:17 PM, Gabor Greif <span dir="ltr">&lt;<a href="mailto:ggreif@gmail.com" target="_blank">ggreif@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 2/6/13, Richard Eisenberg &lt;<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>&gt; wrote:<br>
&gt; The only thing that stops me from saying &quot;push&quot; is that I think there is a<br>
&gt; better organization for all of this. The ideas we&#39;re discussing here (things<br>
&gt; like the Void type) don&#39;t seem to belong in TypeLits -- it has nothing to do<br>
&gt; with literals. Time for a GHC.TypeReasoning module? Does someone have a<br>
&gt; better name?<br>
<br>
</div>Sounds okay. We can wiggle around on the new branch &#39;till we feel<br>
comfortable, but I&#39;d like to land this on master before the v7.8 train<br>
leaves the station (i.e. the release branch is created).<br></blockquote><div><br>Can you perhaps summarise exactly what needs to be added to GHC for this
 to work?<br>It&#39;s not immediately clear to me why this is not just a 
library issue.<br><br><br>Thanks,<br>Pedro<br><br></div></div>