[GHC] #7423: panic on typo in deriving clause

2012-11-17 Thread GHC
#7423: panic on typo in deriving clause -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.4.1

Re: [GHC] #7423: panic on typo in deriving clause

2012-11-17 Thread GHC
#7423: panic on typo in deriving clause ---+ Reporter: guest |Owner: Type: bug | Status: closed Priority: normal |Component: Compiler Version: 7.4.1

Re: [GHC] #7267: linux-ppc64: Segfault during stage2 build

2012-11-17 Thread GHC
#7267: linux-ppc64: Segfault during stage2 build -+-- Reporter: erikd| Owner: Type: bug | Status: new Priority: normal |

Re: [GHC] #7342: Bug in System.Posix.Env.putEnv

2012-11-17 Thread GHC
#7342: Bug in System.Posix.Env.putEnv -+-- Reporter: SimonHengel | Owner: Type: bug | Status: patch Priority: normal

Re: [GHC] #7226: bytestring changes in 7.6 branch

2012-11-17 Thread GHC
#7226: bytestring changes in 7.6 branch --+- Reporter: igloo | Owner: igloo Type: bug| Status: new Priority: highest|

Re: [GHC] #7342: Memory violation bug in System.Posix.Env.putEnv (was: Bug in System.Posix.Env.putEnv)

2012-11-17 Thread GHC
#7342: Memory violation bug in System.Posix.Env.putEnv -+-- Reporter: SimonHengel | Owner: Type: bug | Status: patch Priority:

Re: [GHC] #3103: Compiling base with cabal fails.

2012-11-17 Thread GHC
#3103: Compiling base with cabal fails. -+-- Reporter: Lemmih| Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #3831: SpecConstr should exploit cases where there is exactly one call pattern

2012-11-17 Thread GHC
#3831: SpecConstr should exploit cases where there is exactly one call pattern -+-- Reporter: igloo | Owner: simonpj Type: bug | Status: new

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-11-17 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #4012: Compilation results are not deterministic

2012-11-17 Thread GHC
#4012: Compilation results are not deterministic ---+ Reporter: kili | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #4321: Unexpected stack overflow prevented by superfluous type annotation

2012-11-17 Thread GHC
#4321: Unexpected stack overflow prevented by superfluous type annotation ---+ Reporter: bjpop | Owner: simonpj Type: bug | Status: new Priority:

Re: [GHC] #5019: OS X: ld: warning: could not create compact unwind for _ffi_call_unix64

2012-11-17 Thread GHC
#5019: OS X: ld: warning: could not create compact unwind for _ffi_call_unix64 ---+ Reporter: altaic | Owner: Type: bug | Status: new

Re: [GHC] #5407: ghc-7.2.1 build failed on sparc solaris with non-GNU linker

2012-11-17 Thread GHC
#5407: ghc-7.2.1 build failed on sparc solaris with non-GNU linker -+-- Reporter: maeder| Owner: igloo Type: bug | Status: patch Priority: high |

Re: [GHC] #5442: ghc-pkg unregister --user/--global/--package-conf not normative

2012-11-17 Thread GHC
#5442: ghc-pkg unregister --user/--global/--package-conf not normative -+-- Reporter: guest | Owner: Type: bug | Status: new Priority:

Re: [GHC] #5780: -faggressive-primops change caused a failure in perf/compiler/parsing001

2012-11-17 Thread GHC
#5780: -faggressive-primops change caused a failure in perf/compiler/parsing001 -+-- Reporter: simonmar | Owner: Type: bug | Status: new

[GHC] #7424: Add Data.Bits instance for Bool

2012-11-17 Thread GHC
#7424: Add Data.Bits instance for Bool -+-- Reporter: Aninhumer | Owner: Type: feature request | Status: new Priority: normal| Component:

[GHC] #7425: Add method to Data.Bits for creating zeroed values.

2012-11-17 Thread GHC
#7425: Add method to Data.Bits for creating zeroed values. -+-- Reporter: Aninhumer | Owner: Type: feature request | Status: new Priority: normal|

Re: [GHC] #6022: GHC infers over-general types

2012-11-17 Thread GHC
#6022: GHC infers over-general types -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #5831: space_leak_001(ghci) segfaults on OS X x86_64

2012-11-17 Thread GHC
#5831: space_leak_001(ghci) segfaults on OS X x86_64 ---+ Reporter: igloo | Owner: Type: bug | Status: closed Priority: high | Milestone:

