ghc-pkg is warning about dangling references to missing documentation. Some
of the packages on my (JustHub) distro do this: the Haskell Platform dummy
package (as you report), and GLUT rather than zlib . AFAIK it is generally
harmless (apart from the confusion).
I would like to get rid of them
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 the commentary a bit: see Types and Kinds here
Yes, I think using a singleton will solve your problem. It essentially
acts like Proxy but keeps the parallelism between types and terms.
Here would be the definitions:
data Nat = Z | S Nat
-- This is the singleton type
data SNat (n :: Nat) where
SZ :: SNat Z
SS :: forall (n :: Nat). SNat
On Thu, Jun 7, 2012 at 7:16 AM, AntC anthony_clay...@clear.net.nz wrote:
I'm confused about something with promoted Kinds (using an example with
Kind-
promoted Nats).
This is in GHC 7.4.1. (Apologies if this is a known bug/limitation/already
explained somewhere
Is there a way of