[GHC] #4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas

2010-11-29 Thread GHC
#4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas -+-- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #3843: Merge plugins into HEAD

2010-11-29 Thread GHC
#3843: Merge plugins into HEAD -+-- Reporter: dreixel |Owner: simonpj Type: task | Status: new Priority: normal|Milestone: 7.0.1

Re: [GHC] #4481: Functor, Pointed, Applicative, Monad

2010-11-29 Thread GHC
#4481: Functor, Pointed, Applicative, Monad -+-- Reporter: gidyn | Owner: Type: proposal| Status: closed Priority: normal | Milestone:

Re: [GHC] #4481: Functor, Pointed, Applicative, Monad

2010-11-29 Thread GHC
#4481: Functor, Pointed, Applicative, Monad -+-- Reporter: gidyn | Owner: Type: proposal| Status: closed Priority: normal | Milestone:

[GHC] #4800: Memory Leak when Compiling qtHaskell

2010-11-29 Thread GHC
#4800: Memory Leak when Compiling qtHaskell --+- Reporter: gidyn | Owner: Type: bug

Re: [GHC] #4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas

2010-11-29 Thread GHC
#4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas -+-- Reporter: dreixel |Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas

2010-11-29 Thread GHC
#4799: Imprecise error regarding SPECIALIZE and INLINE/INLINABLE pragmas -+-- Reporter: dreixel |Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #4391: forkIO threads do not properly save/restore the floating point environment

2010-11-29 Thread GHC
#4391: forkIO threads do not properly save/restore the floating point environment -+-- Reporter: draconx |Owner: Type: bug | Status: merge

[GHC] #4801: Typechecker performance regression 6.12 - 7.0.1

2010-11-29 Thread GHC
#4801: Typechecker performance regression 6.12 - 7.0.1 +--- Reporter: simonmar |Owner: Type: bug | Status: new Priority: high

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)

2010-11-29 Thread GHC
#4505: Segmentation fault on long input (list of pairs) -+-- Reporter: cathper |Owner: simonmar Type: bug | Status:

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)

2010-11-29 Thread GHC
#4505: Segmentation fault on long input (list of pairs) -+-- Reporter: cathper |Owner: simonmar Type: bug | Status:

Re: [GHC] #4535: Add tryReadChan to Chan

2010-11-29 Thread GHC
#4535: Add tryReadChan to Chan -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|Milestone:

Re: [GHC] #4536: SampleVar could also be an instance of Eq and Typable

2010-11-29 Thread GHC
#4536: SampleVar could also be an instance of Eq and Typable -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|

Re: [GHC] #4536: SampleVar could also be an instance of Eq and Typable

2010-11-29 Thread GHC
#4536: SampleVar could also be an instance of Eq and Typable -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|

Re: [GHC] #4537: Make SampleVar an instance of Typeable

2010-11-29 Thread GHC
#4537: Make SampleVar an instance of Typeable -+-- Reporter: basvandijk|Owner: Type: proposal | Status: new Priority: normal|Milestone:

Re: [GHC] #4536: SampleVar could also be an instance of Eq and Typable

2010-11-29 Thread GHC
#4536: SampleVar could also be an instance of Eq and Typable -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|

Re: [GHC] #4536: SampleVar could also be an instance of Eq and Typable

2010-11-29 Thread GHC
#4536: SampleVar could also be an instance of Eq and Typable -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|

Re: [GHC] #4537: Make SampleVar an instance of Typeable

2010-11-29 Thread GHC
#4537: Make SampleVar an instance of Typeable -+-- Reporter: basvandijk|Owner: Type: proposal | Status: new Priority: normal|Milestone:

Re: [GHC] #4533: IO manager can leak MVars if threads are killed

2010-11-29 Thread GHC
#4533: IO manager can leak MVars if threads are killed -+-- Reporter: bos |Owner: bos Type: bug | Status: patch

Re: [GHC] #4536: SampleVar could also be an instance of Eq and Typable

2010-11-29 Thread GHC
#4536: SampleVar could also be an instance of Eq and Typable -+-- Reporter: mitar | Owner: Type: proposal| Status: closed Priority: normal |

Re: [GHC] #4535: Add tryReadChan to Chan

2010-11-29 Thread GHC
#4535: Add tryReadChan to Chan -+-- Reporter: mitar |Owner: Type: proposal | Status: new Priority: normal|Milestone:

Re: [GHC] #4391: forkIO threads do not properly save/restore the floating point environment

