Re: Kindness of strangers (or strangeness of Kinds)

2012-06-07 Thread wagnerdm
Quoting AntC : 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 -> * I sort of doubt it. After all, the prototypical thing to do with a function is to

Re: Kindness of strangers (or strangeness of Kinds)

2012-06-07 Thread AntC
José Pedro Magalhães cs.uu.nl> writes: > On Thu, Jun 7, 2012 at 2:46 AM, AntC 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/gh

Haddock problems with Haskell-Platform2012.2.0.0

2012-06-07 Thread Katsutoshi Itoh
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

Re: problem with FFI and libsane

2012-06-07 Thread Ganesh Sittampalam
On 07/06/2012 12:08, Simon Marlow wrote: > I don't completely understand what is going wrong here, but it looks > like an interaction between the RTS's use of a timer signal and the > libsane library. You can make it work by turning off GHC's timer with > +RTS -V0. [..] > The signal has always be

Re: Known problems with promoted tuples and lists in GHC 7.4.1?

2012-06-07 Thread David Menendez
On Thu, Jun 7, 2012 at 2:37 AM, Simon Peyton-Jones wrote: > Kind polymorphism and promoted kinds is *not* an advertised feature of 7.4.1. >  Much code is there, but it doesn't work when you push it.  The HEAD does > work.  If you are using kind polymorphism or promoted kinds, use HEAD (or a > d

Re: GHC build linking error

2012-06-07 Thread Sean Leather
Hi wren, On Tue, Jun 5, 2012 at 7:32 AM, wren ng thornton wrote: > I'm working on creating some distribution bundles of GHC 7.4.1 and HP > 2012.2.0.0 for OSX 10.5 to help rectify the lack of support on older Macs. > In building GHC I've run into a linking error in stage1: > >ld: duplicate sym

Re: Mac OS X: compiling for 10.5 under 10.6

2012-06-07 Thread Sean Leather
On Thu, Jun 7, 2012 at 4:59 PM, Ian Lynagh wrote: > On Tue, Jun 05, 2012 at 03:07:09PM +0200, Soenke Hahn wrote: > > If not, does that mean, > > ghc-7.4.1 does not support OS X 10.5? > > As far as I know, if you build GHC 7.4.1 on OS X 10.5 then it will work, > but I haven't tried it so I may be w

Re: Mac OS X: compiling for 10.5 under 10.6

2012-06-07 Thread Ian Lynagh
On Tue, Jun 05, 2012 at 03:07:09PM +0200, Soenke Hahn wrote: > > If not, does that mean, > ghc-7.4.1 does not support OS X 10.5? As far as I know, if you build GHC 7.4.1 on OS X 10.5 then it will work, but I haven't tried it so I may be wrong. However, binaries built on newer versions (including

Re: problem with FFI and libsane

2012-06-07 Thread Simon Marlow
On 06/06/2012 06:59, Ganesh Sittampalam wrote: I'm having some trouble making Haskell bindings to libsane (a scanner access library: http://www.sane-project.org/) When I build the cut down sample of my code (below) with GHC 7.4.1 with the non-threaded runtime, it hangs at runtime in the call to

Re: Kindness of strangers (or strangeness of Kinds)

2012-06-07 Thread José Pedro Magalhães
Hi, On Thu, Jun 7, 2012 at 2:46 AM, AntC 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 m