Hi there,
We're having a 1-day conference on all things Haskell in London on October
10thhttp://skillsmatter.com/event-details/home/haskell-exchange-2012/ac-5053.
We're bringing together the cream of the crop in the Haskell community to
discuss 22 years of Haskell, its creative development from
--
CALL FOR LIGHTNING TALKS / CHALLENGES
--
At the Workshop on Generic Programming 2012 on Sunday, September 9, 2012,
we will have a discussion about
#7211: Huge space leak on a program that shouldn't leak
-+--
Reporter: bartavelle | Owner:
Type: bug | Status: new
Priority: normal
#3658: Dynamically link GHCi on platforms that support it
-+--
Reporter: simonmar | Owner:
Type: task | Status: new
#7192: Bug in -fregs-graph with -fnew-codegen
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: highest |
#7185: Compiled program crashes
---+
Reporter: waldheinz | Owner: simonmar
Type: bug | Status: new
Priority: high| Milestone: 7.6.1
#5435: GHCi linker should run constructors for linked libraries
-+--
Reporter: pumpkin | Owner:
Type: bug | Status: new
Priority: high
#7185: Compiled program crashes
---+
Reporter: waldheinz | Owner: simonmar
Type: bug | Status: merge
Priority: high| Milestone: 7.6.1
#7193: darcs 2.8 fails to compile with ghc 7.6
-+--
Reporter: pcapriotti| Owner:
Type: bug | Status: new
Priority: highest |
#4359: Implement lambda-case/lambda-if
---+
Reporter: batterseapower| Owner: simonmar
Type: feature request | Status: closed
Priority: high | Milestone:
#6042: GHC is bloated
---+
Reporter: simonmar | Owner: pcapriotti
Type: bug | Status: closed
Priority: highest | Milestone: 7.6.1
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter: YitzGale | Owner: pcapriotti
Type: feature request | Status: new
Priority: high
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter: YitzGale | Owner: pcapriotti
Type: feature request | Status: merge
Priority: high
#7196: Desugarer needs an extra case for casts in coercions
-+--
Reporter: simonpj | Owner:
Type: bug | Status: closed
#7193: darcs 2.8 fails to compile with ghc 7.6
-+--
Reporter: pcapriotti | Owner:
Type: bug | Status: closed
Priority: highest |
#7178: Panic in coVarsOfTcCo
---+
Reporter: simonpj | Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.6.1
#7192: Bug in -fregs-graph with -fnew-codegen
-+--
Reporter: simonmar | Owner: benl
Type: bug | Status: new
Priority: highest |
#7212: GHCi segmentation fault
--+-
Reporter: zenzike | Owner:
Type: bug | Status: new
Priority: normal| Component: GHCi
Version:
#7210: Bang in front of type name crashes GHC
+---
Reporter: tibbe | Owner:
Type: bug | Status: patch
Priority: normal |
#7214: Missing Typeable instances
--+-
Reporter: selinger | Owner:
Type: bug | Status: new
Priority: normal| Component:
#7214: Missing Typeable instances
-+--
Reporter: selinger |Owner:
Type: bug | Status: closed
Priority: normal|Component:
#7215: miscompilation due to broken interface hash
-+--
Reporter: akio | Owner:
Type: bug | Status: new
Priority: normal
#7215: miscompilation due to broken interface hash
-+--
Reporter: akio | Owner:
Type: bug | Status: new
Priority: normal
#7216: Compositional blocking on file descriptors
--+-
Reporter: AndreasVoellmy| Owner:
Type: feature request | Status: new
Priority: normal|
#7216: Compositional blocking on file descriptors
--+-
Reporter: AndreasVoellmy| Owner:
Type: feature request | Status: patch
Priority: normal|
Hello,
Can anyone please explain why the following code is rejected by GHC (7.4.1)?
The same code is also available at https://gist.github.com/3606849.
-
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes
On Sep 1, 2012, at 4:25 AM, Adam Gundry wrote:
As Edward and others have recognised, the problem here is that FC
coercions are not expressive enough to prove eta rules, that is
forall x : (a, b) . x ~ (Fst x, Snd x)
or more generally, that every element of a single-constructor (record)
This is delicate. First, make sure you read the paper Modular type inference
with local assumptions (on my home page).
Now, typechecking v's RHS will generate this implication constraint (see the
paper):
(forall b. (C alpha b, TF b ~ Y) = C A beta, TF beta ~ Y, b~beta)
where 'alpha' is a
Forgot to include the reference:
[1] B. A. Yorgey et al. Giving Haskell a Promotion
(http://www.seas.upenn.edu/~sweirich/papers/tldi12.pdf)
On Sep 3, 2012, at 3:26 PM, Richard Eisenberg wrote:
On Sep 1, 2012, at 4:25 AM, Adam Gundry wrote:
As Edward and others have recognised, the problem
On Mon, Sep 3, 2012 at 9:26 PM, Richard Eisenberg e...@cis.upenn.edu wrote:
[...]
So, it seems possible to introduce eta coercions into FC for all kinds
containing only one type constructor without sacrificing soundness. How the
type inference engine/source Haskell triggers the use of these
I retract my statement.
My mistake was that I looked at the definition for consistency in FC -- which
correctly is agnostic to non-base-kind coercions -- and applied it only to the
set of coercion assumptions, not to any coercion derivable from the
assumptions. As Andrea's example shows, by
Hi Manish,
Are you aware of the CentOS distro I am maintaining at justhub.org
/download? Even if you want to build your own installations it will probably
be useful for getting you going.
(It should soon appear on the Haskell Platform Linux page - or at least we
have a ticket for it!)
Chris
Thank you Chris! extremely delighted. worked like a charm.
I wish your distro appear on haskell wiki. very helpful.
regards,
manish
On Mon, Sep 3, 2012 at 12:54 AM, Chris Dornan ch...@chrisdornan.com wrote:
Hi Manish,
** **
Are you aware of the CentOS distro I am maintaining at
There's a bug in syb-with-class reported by Alexey Rodriguez Yakushev in
2008 [1]. I can confirm that the bug is still there (syb-with-class-0.6.1.3,
ghc 7.4.1).
[1]: http://www.haskell.org/pipermail/haskell-cafe/2008-March/041179.html
Here's an even simpler test case:
{-# LANGUAGE
Quoting Chris Dornan ch...@chrisdornan.com:
Hi Manish,
Are you aware of the CentOS distro I am maintaining at justhub.org
/download? Even if you want to build your own installations it will probably
be useful for getting you going.
Great and spot on time for me. I'm trying to install
Snap on
On Mon, Sep 3, 2012 at 12:00 PM, Roman Cheplyaka r...@ro-che.info wrote:
There's a bug in syb-with-class reported by Alexey Rodriguez Yakushev in
2008 [1]. I can confirm that the bug is still there (syb-with-class-0.6.1.3,
ghc 7.4.1).
[1]:
On Mon, 03 Sep 2012 11:57:34 +0200, Manish Trivedi trivman...@gmail.com
wrote:
Thank you Chris! extremely delighted. worked like a charm.
I wish your distro appear on haskell wiki. very helpful.
I just added this to the Linux page[0].
Regards,
Henk-Jan van Tuyl
[0]
Hi Jim,
Previously I've been able to install and use ghc and HP in ~/ without
problems. Is there any reason
why this couldn't be done with your justhub package?
As I've never tried this brute surgery on such a magnus opus before I'm
not sure this is at all feasible?
I wouldn't recommend
Thanks Henk!
I just added this to the Linux page[0].
The action on that HP ticket was to put a link here,
http://hackage.haskell.org/platform/linux.html, which should happen by the next
platform release.
Chris
___
Haskell-Cafe mailing list
* Andrea Vezzosi sanzhi...@gmail.com [2012-09-03 12:50:03+0200]
On Mon, Sep 3, 2012 at 12:00 PM, Roman Cheplyaka r...@ro-che.info wrote:
There's a bug in syb-with-class reported by Alexey Rodriguez Yakushev in
2008 [1]. I can confirm that the bug is still there (syb-with-class-0.6.1.3,
ghc
So I've been playing with the median problem today. Not sure why, but it
stuck in my head.
import Data.List
import Control.Monad.ST
import Data.STRef
import Control.Monad
I've been using the hashing algorithm that I described last night, but it's
quite slow. I must be missing something
Quoting Chris Dornan ch...@chrisdornan.com:
Hi Jim,
Thanks for such a quick response.
Previously I've been able to install and use ghc and HP in ~/ without
problems. Is there any reason
why this couldn't be done with your justhub package?
As I've never tried this brute surgery on such a
Some comments wrt. performance:
On Mon, Sep 3, 2012 at 9:57 AM, timothyho...@seznam.cz wrote:
Right (medianBucket,stubLen) =
foldr
(\thisBucket@(thisBucketLen,_) eitheriOrMedianBucket -
case eitheriOrMedianBucket of
Left i -
if i + thisBucketLen (length `div` 2)
On Mon, Sep 3, 2012 at 11:18 AM, Felipe Almeida Lessa
felipe.le...@gmail.com wrote:
Ditto for oldLen here. Also, you can simplify this lambda a lot:
import Control.Applicative (($))
\(oldLen, oldVal) -
let newLen = oldLen + 1
newVal = (number:) $ oldVal
in newLen `seq`
On 09/03/2012 02:15 PM, Richard Wallace wrote:
I like the approach so far. But hellno itself seems to have several
dependencies itself. So installing with cabal pulls these in as
fixed libraries (text, mtl, transformers, and parsec). Any
plans to make these not have to be fixed? Or is there
Dear Haskell Cafe,
I am working on a solver for Slitherlink puzzles in Haskell. Today I am
completely puzzled that a small change I made had a huge performance
impact. I thought the change to be merely cosmetic to make a function a
little more elegant and the code more readable. But this change
Thanks for the advice. After taking most of it it is faster. But it is
still many times slower than it ought to be! This algorithm should be much
faster than simply sorting the list, and yet it is more than twice as slow!
One note, you said:
Increment length.
modifySTRef
lengthRef
(+1)
On Mon, Sep 3, 2012 at 2:53 PM, Roman Cheplyaka r...@ro-che.info wrote:
* Andrea Vezzosi sanzhi...@gmail.com [2012-09-03 12:50:03+0200]
[...]
This is pretty similar to what ended up being a ghc bug, fixed in 7.0 though:
http://hackage.haskell.org/trac/ghc/ticket/3731
The difference between
Aha!!! Now it's working. Just had to compile with -O2 :D :D
Now I'm over twice as fast for a list of 2 million! With better length
based analysis of how many buckets should be used, this number can be
improved.
You can feel free to use my code however you like. I've attached the final
Hi,
I am running into a weird out of memory issue. While running timeplot over
an input file having ~800 rows. From below provided info, seems like
machine has enough ram (1849MB).
Please let me know if anyone has pointers.
*
# free -m
* total used free shared
On Tue, Aug 28, 2012 at 6:09 PM, Bryan O'Sullivan b...@serpentine.com wrote:
On Mon, Aug 27, 2012 at 10:52 AM, Bryan O'Sullivan b...@serpentine.com
wrote:
The reason you're seeing build breakage is that the .cabal files of the
broken packages were edited in-place without communicating with
On Tue, Aug 28, 2012 at 6:09 PM, Bryan O'Sullivan b...@serpentine.com
wrote:
On Mon, Aug 27, 2012 at 10:52 AM, Bryan O'Sullivan
b...@serpentine.com
wrote:
Not to flog a dead horse, but:
...
Not to flog a dead horse, but:
All our builds broke again yesterday due to this bug. The package was
52 matches
Mail list logo
