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

2012-06-07 Thread Simon Peyton-Jones
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 development snapshot). Indeed not_okay compiles fine with HEAD

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 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).

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

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: 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 wrong.

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 symbol

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 simo...@microsoft.com 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,

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 been

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: Kindness of strangers (or strangeness of Kinds)

2012-06-07 Thread AntC
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).

Re: Kindness of strangers (or strangeness of Kinds)

2012-06-07 Thread wagnerdm
Quoting AntC anthony_clay...@clear.net.nz: 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