Re: [GHC] #839: Generate documentation for built-in types and functions

2006-10-03 Thread GHC
#839: Generate documentation for built-in types and functions ---+ Reporter: simonpj | Owner: Type: task | Status: new Priority: normal| Milestone:

Re: [GHC] #919: Cryptic type error message (should be syntax error)

2006-10-03 Thread GHC
#919: Cryptic type error message (should be syntax error) ---+ Reporter: [EMAIL PROTECTED] | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #885: GHC doesn't work with Data Execution Prevention on Windows

2006-10-03 Thread GHC
#885: GHC doesn't work with Data Execution Prevention on Windows ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.6.1

Re: [GHC] #885: GHC doesn't work with Data Execution Prevention on Windows

2006-10-03 Thread GHC
#885: GHC doesn't work with Data Execution Prevention on Windows ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.6.1

Re: [GHC] #683: RULES for recursive functions don't work properly

2006-10-03 Thread GHC
#683: RULES for recursive functions don't work properly ---+ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: low | Milestone: Component:

Re: [GHC] #885: GHC doesn't work with Data Execution Prevention on Windows

2006-10-03 Thread GHC
#885: GHC doesn't work with Data Execution Prevention on Windows ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.6.1

[GHC] #920: Patch: Make GHC bulid/run when compiled with GCC 4.1.1 on MinGW

2006-10-03 Thread GHC
#920: Patch: Make GHC bulid/run when compiled with GCC 4.1.1 on MinGW ---+ Reporter: briansmith |Owner: Type: bug | Status: new Priority: normal |Milestone:

[GHC] #921: Floating point with -O and -fasm is broken

2006-10-03 Thread GHC
#921: Floating point with -O and -fasm is broken ---+ Reporter: guest |Owner: Type: bug | Status: new Priority: normal |Milestone:

Re: [GHC] #921: Floating point with -O and -fasm is broken

2006-10-03 Thread GHC
#921: Floating point with -O and -fasm is broken -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal |

[GHC] #922: ghc-6.5: panic on compile of Language/Haskell/TH/Ppr.hs

2006-10-03 Thread GHC
#922: ghc-6.5: panic on compile of Language/Haskell/TH/Ppr.hs ---+ Reporter: mcnster |Owner: Type: bug | Status: new Priority: normal |Milestone:

RE: Problem with lexically scoped type variables.

2006-10-03 Thread Simon Peyton-Jones
Aha. That's a bug. The forall'd type variables of an expression type signature should scope over the expression. Thank you -- I'll fix it, though I don't know if it'll get into 6.6 now. Simon | -Original Message- | From: Mirko Rahn [mailto:[EMAIL PROTECTED] | Sent: 02 October 2006

Re: GHC on MacOS

2006-10-03 Thread Bjorn Bringert
I'm also willing to try to help investigate/fix problems with GHC on OS X/i386. /Björn On 2 okt 2006, at 09.31, Simon Peyton-Jones wrote: Thanks -- in fact we've had a few helpful offers of access (which is v helpful). We may still yet take you up, but meanwhile don't do too much work.

Re[2]: [Haskell-cafe] Re: [Haskell] Re: compiler-independent core libraries infrastructure

