RE: Haddock problems with Haskell-Platform2012.2.0.0
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 soon on my distro (and no doubt the Debian people would like their packages to be warning free too). Chris -Original Message- From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Katsutoshi Itoh Sent: 07 June 2012 23:26 To: glasgow-haskell-users@haskell.org Subject: Haddock problems with Haskell-Platform2012.2.0.0 Hi all. I installed ghc-7.4.1 and haskell-platform-2.12.2.0.0 on debian linux. I'm getting lots of complaints from 'ghc-pkg check', of the following form: Warning: haddock-interfaces: /usr/pkg/share/doc/haskell- platform-2012.2.0.0/html/haskell-platform.haddock doesn't exist or isn't a file Warning: haddock-html: /usr/pkg/share/doc/haskell-platform-2012.2.0.0/ html doesn't exist or isn't a directory Warning: haddock-interfaces: /usr/pkg/share/doc/zlib-0.5.3.3/html/ zlib.haddock doesn't exist or isn't a file Warning: haddock-html: /usr/pkg/share/doc/zlib-0.5.3.3/html doesn't exist or isn't a directory ... Any advice? -- いとう かつとし cutsea...@gmail.com ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: Kindness of strangers (or strangeness of Kinds)
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 http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler The ArgKind thing has gone away following Max's recent unboxed-tuples patch, so we now only have OpenKind (described on the above pages). Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of AntC | Sent: 08 June 2012 00:37 | To: glasgow-haskell-users@haskell.org | Subject: Re: Kindness of strangers (or strangeness of Kinds) | | José Pedro Magalhães jpm at cs.uu.nl writes: | | On Thu, Jun 7, 2012 at 2:46 AM, AntC anthony_clayden at | clear.net.nz | wrote: | | What does the `ArgKind' message mean? | | `ArgKind` and `OpenKind` is what previously was called `?` and `??` | (or the | otherway around; I can't remember). | http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType#Ki | ndsubty | ping | | Thanks Pedro, I'm trying to understand what's changing and why. (And I'd | better repeat that I'm looking at 7.4.1, not HEAD; and SPJ's being | perfectly clear that the promoted Kind stuff is not yet officially | approved for prime | time): | | GHC 7.2.1 :k (-) :: ?? - ? - * | | GHC 7.4.1 :k (-) :: * - * - * | | At first sight (-) is becoming less polyKinded. Is the eventual aim to | be: | | GHC 7.6+ :k (-) :: AnyKind1 - AnyKind2 - * | | | | You might also want to have a look at Richard and Stephanie's latest | paper | draft, about singletons, which is related to what you are trying in your | example:http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf | | | That's what I'm doing, and trying to understand the machinery behind it. | The | naieve approach I started with was how to get one-way from type to its | single | value -- I wasn't aiming for the whole singleton gig. | | AntC | | | | ___ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Kindness of strangers (or strangeness of Kinds)
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 n - SNat (S n) class NatToIntN (n :: Nat) where natToIntN :: SNat n - Int instance NatToIntN Z where natToIntN _ = 0 instance (NatToIntN n) = NatToIntN (S n) where natToIntN (SS n) = 1 + natToIntN n - It might be worth noting that there is no need for a class to define natToIntN. The following would also work: natToIntN :: SNat n - Int natToIntN SZ = 0 natToIntN (SS n) = 1 + natToIntN n Please do check out our paper for more info at the link Pedro sent out. Richard On 6/7/12 8:28 AM, José Pedro Magalhães wrote: Hi, On Thu, Jun 7, 2012 at 2:46 AM, AntC anthony_clay...@clear.net.nz mailto:anthony_clay...@clear.net.nz wrote: What does the `ArgKind' message mean? `ArgKind` and `OpenKind` is what previously was called `?` and `??` (or the other way around; I can't remember). http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType#Kindsubtyping You might also want to have a look at Richard and Stephanie's latest paper draft, about singletons, which is related to what you are trying in your example: http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf http://www.cis.upenn.edu/%7Eeir/papers/2012/singletons/paper.pdf Cheers, Pedro ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Kindness of strangers (or strangeness of Kinds)
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 seeing kinds in ghci? [In gofer I could do :s +k -- yeah this was 20 years ago :-) ] ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