2010-11-29 Thread GHC
#4391: forkIO threads do not properly save/restore the floating point environment -+-- Reporter: draconx |Owner: Type: bug | Status: merge

Re: [GHC] #3165: :history throws Irrefutable pattern failed exception

2010-11-29 Thread GHC
#3165: :history throws Irrefutable pattern failed exception ---+ Reporter: greenrd | Owner: igloo Type: bug | Status: closed Priority: normal| Milestone: 6.12.1

Re: [GHC] #4519: Do not link in unused code

2010-11-29 Thread GHC
#4519: Do not link in unused code --+- Reporter: gidyn| Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.2.1

Re: [GHC] #4417: Quasiquoting without bloating

2010-11-29 Thread GHC
#4417: Quasiquoting without bloating -+-- Reporter: rrnewton |Owner: Type: feature request | Status: new Priority: high |Milestone: 7.2.1

Re: [GHC] #3252: having to call hs_add_root(__stginit_Foo) is a bit of a pain

2010-11-29 Thread GHC
#3252: having to call hs_add_root(__stginit_Foo) is a bit of a pain -+-- Reporter: duncan|Owner: Type: feature request | Status: new Priority: high

Re: [GHC] #4417: Quasiquoting without bloating

2010-11-29 Thread GHC
#4417: Quasiquoting without bloating -+-- Reporter: rrnewton |Owner: Type: feature request | Status: new Priority: high |Milestone: 7.2.1

Re: [GHC] #4391: forkIO threads do not properly save/restore the floating point environment

2010-11-29 Thread GHC
#4391: forkIO threads do not properly save/restore the floating point environment -+-- Reporter: draconx |Owner: Type: bug | Status: merge

Re: [GHC] #1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin)

2010-11-29 Thread GHC
#1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin) -+-- Reporter: guest | Owner: igloo Type: bug | Status: closed

[GHC] #4802: 'current directory' is not thread local

2010-11-29 Thread GHC
#4802: 'current directory' is not thread local -+-- Reporter: tanakh| Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #4802: 'current directory' is not thread local

2010-11-29 Thread GHC
#4802: 'current directory' is not thread local -+-- Reporter: tanakh| Owner: Type: bug | Status: new Priority: normal|

[GHC] #4803: can't find a register in cla ss ‘BREG’ while reloading ‘asm’ - pr oblem with dynamic link libraries

2010-11-29 Thread GHC
#4803: can't find a register in class ‘BREG’ while reloading ‘asm’ - problem with dynamic link libraries ---+ Reporter: guest | Owner: Type: bug | Status: new

Re: [GHC] #3252: having to call hs_add_root(__stginit_Foo) is a bit of a pain

2010-11-29 Thread GHC
#3252: having to call hs_add_root(__stginit_Foo) is a bit of a pain -+-- Reporter: duncan|Owner: Type: feature request | Status: new Priority: high

Re: [GHC] #4417: Quasiquoting without bloating

2010-11-29 Thread GHC
#4417: Quasiquoting without bloating -+-- Reporter: rrnewton |Owner: Type: feature request | Status: new Priority: high |Milestone: 7.2.1

Re: [GHC] #4803: can't find a register in class ‘BREG’ while reloading ‘asm’ - problem with dynamic link libraries

2010-11-29 Thread GHC
#4803: can't find a register in class ‘BREG’ while reloading ‘asm’ - problem with dynamic link libraries ---+ Reporter: guest | Owner: Type: bug | Status: new

Re: [GHC] #4533: IO manager can leak MVars if threads are killed

2010-11-29 Thread GHC
#4533: IO manager can leak MVars if threads are killed -+-- Reporter: bos |Owner: bos Type: bug | Status: patch

Re: [GHC] #4493: Child from forkProcess calls select/read on parent's Handle, stealing data from parent

2010-11-29 Thread GHC
#4493: Child from forkProcess calls select/read on parent's Handle, stealing data from parent ---+ Reporter: josh|Owner: Type: bug | Status:

Re: [GHC] #4163: Make cross-compilation work

2010-11-29 Thread GHC
#4163: Make cross-compilation work -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |

Re: [GHC] #1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin)

2010-11-29 Thread GHC
#1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin) -+-- Reporter: guest | Owner: Type: bug | Status: new

Re: [GHC] #1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin)

2010-11-29 Thread GHC
#1845: unconditional relative branch out of range (GHC version 6.8.1-6.10.4 for powerpc_apple_darwin) -+-- Reporter: guest | Owner: igloo Type: bug | Status: new

