Re: [GHC] #7162: RULES that never fire (automatically)

2012-12-05 Thread GHC
#7162: RULES that never fire (automatically) ---+ Reporter: andygill | Owner: Type: feature request | Status: new Priority: normal|

Re: [GHC] #7476: -ddump-minimal-imports confused if first line is an import

2012-12-05 Thread GHC
#7476: -ddump-minimal-imports confused if first line is an import -+-- Reporter: dag | Owner: simonpj Type: bug | Status: new Priority: normal

Re: [GHC] #7459: deriving Generic does not work with TypeLits

2012-12-05 Thread GHC
#7459: deriving Generic does not work with TypeLits -+-- Reporter: maxtaldykin | Owner: dreixel Type: feature request | Status: new Priority: normal|

Re: [GHC] #7347: Existential data constructors should not be promoted

2012-12-05 Thread GHC
#7347: Existential data constructors should not be promoted ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal

Re: [GHC] #7347: Existential data constructors should not be promoted

2012-12-05 Thread GHC
#7347: Existential data constructors should not be promoted ---+ Reporter: simonpj | Owner: Type: bug | Status: merge Priority: normal

Re: [GHC] #7476: -ddump-minimal-imports confused if first line is an import

2012-12-05 Thread GHC
#7476: -ddump-minimal-imports confused if first line is an import -+-- Reporter: dag | Owner: igloo Type: bug | Status: new Priority: normal

[GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #7473: getModificationTime gives only second-level resolution

2012-12-05 Thread GHC
#7473: getModificationTime gives only second-level resolution +--- Reporter: duncan | Owner: Type: bug | Status: patch Priority: normal

Re: [GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone:

[GHC] #7482: GHC.Event overwrites main IO managers hooks to RTS

2012-12-05 Thread GHC
#7482: GHC.Event overwrites main IO managers hooks to RTS -+-- Reporter: AndreasVoellmy| Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #2431: Allow empty case analysis (was: allow empty case analysis)

2012-12-05 Thread GHC
#2431: Allow empty case analysis +--- Reporter: RalfHinze| Owner: Type: feature request | Status: new Priority: low | Milestone:

Re: [GHC] #7482: GHC.Event overwrites main IO managers hooks to RTS

2012-12-05 Thread GHC
#7482: GHC.Event overwrites main IO managers hooks to RTS -+-- Reporter: AndreasVoellmy| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7482: GHC.Event overwrites main IO managers hooks to RTS

2012-12-05 Thread GHC
#7482: GHC.Event overwrites main IO managers hooks to RTS -+-- Reporter: AndreasVoellmy| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7482: GHC.Event overwrites main IO managers hooks to RTS

2012-12-05 Thread GHC
#7482: GHC.Event overwrites main IO managers hooks to RTS -+-- Reporter: AndreasVoellmy| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #6040: Adding a type signature changes heap allocation into stack allocation without changing the actual type

2012-12-05 Thread GHC
#6040: Adding a type signature changes heap allocation into stack allocation without changing the actual type -+-- Reporter: tibbe | Owner: simonpj Type: bug |

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7460: Double literals generated bad core

2012-12-05 Thread GHC
#7460: Double literals generated bad core -+-- Reporter: tibbe | Owner: tibbe Type: bug | Status: new Priority: normal

Re: [GHC] #6040: Adding a type signature changes heap allocation into stack allocation without changing the actual type

2012-12-05 Thread GHC
#6040: Adding a type signature changes heap allocation into stack allocation without changing the actual type -+-- Reporter: tibbe | Owner: simonpj Type: bug |

Re: [GHC] #7466: [PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds GMP.framework in the system-standard path (was: [PATCH] Prefer libgmp/libgmp3 over GMP.framework on Darwin)

2012-12-05 Thread GHC
#7466: [PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds GMP.framework in the system-standard path --+- Reporter: PHO| Owner: Type: bug|

Re: [GHC] #4268: Annotation extension needs a flag

2012-12-05 Thread GHC
#4268: Annotation extension needs a flag ---+ Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal|

Re: Dynamic libraries by default and GHC 7.8

2012-12-05 Thread Brandon Allbery
On Wed, Dec 5, 2012 at 12:03 AM, Chris Smith cdsm...@gmail.com wrote: I'm curious how much of the compile twice situation for static and dynamic libraries could actually be shared. Probably none; on most platforms you're actually generating different code (dynamic libraries require generation

The end of an era, and the dawn of a new one

2012-12-05 Thread Simon Peyton-Jones
Friends You'll have seen Simon Marlow's recent announcement (included below): | Today I'm announcing that I'm leaving Microsoft Research. Simon Marlow and I have worked together on GHC for nearly two decades. During much of that time we have shared a cup of coffee every morning (one cup each,

Re: The end of an era, and the dawn of a new one

2012-12-05 Thread David Terei
I have always considered the LLVM code generator my responsibility and will continue to do so. I don't seem to find the time to make improvements to it but make sure to keep it bug free and working with the latest LLVM releases. So if others want are interested in working on it then there is

Re: The end of an era, and the dawn of a new one

2012-12-05 Thread Johan Tibell
On Wed, Dec 5, 2012 at 12:37 PM, David Terei davidte...@gmail.com wrote: I have always considered the LLVM code generator my responsibility and will continue to do so. I don't seem to find the time to make improvements to it but make sure to keep it bug free and working with the latest LLVM

Emitting constants to the .data section from the NatM monad

2012-12-05 Thread Johan Tibell
Hi! I'm trying to implement word2Double# and I've looked at how e.g. LLVM does it. LLVM outputs quite clever branchless code that uses two predefined constants in the .data section. Is it possible to add contents to the current .data section from a function in the NatM monad e.g.

Does GHC still support x87 floating point math?

2012-12-05 Thread Johan Tibell
Hi, I'm currently trying to implement word2Double#. Other such primops support both x87 and sse floating point math. Do we still support x87 fp math? Which compiler flag enables it? -- Johan ___ Glasgow-haskell-users mailing list

proposal: separate lists for ghc-cvs commits and ghc-dev chatter

2012-12-05 Thread Carter Schonwald
hey all, It seems to me (and i've certainly heard other people echo this sentiment) that: ghc dev chatting gets buried in the huge volume of commit + build report emails, and that creates (perhaps) another barrier to involvement in ghc dev at the hobbyist (rather than part time/full time ) scale?

Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

2012-12-05 Thread Erik de Castro Lopo
Carter Schonwald wrote: hey all, It seems to me (and i've certainly heard other people echo this sentiment) that: ghc dev chatting gets buried in the huge volume of commit + build report emails, and that creates (perhaps) another barrier to involvement in ghc dev at the hobbyist (rather than

Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

2012-12-05 Thread Austin Seipp
I think we already mostly have this. The separation (remembering something I read off Trac I think,) was something like: * cvs-ghc mailing list: Prospective patches, automatically generated build/commit emails, etc. * glasgow-haskell-users mailing list: Developers and users of GHC discussing

[Haskell] FINAL CFP PLACES'13 -- Deadline for Abstracts Fri 14 Dec, full papers Fri 21 Dec

2012-12-05 Thread Wim Vanderbauwhede
FINAL CALL FOR PAPERS PLACES'13 Programming Language Approaches to Concurrency and Communication-cEntric Software 23rd March 2013, Rome, Italy (affiliated with ETAPS 2013)

[Haskell] The end of an era, and the dawn of a new one

2012-12-05 Thread Simon Peyton-Jones
Friends You'll have seen Simon Marlow's recent announcement (included below): | Today I'm announcing that I'm leaving Microsoft Research. Simon Marlow and I have worked together on GHC for nearly two decades. During much of that time we have shared a cup of coffee every morning (one cup each,

Re: [Haskell] The end of an era, and the dawn of a new one

2012-12-05 Thread Johan Tibell
On Wed, Dec 5, 2012 at 12:37 PM, David Terei davidte...@gmail.com wrote: I have always considered the LLVM code generator my responsibility and will continue to do so. I don't seem to find the time to make improvements to it but make sure to keep it bug free and working with the latest LLVM

[Haskell] Haskell Weekly News: Issue 253

2012-12-05 Thread Daniel Santa Cruz
Welcome to issue 253 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of November 25 to December 01, 2012. Quotes of the Week * edwardk: this breaks my previous record of 6 unsafeCoerce's in a line *

Re: [Haskell-cafe] RFC: Changes to Travis CI's Haskell support

2012-12-05 Thread Simon Hengel
On Mon, Dec 03, 2012 at 08:13:42AM -0800, Johan Tibell wrote: On Mon, Dec 3, 2012 at 1:04 AM, Simon Hengel s...@typeful.net wrote: I think the right thing to do is: install: - cabal install --only-dependencies --enable-tests script: - cabal configure

Re: [Haskell-cafe] Design of a DSL in Haskell

2012-12-05 Thread Kim-Ee Yeoh
Joerg, For definitions I'd search for Andres Loeh and haskell edsl. His PDF slides also have code examples which'll help. Lennart also gave a talk this year titled making edsls fly. The video is on the web. If you have specific questions bring them to the list! The community is a tremendous

Re: [Haskell-cafe] Design of a DSL in Haskell

2012-12-05 Thread Tillmann Rendel
Hi Joerg, Joerg Fritsch wrote: I am interested in the definition of deep vs shallow embedded I would say: In shallow embedding, a DSL is implemented as a library. Every keyword of the DSL is a function of the library. The implementation of the function directly computes the result of

[Haskell-cafe] Are there REPA linear algebra routines? e.g. Eigenvalues?

2012-12-05 Thread KC
:) -- -- Regards, KC ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] The end of an era, and the dawn of a new one

2012-12-05 Thread Simon Peyton-Jones
Friends You'll have seen Simon Marlow's recent announcement (included below): | Today I'm announcing that I'm leaving Microsoft Research. Simon Marlow and I have worked together on GHC for nearly two decades. During much of that time we have shared a cup of coffee every morning (one cup each,

[Haskell-cafe] Maintainer of hgettext

2012-12-05 Thread Ivan Perez
Hello haskellers, A few months ago I sent an email to Vasyl Pasternak regarding a couple of bugs in hgettext [1], together with a small patch that fixes them. I never received an answer and I can see that the error persists. Does anyone know where he is? What would you recommend at this point?

Re: [Haskell-cafe] Maintainer of hgettext

2012-12-05 Thread Felipe Almeida Lessa
Did you try pinging him again? On Wed, Dec 5, 2012 at 3:59 PM, Ivan Perez ivanperezdoming...@gmail.com wrote: Hello haskellers, A few months ago I sent an email to Vasyl Pasternak regarding a couple of bugs in hgettext [1], together with a small patch that fixes them. I never received an

[Haskell-cafe] Best approach to avoid dependency hells

2012-12-05 Thread Ivan Perez
Hello everyone, I've spent the last couple of days fighting my way around a dependency hell with my own libraries and packages. If I install them package by package (by hand), I'm very likely to hit one of these conflicts that I'm talking about. A simple example of something that did happen: -

Re: [Haskell-cafe] Best approach to avoid dependency hells

2012-12-05 Thread Jason Dagit
On Wed, Dec 5, 2012 at 10:52 AM, Ivan Perez ivanperezdoming...@gmail.comwrote: Hello everyone, I've spent the last couple of days fighting my way around a dependency hell with my own libraries and packages. If I install them package by package (by hand), I'm very likely to hit one of these

[Haskell-cafe] Maintainer of fixpoint

2012-12-05 Thread Petr P
Dear Haskellers, I've made some minor improvements of fixpoint package http://hackage.haskell.org/package/fixpoint. I tried to contact the original maintainer twice, but without success. The package hasn't been updated for 4 years. How should I proceed? Should I start a new fork of the

[Haskell-cafe] QuickCheck shrink

2012-12-05 Thread warrensomebody
Can someone point me at some documentation or examples of how to write and use a QuickCheck shrink function. I can't seem to find anything online. Thanks, Warren ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] The end of an era, and the dawn of a new one

2012-12-05 Thread Johan Tibell
On Wed, Dec 5, 2012 at 12:37 PM, David Terei davidte...@gmail.com wrote: I have always considered the LLVM code generator my responsibility and will continue to do so. I don't seem to find the time to make improvements to it but make sure to keep it bug free and working with the latest LLVM

Re: [Haskell-cafe] Maintainer of hgettext

2012-12-05 Thread Roman Cheplyaka
* Ivan Perez ivanperezdoming...@gmail.com [2012-12-05 17:59:26+] Hello haskellers, A few months ago I sent an email to Vasyl Pasternak regarding a couple of bugs in hgettext [1], together with a small patch that fixes them. I never received an answer and I can see that the error

Re: [Haskell-cafe] QuickCheck shrink

2012-12-05 Thread Roman Cheplyaka
* warrensomeb...@gmail.com warrensomeb...@gmail.com [2012-12-05 12:21:52-0800] Can someone point me at some documentation or examples of how to write and use a QuickCheck shrink function. I can't seem to find anything online. Thanks, Did you try to look at the instances defined in the package

Re: [Haskell-cafe] Maintainer of fixpoint

2012-12-05 Thread kudah
On Wed, 5 Dec 2012 20:22:32 +0100 Petr P petr@gmail.com wrote: Or is there a way how to take over an orphaned package? You can just upload a new version, if you're sure that the original maintainer won't protest. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Best approach to avoid dependency hells

2012-12-05 Thread Rogan Creswick
On Wed, Dec 5, 2012 at 11:13 AM, Jason Dagit dag...@gmail.com wrote: Let's say you are working in a directory foo that contains a cabal file for package foo. When you type 'cabal-dev install', cabal-dev looks at foo.cabal in the current directory, it uses it to calculate constraints and then

Re: [Haskell-cafe] Understanding GHC's instance inference.

2012-12-05 Thread adam vogt
On Wed, Dec 5, 2012 at 12:12 AM, Takayuki Muranushi muranu...@gmail.com wrote: Dear everyone, I have a code https://github.com/nushio3/practice/blob/master/instance-inference/zipf-11-1.hs that produces a type-error when I remove a type signature.

[Haskell-cafe] sequential logic

2012-12-05 Thread Christopher Howard
Hi. I was wondering what the various (and especially most simple) approaches one could take for working with (simulating or calculating) sequential logic in Haskell. By sequential logic, I mean like wikipedia describes, where a system is made up of logic gates, whose output is dependent not only

Re: [Haskell-cafe] sequential logic

2012-12-05 Thread Eric Velten de Melo
2012/12/5 Christopher Howard christopher.how...@frigidcode.com: Hi. I was wondering what the various (and especially most simple) approaches one could take for working with (simulating or calculating) sequential logic in Haskell. By sequential logic, I mean like wikipedia describes, where a

[Haskell-cafe] Haskell Weekly News: Issue 253

2012-12-05 Thread Daniel Santa Cruz
Welcome to issue 253 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of November 25 to December 01, 2012. Quotes of the Week * edwardk: this breaks my previous record of 6 unsafeCoerce's in a line *

Re: [Haskell-cafe] sequential logic

2012-12-05 Thread Emil Axelsson
2012-12-06 01:16, Christopher Howard skrev: Hi. I was wondering what the various (and especially most simple) approaches one could take for working with (simulating or calculating) sequential logic in Haskell. By sequential logic, I mean like wikipedia describes, where a system is made up of