2006-10-03 Thread Bulat Ziganshin
Hello John, (i'm moving thread to the ghc-users where this discussion continues in ghc-related aspects) Thursday, September 28, 2006, 3:30:09 AM, you wrote: So, just to confirm in my mind what you are proposing: Compiler/Version specific Core: Yhc.Core, Hugs.Core, GHC.Core With a

Core package: attempt #1

2006-10-03 Thread Bulat Ziganshin
Hello glasgow-haskell-users, i've uploaded my first attempt to define Core package as http://www.haskell.org/bz/core20061003.tar.gz you should use -fno-implicit-prelude to compile it with GHC. it also compiles with Hugs, although zeroInt and other constant definitions are definitely wrong :)

Re: Core package: attempt #1

2006-10-03 Thread Neil Mitchell
Hi Bulat, i've uploaded my first attempt to define Core package as http://www.haskell.org/bz/core20061003.tar.gz Cool. The one thing that worries my slightly is that HugsCore.Bool imports Prelude, and surely Prelude will end up importing HugsCore.Bool at some point? It seems that Core needs

Re[2]: Core package: attempt #1

2006-10-03 Thread Bulat Ziganshin
Hello Neil, Tuesday, October 3, 2006, 6:26:42 PM, you wrote: i've uploaded my first attempt to define Core package as http://www.haskell.org/bz/core20061003.tar.gz Cool. The one thing that worries my slightly is that HugsCore.Bool imports Prelude, and surely Prelude will end up importing

Re: [Haskell-cafe] Re: [Haskell] Re: compiler-independent core libraries infrastructure

2006-10-03 Thread Ross Paterson
On Tue, Oct 03, 2006 at 06:06:02PM +0400, Bulat Ziganshin wrote: (i'm moving thread to the ghc-users where this discussion continues in ghc-related aspects) I don't see how compiler-independence is a GHC-specific topic. ___ Glasgow-haskell-users

Re[2]: [Haskell-cafe] Re: [Haskell] Re: compiler-independent core libraries infrastructure

2006-10-03 Thread Bulat Ziganshin
Hello Ross, Tuesday, October 3, 2006, 10:33:46 PM, you wrote: On Tue, Oct 03, 2006 at 06:06:02PM +0400, Bulat Ziganshin wrote: (i'm moving thread to the ghc-users where this discussion continues in ghc-related aspects) I don't see how compiler-independence is a GHC-specific topic. i mean

Bad interface file error with GHC RC2

2006-10-03 Thread Krasimir Angelov
When I tried to build VSHaskell with the RC2 version of GHC I got the following error: src\lib\Registry.hsc:30:0: Bad interface file: C:\Program Files\Haskell\comlib-0.1\ghc-6.5.20061001/Com Dll.hi Something is amiss; requested module comlib-0.1:ComDll differs from nam e found in the

Controlling -fno-unit-at-a-time

2006-10-03 Thread Ravi Nanavati
If I understand the way things work, GHC decides whether or not to emit the -fno-unit-at-a-time flag in -fvia-C compilation based on whether or not the gcc used when compiling GHC supported the flag or not. I'm running into trouble using precompiled GHC snapshots (that were compiled on

[Haskell] Haskell Weekly News: October 03, 2006

2006-10-03 Thread Donald Bruce Stewart
--- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 43 - October 03, 2006 --- Welcome to issue 43 of HWN, a weekly newsletter covering

[Haskell] Evil code

2006-10-03 Thread Thomas Davie
Hello list, I am in the process of testing a debugger, and need some examples to throw at it. It's based on hat, so the normal rules about nothing that uses glasgow extensions or ffi apply. But I'm hitting a bit of a wall. Do any of you have some examples of nasty uses of higher

[Haskell] Haskell training course?

2006-10-03 Thread Wim Vanderbauwhede
Hello list,Does anyone know of a good Haskell training course in the UK?TIA,Wiim-- If it's pointless, what's the point?If there is a point to it, what's the point?(Tibor Fischer, The Thought Gang) ___ Haskell mailing list Haskell@haskell.org

[Haskell] CfP: PAPP 2007

2006-10-03 Thread grelck
Please, accept our apologies if you receive multiple copies. = Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007) part of The International Conference on Computational Science May 27-30, 2007, University of

[Haskell] Re: Common library for generic programming

2006-10-03 Thread apfelmus
If you want to get involved (or just want to see the discussion), you can subscribe to the mailing list [EMAIL PROTECTED], see http://www.haskell.org/mailman/listinfo/generics -- Johan Jeuring and Andres Loeh Can you add the mailing list to GMANE?

[Haskell] Re: Replacing and improving pattern guards with PMC syntax

2006-10-03 Thread apfelmus
The problem is not that there is syntactic sugar for pattern matching, but that this isn't sugar coating at all - there is functionality hidden in there that cannot be provided by the remainder of the language. In other words, pattern matching and associated sugar become part of Haskell's

Re: [Haskell] Haskell training course?

2006-10-03 Thread Jeremy Gibbons
Hello, Wim. What kind of thing do you have in mind? I teach a one-week course on Functional Programming (using Haskell, and aimed at practical application) as part of the part-time professional Software Engineering Programme at Oxford. It can be taken on a standalone basis, or as credit

[Haskell] Re: Haskell Weekly News: September 27, 2006

2006-10-03 Thread Cyril Schmidt
That's really good news. Big thank-you to the CUFP committee! Having seen the proceedings of Haskell Workshop 1995 published in 2006, I was prepared to wait much longer ;-) Cheers, Cyril The slides will be available at http://www.galois.com/cufp very soon (maybe even today). I don't have

[Haskell] Re: Replacing and improving pattern guards with PMC syntax

2006-10-03 Thread apfelmus
I see that = is already used... Let's take ~ (tilde) instead. A pseudo-sugared version in plain Haskell for f (Right (Right p)) = p f (Left p) = p f p = p that is f p = fromJust $ | Right q ~ p | Right r ~ q = r | Left q ~ p = q |

Re: [Haskell] Evil code

2006-10-03 Thread Tony Morris
[Tangent] Please excuse my ignorance, but it seems there is assumption of general acceptance that CPS incorporates Evil code. Are you able to support this or refer to a document that does? Thanks for any pointers. Tony Morris http://tmorris.net/ Thomas Davie wrote: Hello list, I am in the

Re: [Haskell] Evil code

2006-10-03 Thread Thomas Davie
On 3 Oct 2006, at 23:09, Tony Morris wrote: [Tangent] Please excuse my ignorance, but it seems there is assumption of general acceptance that CPS incorporates Evil code. Are you able to support this or refer to a document that does? Thanks for any pointers. Tony Morris http://tmorris.net/

Re: [Haskell] Evil code

2006-10-03 Thread Albert Lai
Thomas Davie [EMAIL PROTECTED] writes: The evil code and CPSness were actually intended to be completely separate entities. I needed (and to a lesser extent now still need), examples that are (a) very higher order, and (b) evil and hard to understand the runtime behaviour of. Generally code

[Haskell] Summer of Code Summit and Haskell

2006-10-03 Thread Donald Bruce Stewart
Hey all, The Google Summer of Code is now wrapping up, and Haskell.org's projects have been quite successful. The full details will available soon in a report we're preparing (next week some time), though quite likely you have already seen the various student projects previously announced to the

[Haskell] Haskell Packages 6.6?

2006-10-03 Thread Isaac Jones
Hello good Haskell Hackers. We're pretty well along the way to getting cabal-install and friends working nicely. We've got almost 30 packages in the database. Let's imagine something that would be awesome. A set of Haskell packages which are all known to work together with a particular version

[Haskell] Re: Haskell Packages 6.6?

2006-10-03 Thread Lemmih
On 10/4/06, Isaac Jones [EMAIL PROTECTED] wrote: Hello good Haskell Hackers. We're pretty well along the way to getting cabal-install and friends working nicely. We've got almost 30 packages in the database. I added a few more. We have 32 now. Let's imagine something that would be awesome.

[Haskell] Re: Haskell Packages 6.6?

2006-10-03 Thread Isaac Jones
I'd like to trim the followup to cabal-devel@ or libraries@ so we don't cross-post to all lists. Lemmih [EMAIL PROTECTED] writes: On 10/4/06, Isaac Jones [EMAIL PROTECTED] wrote: Hello good Haskell Hackers. We're pretty well along the way to getting cabal-install and friends working nicely.

Re: Replacing and improving pattern guards with PMC syntax

2006-10-03 Thread apfelmus
The problem is not that there is syntactic sugar for pattern matching, but that this isn't sugar coating at all - there is functionality hidden in there that cannot be provided by the remainder of the language. In other words, pattern matching and associated sugar become part of Haskell's

[Haskell-cafe] submenu doesn't seem to work properly in wxhaskell

2006-10-03 Thread Maarten
Dear all, The following code doesn't seem to work properly. Either the main entry (m1/mp1) or it's sub menu entry (ms1/mps1) do not seem to propagate the event when pressed. It is possible to make it working by uncomments the lines where the menu commands are registered in the frame. I have

[Haskell-cafe] Re: irrefutable patterns for existential types / GADTs

2006-10-03 Thread apfelmus
John Meacham wrote: the reason being that id translates internally to id = /\a . \x::a . x since you cannot pull out an appropriate type to pass to id without evaluating the 'irrefutable' pattern, you end up with _|_ instead of 4. basically, allowing irrefutable matching on

[Haskell-cafe] Haskell compiler from a USB Stick?

2006-10-03 Thread David House
Hi all. Does anyone know of a Haskell compiler that will run from a USB stick? I think something like Hugs + minimal libraries + WinHugs should be small enough to install onto the stick, but I haven't tested this. That'd be the ideal scenario as I'm teaching Haskell (so won't need complicated

Re: [Haskell-cafe] Haskell compiler from a USB Stick?

2006-10-03 Thread Neil Mitchell
Hi, I think something like Hugs + minimal libraries + WinHugs should be small enough to install onto the stick, but I haven't tested this. See MinHugs, http://cvs.haskell.org/Hugs/pages/downloading.htm, it should fit on a USB stick easily, just install it to the USB drive and you should be

[Haskell-cafe] collection monads

2006-10-03 Thread Matthias Fischmann
another beginners question about monads: given the type | data (Ix x) = Permutation x = Permutation [x] i wanted to define | instance Monad Permutation where | return xs = Permutation xs but of course nothing about the monad class guarantees xs to be of type list. the monad class seems

Re: [Haskell-cafe] Haskell compiler from a USB Stick?

2006-10-03 Thread Bulat Ziganshin
Hello David, Tuesday, October 3, 2006, 2:17:33 PM, you wrote: Does anyone know of a Haskell compiler that will run from a USB stick? i'm ôäüùûå sure that both hugs and ghc will work. all that you need is to use full pathname of executable in cmdline, it should find other settings itself. or,

Re: [Haskell-cafe] Either as a Monad instance

2006-10-03 Thread Lennart Augustsson
On Oct 3, 2006, at 03:49 , Ross Paterson wrote: On Tue, Oct 03, 2006 at 10:44:49AM +1000, Thomas Conway wrote: I've been [trying to] grapple with the various monads and transformers, and it occurs to me that the standard instance for Either as a monadic type is unnecessarily restrictive. Is

Re: [Haskell-cafe] Either as a Monad instance

2006-10-03 Thread Ross Paterson
On Tue, Oct 03, 2006 at 07:52:54AM -0400, Lennart Augustsson wrote: Yes, having fail in the Monad is a horrible wart. And like some other warts in Haskell it was added to cure the symptom rather than the disease. :( Switching metaphors, what do you see as the disease in this case? (As far as

[Haskell-cafe] Re: Haskell compiler from a USB Stick?

2006-10-03 Thread Jón Fairbairn
Bulat Ziganshin [EMAIL PROTECTED] writes: Hello David, Tuesday, October 3, 2006, 2:17:33 PM, you wrote: Does anyone know of a Haskell compiler that will run from a USB stick? i'm ôäüùûå sure Блым? -- Jón Fairbairn [EMAIL PROTECTED]

Re: [Haskell-cafe] Either as a Monad instance

2006-10-03 Thread Brian Hulley
Ross Paterson wrote: On Tue, Oct 03, 2006 at 07:52:54AM -0400, Lennart Augustsson wrote: Yes, having fail in the Monad is a horrible wart. (As far as I know, it's there for the translation of pattern match failure in do-expressions.) I think it would be much less of a wart if the signature

[Haskell-cafe] Re: Haskell compiler from a USB Stick?

2006-10-03 Thread Max Vasin
Jón == Jón Fairbairn [EMAIL PROTECTED] writes: Jón Bulat Ziganshin [EMAIL PROTECTED] writes: Hello David, Tuesday, October 3, 2006, 2:17:33 PM, you wrote: Does anyone know of a Haskell compiler that will run from a USB stick? i'm ôäüùûå sure Jón Блым? almost %-) Bulat accidently

[Haskell-cafe] Mis-understanding something in Haskell interpretation

2006-10-03 Thread Edward Ing
Hi, I am new to Haskell and am learning Haskell on my own with The Haskell School of Expression. Unfortunately there is no teacher that comes along with the book. I am having a problem with loading an excerise. I get this message from ghci on a :l Shapes.hs Shapes.hs:40:40: Couldn't match

Re: [Haskell-cafe] Mis-understanding something in Haskell interpretation

2006-10-03 Thread J. Garrett Morris
On 10/3/06, Edward Ing [EMAIL PROTECTED] wrote: The source is below. Side is types as Float. My assumption was that Haskell would know how to convert the Int to a float and all would be well. I am I mistaken somewhere? The problem is with the last line. Yes - Haskell does not automatically

Re: [Haskell-cafe] Mis-understanding something in Haskell interpretation

2006-10-03 Thread Bulat Ziganshin
Hello Edward, Tuesday, October 3, 2006, 9:44:27 PM, you wrote: Couldn't match `Side' against `Int' In the first argument of `sin', namely `angle' The source is below. Side is types as Float. My assumption was that Haskell would know how to convert the Int to a float and all would be

Re: [Haskell-cafe] Either as a Monad instance

2006-10-03 Thread Lennart Augustsson
It all came about because pattern matching failure sometimes cause a do expression to be in MonadZero rather than Monad with the old translation. This gave rise to confusing error messages, it was claimed. This was the disease. -- Lennart On Oct 3, 2006, at 08:28 , Ross Paterson

Re: [Haskell-cafe] Re: irrefutable patterns for existential types / GADTs

2006-10-03 Thread John Meacham
On Tue, Oct 03, 2006 at 12:10:52PM +0200, [EMAIL PROTECTED] wrote: So you mean that id = /\a . \x :: a . x is /strict/ in its first argument, i.e. in the /type/ a. So to speak, type erasure is equivalent to strictness in all and every type argument. For an irrefutable existential

[Haskell-cafe] Error building Edison 1.2.0.1

2006-10-03 Thread Lyle Kopnicky
Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make system' but got: *** Exception: Line 10: Unknown field 'hs-source-dirs' I am using GHC 6.4.1. Any idea how to fix this? Thanks, Lyle ___ Haskell-Cafe mailing list

[Haskell-cafe] layout monads

2006-10-03 Thread Thomas Conway
Hi All, Next monad query [*] In the 1995 paper Composing Haggis, layout is done using a monad to compose individual elements. To modernize the syntax consider (forgive the operator, but it avoids parentheses): infixl 1 | f | x = f x mylayout = do hbox | do button ok

Re: [Haskell-cafe] Error building Edison 1.2.0.1

2006-10-03 Thread Robert Dockins
On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote: Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make system' but got: *** Exception: Line 10: Unknown field 'hs-source-dirs' I am using GHC 6.4.1. Any idea how to fix this? You are probably using an older version

Re: [Haskell-cafe] Error building Edison 1.2.0.1

2006-10-03 Thread Lyle Kopnicky
Robert Dockins wrote: On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote: Hi folks, I tried to build edison-1.2.0.1-sources with the command 'make system' but got: *** Exception: Line 10: Unknown field 'hs-source-dirs' I am using GHC 6.4.1. Any idea how to fix this?