<div dir="ltr">Ah yeah. I remember when we moved it. We just accidentally lost the PolyKinds along the way. Should be easy enough to fix.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jul 14, 2014 at 2:51 PM, adam vogt <span dir="ltr"><<a href="mailto:vogt.adam@gmail.com" target="_blank">vogt.adam@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The example works with ghc-7.6.3. It looks like<br>
<a href="https://github.com/ghc/ghc/commit/1d1ff77aaa09efaddc8cfe0dcf92d6763297cf11" target="_blank">https://github.com/ghc/ghc/commit/1d1ff77aaa09efaddc8cfe0dcf92d6763297cf11</a><br>
is to blame.<br>
<div class="HOEnZb"><div class="h5"><br>
On Mon, Jul 14, 2014 at 12:37 PM, Carl Howells <<a href="mailto:chowells79@gmail.com">chowells79@gmail.com</a>> wrote:<br>
> At the moment, the Monoid instance for Data.Proxy.Proxy is only<br>
> defined for types with kind *.<br>
><br>
>     Prelude Data.Proxy Data.Monoid> (Proxy :: Proxy String) <> Proxy<br>
>     Proxy<br>
>     Prelude Data.Proxy Data.Monoid> :set -XDataKinds<br>
>     Prelude Data.Proxy Data.Monoid> (Proxy :: Proxy 5) <> Proxy<br>
><br>
>     <interactive>:8:20:<br>
>         No instance for (Monoid (Proxy 5)) arising from a use of ‘<>’<br>
>         In the expression: (Proxy :: Proxy 5) <> Proxy<br>
>         In an equation for ‘it’: it = (Proxy :: Proxy 5) <> Proxy<br>
><br>
> Enabling -XPolyKinds while compiling the Data.Monoid module is the<br>
> only change necessary to make the Monoid instance for Proxy polykinded<br>
> like Proxy itself is. I don't believe adding a language pragma would<br>
> have any other effect on that module, and I believe the only effect of<br>
> changing that instance would be allowing more correct programs to<br>
> compile.<br>
><br>
> This is my first proposal to this list, so I'm starting with something<br>
> that I hope isn't controversial. Let me know if I should do anything<br>
> different procedurally in future proposals.<br>
><br>
> Thanks.<br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>