[GHC] #4804: Bus Error during Stage 2 (libraries/vector)

2010-11-29 Thread GHC
#4804: Bus Error during Stage 2 (libraries/vector) -+-- Reporter: altaic| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #4514: IO manager can deadlock if a file descriptor is closed behind its back

2010-11-29 Thread GHC
#4514: IO manager can deadlock if a file descriptor is closed behind its back --+- Reporter: adept| Owner: Type: bug | Status: new

Re: [GHC] #4514: IO manager can deadlock if a file descriptor is closed behind its back

2010-11-29 Thread GHC
#4514: IO manager can deadlock if a file descriptor is closed behind its back --+- Reporter: adept| Owner: Type: bug | Status: new

Re: [GHC] #4514: IO manager can deadlock if a file descriptor is closed behind its back

2010-11-29 Thread GHC
#4514: IO manager can deadlock if a file descriptor is closed behind its back --+- Reporter: adept| Owner: bos Type: bug | Status: new

Re: [GHC] #4514: IO manager can deadlock if a file descriptor is closed behind its back

2010-11-29 Thread GHC
#4514: IO manager can deadlock if a file descriptor is closed behind its back --+- Reporter: adept| Owner: bos Type: bug | Status:

[GHC] #4805: segfault in Data.HashTable, triggered by long Agda runs

2010-11-29 Thread GHC
#4805: segfault in Data.HashTable, triggered by long Agda runs ---+ Reporter: wkahl | Owner: Type: bug | Status: new Priority:

Re: [GHC] #4805: segfault in Data.HashTable, triggered by long Agda runs

2010-11-29 Thread GHC
#4805: segfault in Data.HashTable, triggered by long Agda runs ---+ Reporter: wkahl | Owner: Type: bug | Status: new Priority:

Re: [GHC] #4391: forkIO threads do not properly save/restore the floating point environment

2010-11-29 Thread GHC
#4391: forkIO threads do not properly save/restore the floating point environment -+-- Reporter: draconx |Owner: Type: bug | Status: merge

Re: [GHC] #2442: Heuristics to improve error messages for badly referenced things

2010-11-29 Thread GHC
#2442: Heuristics to improve error messages for badly referenced things -+-- Reporter: batterseapower|Owner: simonpj Type: feature request | Status: patch Priority: high

[GHC] #4806: Make error message more user friendly when module is not found because package is unusable

2010-11-29 Thread GHC
#4806: Make error message more user friendly when module is not found because package is unusable -+-- Reporter: mitar | Owner: Type: feature request | Status: new

RE: Modifying functions in the typechecker?

2010-11-29 Thread Simon Peyton-Jones
I think it would help to separate issues. If it were not for rebindable syntax, there would be no need for these op fields in (say) BindStmt etc. Instead, we'd have a fixed typing rule for BindStmt, and the desugarer would use the fixed Control.Monad.(=). The rebindable syntax thing just

Re: How to activate DEBUG in Data.HashTable?

