[GHC] #972: hWaitForInput documentation is wrong

2006-10-29 Thread GHC
#972: hWaitForInput documentation is wrong -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #961: implement associated type synonyms

2006-10-29 Thread GHC
#961: implement associated type synonyms +--- Reporter: Samuel Bronson [EMAIL PROTECTED] | Owner: chak Type: task| Status: new Priority: normal

Re: [GHC] #961: implement associated type synonyms

2006-10-29 Thread GHC
#961: implement associated type synonyms +--- Reporter: Samuel Bronson [EMAIL PROTECTED] | Owner: chak Type: task| Status: new Priority: normal

Re: [GHC] #932: Improve inlining

2006-10-29 Thread GHC
#932: Improve inlining --+- Reporter: simonpj | Owner: Type: task | Status: new Priority: normal| Milestone: 6.6.1 Component: Compiler |Version: 6.4.2

[Haskell] How to find out who is leaking memory?

2006-10-29 Thread [EMAIL PROTECTED]
My program is leaking memory. It is fairly complex and long running on the test that leaks. On that particular test it exits abnormally telling me that heap is overflown. Is there a way to find out what part is leaking memory without refactoring?

[Haskell] Re: Infinite, open, statically constrained HLists

2006-10-29 Thread Chung-chieh Shan
[EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in gmane.comp.lang.haskell.general: We show a presentation of heterogeneous sequences that admits infinite sequences and permits post-hoc addition of new elements, even to an already infinite sequence. We can also assert static constraints,

[Haskell] [Announce] Yhc Bytecode library 0.3

2006-10-29 Thread Robert Dockins
[Please direct disccusion to the yhc list] Fellow Haskellers, I am pleased to announce the release of the Yhc Bytecode library, version 0.3. The major differences from version 0.2 are: * Updated to work with the current Yhc development branch as of 2006-10-13 * API modified to fully

[Haskell] wxHaskell for GHC 6.6 and wxWidget 2.6.2

2006-10-29 Thread Sukit Tretriluxana
Hi,I saw someone posting a comment (http://sequence.complete.org/node/214) about the build of wxHaskell for GHC 6.6 and wxWidget 2.6.2 but it's not currently hosted anywhere yet. Does anyone know where can I get the Windows binary build of it for the time being? Thanks,Ed

Re: [Haskell] wxHaskell for GHC 6.6 and wxWidget 2.6.2

2006-10-29 Thread Eric Y. Kow
On Sun, Oct 29, 2006 at 22:04:44 -0800, Sukit Tretriluxana wrote: I saw someone posting a comment (http://sequence.complete.org/node/214) about the build of wxHaskell for GHC 6.6 and wxWidget 2.6.2 but it's not currently hosted anywhere yet. Does anyone know where can I get the Windows binary

[Haskell] Re: package mounting

2006-10-29 Thread Frederik Eaton
On Sun, Oct 29, 2006 at 10:03:32PM -0400, Samuel Bronson wrote: On 10/25/06, Frederik Eaton [EMAIL PROTECTED] wrote: http://hackage.haskell.org/trac/ghc/wiki/PackageMounting It looks nice, but don't you think the -package-base flag ought to take both the package name *and* the mountpoint?

lambda-match vs PMC

2006-10-29 Thread Claus Reinke
It is encouraging that separate groups have come to similar approaches wrt to more modular pattern match facilities (though perhaps it isn't all that surprising, eg, my own musings on this topic started after one of the early functional logic programming high periods, in the early 1990s, and

Re: Proposal for stand-alone deriving declarations?

2006-10-29 Thread John Meacham
On Mon, Oct 09, 2006 at 01:19:38PM +0100, Simon Peyton-Jones wrote: | I propose to add a top-level declaration on the form: | | 'deriving' qtycls 'for' qtycon | | which produces the same instance as a deriving clause in the | declaration of the datatype or newtype would. | | If this

Re: Proposal for stand-alone deriving declarations?

2006-10-29 Thread John Meacham
On Fri, Oct 06, 2006 at 10:39:39AM -0500, Michael Shulman wrote: On 10/6/06, John Hughes [EMAIL PROTECTED] wrote: deriving (Eq Foo, Ord Foo) instead of deriving (Eq, Ord) for Foo So what does newtype Foo a = Foo a newtype Bar b = Bar b class C a b deriving (C (Foo a) (Bar b))

Re: [Haskell-cafe] Partially applied type synonyms in instance heads

2006-10-29 Thread Nicolas Frisby
Haskell's type system does not directly allow eta expansion, i.e. instance Map (\x y - [(x, y)]) a b where ... is not legal. The straight-forward way to tackle this is with a newtype declaration, i.e. newtype Assoc a b = Assoc [(a, b)] instance Map Assoc a b where ... works as

Re: [Haskell-cafe] mapAccumL - find max in-sequence subsequence

2006-10-29 Thread jim burton
Sebastian Sylvan-2 wrote: I'm not sure I completely understand what you want, and if it needs to be cute (i.e. some clever one liner usage of a library function). But here's my get-the-job-done-solution (assuming I understood what you want): import Data.List import Data.Ord

Re: [Haskell-cafe] The Read Class

2006-10-29 Thread Tiago Veloso
Yes pleaseI wold like some examples (no importance how interesting) Maybe i can work my way from there.On 28 Oct 2006, at 23:32, Daniel Fischer wrote:Hi,probably the best way is to write a parser using ReadP/ReadPrec and theninstance Read SomeType where readPrec = yourParserIf you wish, I could

[Haskell-cafe] Re: Rank N type tutorial?

2006-10-29 Thread Jón Fairbairn
David House [EMAIL PROTECTED] writes: On 27/10/06, Greg Buchholz [EMAIL PROTECTED] wrote: I thought exists was spelled forall in Haskell? There is some confusion here, It's the notation for data declarations that causes the confusion. To rearrange your text a bit: So, for example:

[Haskell-cafe] YAHT: Ex 9.2

2006-10-29 Thread Magnus Therning
I've been slowly making my way through Yet Another Haskell Tutorial. As a first introduction to the language it doesn't seem bad at all. However, I'm wondering about the proposed solution to exercise 9.2. The text itself suggests using instance Monad (Either String) where, so I arrived at

Re: [Haskell-cafe] YAHT: Ex 9.2

2006-10-29 Thread Nicolas Frisby
Quick fix: add this line to the top of your file {-# OPTIONS -fglasgow-exts #-} Having String instead of a free type variable is beyond the basic limitations of Haskell's type classses. However, enabling the very common Glasgow extensions expands the rules to admit your definition. If you for

[Haskell-cafe] Deriving class instances using DrIFT

2006-10-29 Thread Daniel McAllansmith
Hi. I'm trying to derive some instances using DrIFT, but it will only work for me when I'm deriving for types in the current file or in the prelude. For example, this works: module Test where {-! for Maybe derive : Haskell2Xml !-} this works: module Test where data Foo = Foo {-! for Foo

[Haskell-cafe] More documentation: how to create a Haskell project

2006-10-29 Thread Donald Bruce Stewart
There's been a bit of discussion on irc, lists and privately about about documenting publically the best practice for creating a new Haskell project -- be that a library or an application. Some advice is now available here: http://haskell.org/haskellwiki/How_to_write_a_Haskell_program

Re: [Haskell-cafe] More documentation: how to create a Haskell project

2006-10-29 Thread Tony Morris
Tony Morris http://tmorris.net/ Donald Bruce Stewart wrote: There's been a bit of discussion on irc, lists and privately about about documenting publically the best practice for creating a new Haskell project -- be that a library or an application. Agreed. Some advice is now available

[Haskell-cafe] Documenting subcommunities

2006-10-29 Thread Donald Bruce Stewart
As the Haskell community grows and spreads its lambda-tipped tentacles into new domains, I've noticed that some distinct sub-communities are emerging. To try to document and collect information relevant to these groups, some new wiki pages have been created. Alongside the 'traditional' areas of:

Re: [Haskell-cafe] Deriving class instances using DrIFT

2006-10-29 Thread John Meacham
On Mon, Oct 30, 2006 at 01:24:58PM +1300, Daniel McAllansmith wrote: I'm trying to derive some instances using DrIFT, but it will only work for me when I'm deriving for types in the current file or in the prelude. Since DrIFT can only understand haskell source code, it can't derive instances

[Haskell-cafe] Re: function types as instances of Num

2006-10-29 Thread oleg
The problem seems equivalent to the following: http://pobox.com/~oleg/ftp/Haskell/typecast.html#local-fd That is, the inferred type is too general to chose the appropriate instance. The solution is also the same: either add type annotations to restrict the inferred type (and so make it

[Haskell-cafe] More documentation: languages written in Haskell

2006-10-29 Thread Donald Bruce Stewart
I noticed today that although we have a list of most applications written in Haskell, nowhere was there collected a page of perhaps our best use case for Haskell: for implementing compilers and interpreters! So here's a new 'libraries and tools' category page:

[Haskell-cafe] Re: More documentation: languages written in Haskell

2006-10-29 Thread Max Vasin
Donald == Donald Bruce Stewart [EMAIL PROTECTED] writes: Donald I noticed today that although we have a list of most Donald applications written in Haskell, nowhere was there Donald collected a page of perhaps our best use case for Haskell: Donald for implementing compilers and interpreters!