Edward Kmett gmail.com> writes:
> On Mon, Jun 11, 2012 at 9:58 PM, AntC clear.net.nz>
wrote:
>>
>> [snip ...]
>>
>> Could we have :k (->) :: OpenKind -> * -> * -- why not?
>
> I don't quite understand why you would want arbitrary kinded arguments, but
only in negative position.
>
Thanks Ed
On Mon, Jun 11, 2012 at 9:58 PM, AntC wrote:
> Simon Peyton-Jones microsoft.com> writes:
>
> >
> > There is a little, ill-documented, sub-kind hierarchy in GHC. I'm trying
> hard to get rid of it as much as
> > possible, and it is much less important than it used to be. It's always
> been
> the
Simon Peyton-Jones microsoft.com> writes:
>
> There is a little, ill-documented, sub-kind hierarchy in GHC. I'm trying
hard to get rid of it as much as
> possible, and it is much less important than it used to be. It's always been
there, and is nothing to do with polykinds.
>
> I've extended
On 6/7/12 12:40 PM, Sean Leather wrote:
I was hoping somebody else had a bright idea, but no takers, yet.
I don't remember where I got my GMP.framework from, exactly. I thought it
used to be bundled with the HP. But it's apparently not anymore.
I did some digging and came across the old reposit
On Mon, Jun 11, 2012 at 1:59 AM, Brent Yorgey wrote:
> Thanks for the release! One quick question -- the release notes say
>
> "A bug in dependency analysis of type declarations in the presence
> of type families (#5826) has been fixed."
>
> However, #5826 seems to be about something entirely d
Thanks for your information.
I was able to understand I've seen the ticket.
The `ghc-pkg check' has checked the existing of haddock-interfaces and
haddock-html.
When we just install haskell-platform from tarball, these
documentations are not installed.
On the other hand, `ghc-pkg check' complains t