Re: [GHC] #6098: debugger does not know the correct type for a newtype field

2012-11-17 Thread GHC
#6098: debugger does not know the correct type for a newtype field --+- Reporter: phercek| Owner: Type: bug| Status: new

Re: [GHC] #7056: GHCi loadArchive libiconv.a:failed Unknown PEi386 section name `.drectve'

2012-11-17 Thread GHC
#7056: GHCi loadArchive libiconv.a:failed Unknown PEi386 section name `.drectve' ---+ Reporter: songpp | Owner: Type: bug | Status: new

Re: [GHC] #7062: Spurious undefined reference to `openpty'

2012-11-17 Thread GHC
#7062: Spurious undefined reference to `openpty' ---+ Reporter: simonmar | Owner: Type: bug | Status: infoneeded Priority: high |

Re: [GHC] #7103: Compiler panic, when loading wxc in GHCi

2012-11-17 Thread GHC
#7103: Compiler panic, when loading wxc in GHCi -+-- Reporter: Henk-Jan | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #7103: Compiler panic, when loading wxc in GHCi

2012-11-17 Thread GHC
#7103: Compiler panic, when loading wxc in GHCi -+-- Reporter: Henk-Jan | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #7108: Link to haskell report in prelude

2012-11-17 Thread GHC
#7108: Link to haskell report in prelude -+-- Reporter: JonasDuregard | Owner: igloo Type: bug | Status: new Priority: high |

Re: [GHC] #7229: Detecting if a process was killed by a signal is impossible

2012-11-17 Thread GHC
#7229: Detecting if a process was killed by a signal is impossible --+- Reporter: benmachine | Owner: Type: bug| Status: new Priority: high

Re: [GHC] #7043: 32-bit GHC ceiling of negative float SEGFAULT: 11

2012-11-17 Thread GHC
#7043: 32-bit GHC ceiling of negative float SEGFAULT: 11 --+- Reporter: DrGodCarl | Owner: igloo Type: bug| Status: new

Re: [GHC] #7281: GHC 7.4.2 build fails on Fedora17

2012-11-17 Thread GHC
#7281: GHC 7.4.2 build fails on Fedora17 ---+ Reporter: PaulJohnson | Owner: Type: bug | Status: new Priority: high| Milestone:

Re: [GHC] #7281: GHC 7.4.2 build fails on Fedora17

2012-11-17 Thread GHC
#7281: GHC 7.4.2 build fails on Fedora17 ---+ Reporter: PaulJohnson | Owner: judah.jacobson@… Type: bug | Status: new Priority: high|

[GHC] #7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo

2012-11-17 Thread GHC
#7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo --+- Reporter: luqui | Owner: Type: bug| Status: new

Re: [GHC] #7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo

2012-11-17 Thread GHC
#7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo ---+ Reporter: luqui | Owner: Type: bug | Status: new

Re: [GHC] #7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo

2012-11-17 Thread GHC
#7426: import Foo hiding (X) should not be a fatal error when X is not exported by Foo ---+ Reporter: luqui | Owner: Type: bug | Status: new

Re: [GHC] #7281: GHC 7.4.2 build fails on Fedora17

2012-11-17 Thread GHC
#7281: GHC 7.4.2 build fails on Fedora17 ---+ Reporter: PaulJohnson | Owner: judah.jacobson@… Type: bug | Status: new Priority: high|

Re: [GHC] #7281: GHC 7.4.2 build fails on Fedora17

2012-11-17 Thread GHC
#7281: GHC 7.4.2 build fails on Fedora17 ---+ Reporter: PaulJohnson | Owner: judah.jacobson@… Type: bug | Status: new Priority: high|

Re: [GHC] #7108: Link to haskell report in prelude

2012-11-17 Thread GHC
#7108: Link to haskell report in prelude +--- Reporter: JonasDuregard | Owner: igloo Type: bug| Status: closed Priority: high |

Re: [GHC] #7421: Data.List.insert / insertBy do not match the documentation

2012-11-17 Thread GHC
#7421: Data.List.insert / insertBy do not match the documentation +--- Reporter: Bart Massey | Owner: Type: bug | Status: new

Re: Generating random type-level naturals