2010-11-29 Thread Simon Marlow
On 29/11/2010 02:05, Wolfram Kahl wrote: Hello, with a large Agda development, I have a reproducible segmentation fault that I have been able to localise to the serialisation (Agda.TypeChecking.Serialise.encode), which heavily relies on Data.HashTable. Now I find that Data.HashTable (from

Re: SpecConstr number of specializations (-fspec-constr-count)

2010-11-29 Thread Simon Marlow
On 25/11/2010 20:01, Roman Leshchinskiy wrote: On 25/11/2010, at 10:33, José Pedro Magalhães wrote: Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes? spec-constr-count decreases for nested specialisations. For instance, if spec-constr-count

Re: packaging options for Mac OS X

2010-11-29 Thread Ian Lynagh
On Mon, Nov 29, 2010 at 01:29:10PM +1100, Manuel M T Chakravarty wrote: Ian Lynagh: On Sun, Nov 28, 2010 at 12:56:00PM -0800, Mark Lentczner wrote: Outstanding question is what should this framework be called? I would like to continue to call it GHC.framework, but change the version to

Re: Problems with openFd and -threaded

2010-11-29 Thread Bryan O'Sullivan
On Sat, Nov 27, 2010 at 9:05 PM, wren ng thornton w...@freegeek.org wrote: So I've just started playing around with STM and -threaded programs and I've run into a bug. The bug is similar to [1] except that the file in question is a Posix FIFO instead of a Bluetooth device. Same behavior:

Re: Problems with openFd and -threaded

2010-11-29 Thread wren ng thornton
On 11/29/10 6:36 PM, Bryan O'Sullivan wrote: On Sat, Nov 27, 2010 at 9:05 PM, wren ng thorntonw...@freegeek.org wrote: So I've just started playing around with STM and -threaded programs and I've run into a bug. The bug is similar to [1] except that the file in question is a Posix FIFO

Re: Problems with openFd and -threaded

2010-11-29 Thread Bryan O'Sullivan
On Mon, Nov 29, 2010 at 9:49 PM, wren ng thornton w...@freegeek.org wrote: Isn't that pretty normal? The blocking for someone to open the other end is perfectly normal. The fact that compiling with -threaded takes a perfectly working program and makes it consistently crash I wouldn't call

[Haskell] ANNOUNCE: genprog-0.1

2010-11-29 Thread Jan Snajder
Dear Haskellers, I am pleased to announce the release of genprog-0.1, a genetic programming library. Genetic programming is an evolutionary technique, inspired by biological evolution, to evolve programs for solving specific problems. A genetic program is represented by a value of an algebraic

Re: [Haskell] haskell.org downtime: Tuesday Nov 30th

2010-11-29 Thread Neil Mitchell
Hi Bas, Neil will be working on developing Hoogle all this weekend, but without Internet access. He expects to get it set up on the new server sometime during next week, but probably not before Weds. Ok thanks for the heads up! We get a new developer at work next week who needs to read

Re: [Haskell] haskell.org downtime: Tuesday Nov 30th

2010-11-29 Thread Bas van Dijk
On Mon, Nov 29, 2010 at 10:02 PM, Neil Mitchell ndmitch...@gmail.com wrote: Hi Bas, Neil will be working on developing Hoogle all this weekend, but without Internet access. He expects to get it set up on the new server sometime during next week, but probably not before Weds. Ok thanks for

Re: [Haskell] haskell.org downtime: Tuesday Nov 30th

2010-11-29 Thread Neil Mitchell
Thanks to a large portion of help from Ian, I now have Hoogle working at http://new-www.haskell.org/hoogle/ The old Hoogle seems to have broken with a configuration error - not sure if that's related to the move, or just the old server being flakey, but come tomorrow it won't matter. Thanks,

RE: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-11-29 Thread Simon Peyton-Jones
| The irony of this situation is deep. CPSA is a program that analyzes | cryptographic protocols in an effort to expose security flaws. To | ensure that the program does not crash a user's machine, I have to use | a linker option that may expose the user to some security problems. Do you have

[Haskell-cafe] Re: Template Haskell: exchanging information between 'splicers'

2010-11-29 Thread jean-christophe mincke
Oleg, I am using GHC 6.12.3 Here a reproduction: in the file Template.hs proc () = runIO $ do runQ [|1+1|] proc' () = [|1+1|] In the file Main.hs i1 = $(proc ()) -- fails at compile time with Segmentation fault/access violation in generated code. Maybe is it the expected behavior, I

[Haskell-cafe] Re: Transparent identity instances

2010-11-29 Thread Jafet
On Sun, Nov 28, 2010 at 10:59 PM, Jafet wrote: Hi, Does it make sense to declare a transparent identity instance for Functor, Applicative, Monad, etc? For example, I might want to generalize ($) = (*) where ($) :: (a - b) - a - b (*) :: (Functor f) = f (a - b) - f a - f b [...] Is it

Re: [Haskell-cafe] Load testing

2010-11-29 Thread Robert Wills
Grinder : http://grinder.sourceforge.net/ On Mon, Nov 29, 2010 at 1:23 AM, Tony Morris tonymor...@gmail.com wrote: Does there exist a package for convenient load-testing against a website? e.g. making lots of HTTP requests against a server, including timing, and collecting the results? --

[Haskell-cafe] Re: Transparent identity instances

2010-11-29 Thread Maciej Piechotka
On Sun, 2010-11-28 at 22:59 +0800, Jafet wrote: {-# LANGUAGE TypeSynonymInstances #-} type Identity a = a instance Applicative Identity where -- something like pure a = a f * a = f a But GHC does not accept type synonym instances unless they are fully applied. Is it sound

[Haskell-cafe] Crazy idea, building ghc with cabal?

2010-11-29 Thread Joris Putcuyps
Hello Could it be done and would it be interesting, building 'ghc' using cabal? * 'lhc' does it * Use 'cabal-rpm' and 'cabal2arch' to create packages for linux distributions * As ordinary user, install specific versions in your home directory. cabal install ghc = $HOME/.cabal/bin/ghc

Re: [Haskell-cafe] Re: Unable to install packages

2010-11-29 Thread Albert Y. C. Lai
On 10-11-28 09:55 AM, Ketil Malde wrote: Joachim Breitnerm...@joachim-breitner.de writes: I would not recommend using --global on Debian/Ubuntu-systems, as it might interfere with packages installed by Debian. But 'cabal install --global' installs in /usr/local/, does it not? And official

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-11-29 Thread John D. Ramsdell
On Mon, Nov 29, 2010 at 3:36 AM, Simon Peyton-Jones simo...@microsoft.com wrote: | The irony of this situation is deep.  CPSA is a program that analyzes | cryptographic protocols in an effort to expose security flaws.  To | ensure that the program does not crash a user's machine, I have to use

Re: [Haskell-cafe] Crazy idea, building ghc with cabal?

2010-11-29 Thread Ivan Lazar Miljenovic
On 30 November 2010 03:46, Joris Putcuyps joris.putcu...@gmail.com wrote: Hello Could it be done and would it be interesting, building 'ghc' using cabal?  * 'lhc' does it  * Use 'cabal-rpm' and 'cabal2arch' to create packages for linux   distributions  * As ordinary user, install specific

Re: [Haskell-cafe] Re: Unable to install packages

2010-11-29 Thread Albert Y. C. Lai
On 10-11-29 03:15 PM, Albert Y. C. Lai wrote: cabal install --global binary apt-get install libghc6-binary-dev They are the same version (at the time of writing, and assume Ubuntu 10.10) and they will fight for the unique throne of binary-0.5.0.2 in the metadata. Oh bother, Debian/Ubuntu's

Re: [Haskell-cafe] Crazy idea, building ghc with cabal?

2010-11-29 Thread Alexander Dunlap
On Mon, Nov 29, 2010 at 2:48 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 30 November 2010 03:46, Joris Putcuyps joris.putcu...@gmail.com wrote: Hello Could it be done and would it be interesting, building 'ghc' using cabal?  * 'lhc' does it  * Use 'cabal-rpm' and

[Haskell-cafe] System.Console.Haskeline

2010-11-29 Thread michael rice
How do I load this module? Michael = *Main :m + System.Console.Haskeline no location info:     Could not find module `System.Console.Haskeline':   it is not a module in the current program, or in any known package. *Main

Re: [Haskell-cafe] System.Console.Haskeline

2010-11-29 Thread Ivan Lazar Miljenovic
On 30 November 2010 13:07, michael rice nowg...@yahoo.com wrote: How do I load this module? Michael = *Main :m + System.Console.Haskeline no location info:     Could not find module `System.Console.Haskeline':   it is not a module in the current program, or in any known

Re: [Haskell-cafe] System.Console.Haskeline

2010-11-29 Thread Ivan Lazar Miljenovic
On 30 November 2010 13:43, michael rice nowg...@yahoo.com wrote: [mich...@localhost ~]$ ghc-pkg list haskeline /usr/lib/ghc-6.12.3/package.conf.d /home/michael/.ghc/i386-linux-6.12.3/package.conf.d [mich...@localhost ~]$ This means you don't have the haskeline library installed. If your

[Haskell-cafe] Bifold: a simultaneous foldr and foldl

2010-11-29 Thread Noah Easterly
Somebody suggested I post this here if I wanted feedback. So I was thinking about the ReverseState monad I saw mentioned on r/haskell a couple days ago, and playing around with the concept of information flowing two directions when I came up with this function: bifold :: (l - a - r - (r,l)) -

[Haskell-cafe] Fwd: typehash patch for base = 4 4.4

2010-11-29 Thread Andrew Miller
Hi all, Typehash 1.4.0.0, the latest version of typehash in hackage, has a cabal constraint base 4, making it difficult to use with packages that only support newer base versions. I sent a patch to fix this to the maintainer for the typehash package (Lennart Augustsson) on the 16th of

[arch-haskell] Please update haskell-text in [extra]

2010-11-29 Thread Peter Simons
Hi, can someone with access to [extra] please update haskell-text to version 0.10.0.0? The old version is blocking other updates, such as haskell-yesod, etc. Take care, Peter ___ arch-haskell mailing list arch-haskell@haskell.org