Hey Gabor,<br><br>And why should it be part of base? Don't get me wrong, I'm not saying this<br>is not important/useful. I'm just wondering about the reason to have it in base.<br>Is it tied to TypeLits?<br><br>
<br>Cheers,<br>Pedro<br><br><div class="gmail_quote">On Thu, Feb 7, 2013 at 2:21 PM, Gabor Greif <span dir="ltr"><<a href="mailto:ggreif@gmail.com" target="_blank">ggreif@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Oi José,<br>
<br>
this is a library-only issue, the branch is in libraries/base, thus<br>
somewhat tied to the 7.8 release.<br>
<br>
Cheers,<br>
<br>
Gabor<br>
<div class="HOEnZb"><div class="h5"><br>
On 2/7/13, José Pedro Magalhães <<a href="mailto:jpm@cs.uu.nl">jpm@cs.uu.nl</a>> wrote:<br>
> On Wed, Feb 6, 2013 at 7:17 PM, Gabor Greif <<a href="mailto:ggreif@gmail.com">ggreif@gmail.com</a>> wrote:<br>
><br>
>> On 2/6/13, Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br>
>> > The only thing that stops me from saying "push" is that I think there<br>
>> > is<br>
>> a<br>
>> > better organization for all of this. The ideas we're discussing here<br>
>> (things<br>
>> > like the Void type) don't seem to belong in TypeLits -- it has nothing<br>
>> to do<br>
>> > with literals. Time for a GHC.TypeReasoning module? Does someone have a<br>
>> > better name?<br>
>><br>
>> Sounds okay. We can wiggle around on the new branch 'till we feel<br>
>> comfortable, but I'd like to land this on master before the v7.8 train<br>
>> leaves the station (i.e. the release branch is created).<br>
>><br>
><br>
> Can you perhaps summarise exactly what needs to be added to GHC for this to<br>
> work?<br>
> It's not immediately clear to me why this is not just a library issue.<br>
><br>
><br>
> Thanks,<br>
> Pedro<br>
><br>
</div></div></blockquote></div><br>