2012-11-17 Thread Eric M. Pashman
Wren, Nicolas, Edward, I'm grateful for your input. I'll sit down soon to take a closer look at your suggestions and code, and at the papers you've recommended. My thanks, Eric On Nov 16, 2012, at 15:08 , Edward Kmett ekm...@gmail.com wrote: In

[Haskell] ANNOUNCE: Haskell Communities and Activities Report (23rd ed., November 2012)

2012-11-17 Thread Janis Voigtländer
On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (23rd edition, November 2012) is now available in PDF and HTML formats: http://haskell.org/communities/11-2012/report.pdf

Re: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (23rd ed., November 2012)

2012-11-17 Thread David Sabel
Dear Janis, thanks for your great work in preparing the report. David Am 17.11.2012 22:03, schrieb Janis Voigtländer: On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (23rd edition, November 2012) is

Re: [Haskell-cafe] need help with understanding expression

2012-11-17 Thread MigMit
Отправлено с iPhone 17.11.2012, в 11:19, damodar kulkarni kdamodar2...@gmail.com написал(а): In the second case, why the GHC doesn't give something like? ([Char] (a - t), Num a) = t Because Num is a class of types, while String is a type. In other words, in the expression 3 a ghc doesn't

Re: [Haskell-cafe] I killed performance of my code with Eval and Strategies

2012-11-17 Thread Janek S.
Just another definition of calculateSeq: calculateSeq = zipWith ($) (cycle [sin,cos]) . map sqrt This is just slightly slower than my implementation. I came up with a better implementation of parallel function: calculatePar2 :: [Double] - [Double] calculatePar2 xss = runEval $ concat

[Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Rune Harder Bak
Given a list of numbers of fixed length I need to list all possible values (and the associated computation) you get by inserting +,-,*,/ between the numbers, and also set parentheses where you please. It shouldn't list computations with unnecessary parentheses. Example list of length 3 [a,b,c] and

[Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Nicolas Trangez
All, I've been working on a server implementation of an existing networking protocol. The protocol uses magic constants in some places (e.g. to tag message types), as well as bitfields, or a combination of both packed in a single value. I created data types for both the identifiers as well as

Re: [Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Roman Cheplyaka
Hi Nicolas, The simplest approach would be to use the standard (derived) Enum instance that would be used for enumerations (like [Flag1..]), and have your own functions to convert to/from magic constants. Roman * Nicolas Trangez nico...@incubaid.com [2012-11-17 15:44:57+0100] All, I've been

[Haskell-cafe] Parsing different types, same typeclass

2012-11-17 Thread José Lopes
Hello everyone, I was wondering if you could help me! So, I have a typeclass Action which defines method run: class Action a where run :: a - Int and two data types that are instances of this typeclass: data A = A Int deriving (Read, Show) instance Action A where run (A n) =

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread timothyhobbs
This smells like homework to me, which isn't a bad thing, it will however change the way I answer you. Please look at http://hackage.haskell.org/packages/archive/base/latest/doc/ html/Data-List.html#v:permutations and show us your attempts to use this function. Timothy -- Původní

Re: [Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Nicolas Trangez
On Sat, 2012-11-17 at 16:52 +0200, Roman Cheplyaka wrote: Hi Nicolas, The simplest approach would be to use the standard (derived) Enum instance that would be used for enumerations (like [Flag1..]), and have your own functions to convert to/from magic constants. Sure, but that kind-of

Re: [Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Herbert Valerio Riedel
Nicolas Trangez nico...@incubaid.com writes: On Sat, 2012-11-17 at 16:52 +0200, Roman Cheplyaka wrote: Hi Nicolas, The simplest approach would be to use the standard (derived) Enum instance that would be used for enumerations (like [Flag1..]), and have your own functions to convert to/from

Re: [Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Nicolas Trangez
On Sat, 2012-11-17 at 16:27 +0100, Herbert Valerio Riedel wrote: what do you hope to gain from making your flags type an instance of the Enum class? Among others, the ability to list all flags using [Flag1 ..] How is this handled for libraries wrapping C libs which use some bitset structure?

Re: [Haskell-cafe] Custom Enum instance with non-consecutive indices

2012-11-17 Thread Roman Cheplyaka
* Nicolas Trangez nico...@incubaid.com [2012-11-17 16:23:28+0100] On Sat, 2012-11-17 at 16:52 +0200, Roman Cheplyaka wrote: Hi Nicolas, The simplest approach would be to use the standard (derived) Enum instance that would be used for enumerations (like [Flag1..]), and have your own

[Haskell-cafe] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.

2012-11-17 Thread Gareth Smith
Apologies for any duplicates: CALL FOR PARTICIPATION SIGPLAN Programming Languages Mentoring Workshop, Rome Tuesday January 22, 2013 Co-located with POPL 2013 PLMW web page: http://www.doc.ic.ac.uk/~gds/PLMW/index.html After the resounding success of the first Programming Languages

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Rune Harder Bak
It might be rare that a real world problem can be formulated as such a simple mathematical challenge, so I can't blame you for thinking about home work. I did too. Actually it's part of a logic puzzle I'm implementing. Attacking the problem textually, I can treat the list of infix operators as

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Artyom Kazak
Instead of attacking the problem textually, try to create a datatype which would describe your expressions, then generate all values of this datatype, filter those you don’t need, and convert the rest into Strings. Currently your expressions are represented by “String” — conversion is very

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Artyom Kazak
Sorry! I replied without reading your message properly. I could then work directly with parsing trees, and generate all binary trees of fixed lengths. But most of them would be unnecessary, so it seems like I'm attacking it from the wrong angle. They won’t be unnecessary if you generate them

Re: [Haskell-cafe] How to determine correct dependency versions for a library?

2012-11-17 Thread Ganesh Sittampalam
On 09/11/2012 18:35, Clark Gaebel wrote: I think we just use dependencies different things. This is a problem inherent in cabal. When I (and others) specify a dependency, I'm saying My package will work with these packages. I promise. When you (and others) specify a dependency, you're

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Artyom Kazak
The following algorithm generates all possible expressions and throws away most of unnecessary duplicates. import qualified Data.Map as M data Expr = Num Int | Add Expr Expr | Sub Expr Expr | Mul Expr Expr | Div Expr Expr Rendering function is

Re: [Haskell-cafe] List all multiply/add combinations

2012-11-17 Thread Artyom Kazak
Indentation messed up… I have pasted the code here: http://hpaste.org/77864 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Parsing different types, same typeclass

2012-11-17 Thread Stephen Tetley
Being concrete, all you can do is: parseAction :: String - Either A B parseAction str | (A `isPrefixOf` str = Left $ read str | (B `isPrefixOf` str = Right $ read str parseAction :: String - Int parseAction str | (A `isPrefixOf` str = run $ (read str :: A) | (B `isPrefixOf`

Re: [Haskell-cafe] Parsing different types, same typeclass

2012-11-17 Thread José A. Lopes
Hey Stephen, Thank you for the reply! Can you elaborate on how I can use existentials? I always up for learning new (Haskell) stuff :) Cheers, José On 18-11-2012 00:19, Stephen Tetley wrote: Being concrete, all you can do is: parseAction :: String - Either A B parseAction str | (A

Re: [Haskell-cafe] How to determine correct dependency versions for a library?

2012-11-17 Thread Michael Orlitzky
Replying somewhere random in the thread. Linux distributions have to solve this same problem. We first need to decide what Hackage's function is supposed to be: (1) A dumb repository to host Haskell code (2) A collection of Haskell packages that work together In reality it's (1), but the

Re: [Haskell-cafe] I killed performance of my code with Eval and Strategies

2012-11-17 Thread Bertram Felgenhauer
Dear Janek, I am reading Simon Marlow's tutorial on parallelism and I have problems with correctly using Eval monad and Strategies. I *thought* I understand them but after writing some code it turns out that obviously I don't because parallelized code is about 20 times slower. Here's a short

Re: [Haskell-cafe] need help with understanding expression

2012-11-17 Thread Albert Y. C. Lai
On 12-11-17 02:19 AM, damodar kulkarni wrote: Let's see tthis: Prelude :t 3 a 3 a :: (Num ([Char] - t)) = t No complaint from GHC; but now see this: Prelude :t a 3 interactive:1:0: Couldn't match expected type `t1 - t' against inferred type `[Char]' In the expression: a

Re: [Haskell-cafe] Parsing different types, same typeclass

2012-11-17 Thread Chris Wong
Hello José, So, I have a typeclass Action which defines method run: class Action a where run :: a - Int (snipped) Now, I want to parse either A or B from a String. I was thinking about something like this... parseAction :: (Action a, Read a) = String - a parseAction str | (A