Re: [GHC] #1312: runghc doesn't respect -main-is

2008-01-15 Thread GHC
#1312: runghc doesn't respect -main-is --+- Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.8.3 Component: Compiler |

Re: [GHC] #2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks

2008-01-15 Thread GHC
#2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks -+-- Reporter: maeder | Owner: Type: feature request | Status: new

Re: [GHC] #2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks

2008-01-15 Thread GHC
#2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks -+-- Reporter: maeder | Owner: Type: feature request | Status: new

[GHC] #2044: Can't unify error in debugger

2008-01-15 Thread GHC
#2044: Can't unify error in debugger ---+ Reporter: r6144 | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 6.8.2 |Severity: normal

[GHC] #2045: Link error when compiling with -fhpc

2008-01-15 Thread GHC
#2045: Link error when compiling with -fhpc +--- Reporter: guest| Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 6.8.2|

Re: [GHC] #2045: Link error when compiling with -fhpc

2008-01-15 Thread GHC
#2045: Link error when compiling with -fhpc -+-- Reporter: guest |Owner: Type: bug | Status: new Priority: normal|Milestone: Component: Compiler |

[GHC] #2046: Parse errors for mismatched brackets are awful

2008-01-15 Thread GHC
#2046: Parse errors for mismatched brackets are awful +--- Reporter: NeilMitchell | Owner: Type: feature request | Status: new Priority: normal | Component:

Re: [GHC] #2033: GHC-6.9 panics rather than parse error, related to view patterns.

2008-01-15 Thread GHC
#2033: GHC-6.9 panics rather than parse error, related to view patterns. ---+ Reporter: apeacock | Owner: igloo Type: bug| Status: closed Priority: normal | Milestone:

Re: [GHC] #2043: Debug build is broken by removal of FastTypes import in utils/Util.lhs

2008-01-15 Thread GHC
#2043: Debug build is broken by removal of FastTypes import in utils/Util.lhs ---+ Reporter: gmainland | Owner: igloo Type: bug| Status: closed Priority: normal |

[GHC] #2047: ghc compiled program crashes with segfault when using -M and/or -c

2008-01-15 Thread GHC
#2047: ghc compiled program crashes with segfault when using -M and/or -c +--- Reporter: mte | Owner: Type: bug | Status: new Priority: normal |

Re: [GHC] #2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks

2008-01-15 Thread GHC
#2021: let ghc find framework header files and link with frameworks located in $HOME/Library/Frameworks -+-- Reporter: maeder | Owner: Type: feature request | Status: new

Re: [GHC] #2046: Parse errors for mismatched brackets are awful

2008-01-15 Thread GHC
#2046: Parse errors for mismatched brackets are awful +--- Reporter: NeilMitchell |Owner: Type: feature request | Status: new Priority: normal |Milestone:

Re: [GHC] #2019: GADT record with polytype argument causes irrefutable pattern failure in basicTypes/MkId.lhs

2008-01-15 Thread GHC
#2019: GADT record with polytype argument causes irrefutable pattern failure in basicTypes/MkId.lhs -+-- Reporter: japple | Owner: igloo Type: merge|

Re: [GHC] #1976: System.Posix.User.getUserEntryForName: incorrect error for non-existent user

2008-01-15 Thread GHC
#1976: System.Posix.User.getUserEntryForName: incorrect error for non-existent user +--- Reporter: guest | Owner: igloo Type: bug | Status: closed Priority:

RE: GHC Data.List.sort performance question

2008-01-15 Thread Simon Peyton-Jones
Weird. I see no difference in the compiled code (GHC HEAD). Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of | Marcus D. Gabriel | Sent: 14 January 2008 21:02 | To: glasgow-haskell-users@haskell.org | Subject: GHC Data.List.sort performance

Re: GHC Data.List.sort performance question

2008-01-15 Thread Bertram Felgenhauer
Marcus D. Gabriel wrote: By a rather indirect route, I discovered that I obtain an almost factor of two improvement in performance in Data.List.sort if I make one small change in the implementation of the function merge which supports mergesort and hence sortBy and sort. Admittedly, the

Re: GHC Data.List.sort performance question

2008-01-15 Thread Judah Jacobson
On Jan 15, 2008 8:16 AM, Bertram Felgenhauer [EMAIL PROTECTED] wrote: Marcus D. Gabriel wrote: By a rather indirect route, I discovered that I obtain an almost factor of two improvement in performance in Data.List.sort if I make one small change in the implementation of the function merge

Re: GHC Data.List.sort performance question

2008-01-15 Thread Bertram Felgenhauer
Judah Jacobson wrote: This means that the library version produces a stack overflow on lists generated in an iterate like fashion (say, take 100 [0..]). The modified version produces a stack overflow on the reverse of that list, but I believe such lists are much rarer in practice.

'backslash' build problems on windows

2008-01-15 Thread Twan van Laarhoven
I am having some problems with the latest builds of GHC on windows. For some reason ghc has decided to use backslashes in filenames. This leads to problems when building the stage libraries and the stage 2 compiler. I run the scripts from a mingw bash shell. The following problems occur: -

Re: FilePath causes problems (was: 'backslash' build problems on windows)

2008-01-15 Thread Twan van Laarhoven
Twan van Laarhoven wrote: I am having some problems with the latest builds of GHC on windows. For some reason ghc has decided to use backslashes in filenames. This leads to problems when building the stage libraries and the stage 2 compiler. I run the scripts from a mingw bash shell. After

Re: FilePath causes problems (was: 'backslash' build problems on windows)

2008-01-15 Thread Neil Mitchell
Hi this (among other things) changes compiler messages: -[1 of 4] Compiling OverA( OverA.hs, OverA.o ) -[2 of 4] Compiling OverB( OverB.hs, OverB.o ) -[3 of 4] Compiling OverC( OverC.hs, OverC.o ) +[1 of 4] Compiling OverA

Re: GHC Data.List.sort performance question

2008-01-15 Thread Bernie Pope
Hi all, I was looking into this issue as well, by coincidence. I haven't figured out what is wrong, but I believe Hugs (September 2006) exhibits similar behaviour, so it is not just GHC. I also noticed that in the third equation of merge_pairs, swapping the order of the arguments to merge

Re: GHC Data.List.sort performance question

2008-01-15 Thread Ian Lynagh
Hi Marcus, On Mon, Jan 14, 2008 at 10:01:49PM +0100, Marcus D. Gabriel wrote: code in libraries/base/Data/List.hs for merge is merge cmp xs [] = xs merge cmp [] ys = ys merge cmp [] ys = ys merge cmp xs [] = xs This actually came up a while ago, in this thread:

Re: GHC Data.List.sort performance question

2008-01-15 Thread Bernie Pope
Hi again, Please ignore my last post. I just realised that the problem was in the way I was testing sort. I printed the length of the list out to make sure the spine was evaluated, but the problem is that the elements of the list are thunks which depend on each other in a left-right

[Haskell] DEADLINE EXTENSION - SAS 2008

2008-01-15 Thread German Vidal
15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 DEDLINE EXTENSION New important dates: Submission of abstract: January 19, 2008 (changed) Submission of full paper:January 26, 2008 (changed) Notification:

[Haskell] CMCS 2008: Extended deadline

2008-01-15 Thread Clemens Kupke
[- Apologies for multiple copies -] DEADLINE EXTENSION: New deadline for submissions of regular papers on **Monday, January 21** CMCS 2008 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key

RE: [Haskell] Simulating client server communication with recursive monads

2008-01-15 Thread Jan Stranik
John, Your change makes just the server function to return the same number that it receives. My server implementation multiplied the incoming number by two. My question was why does the output from writer shows first all output from server, then followed by all output from client. I would

Re: [Haskell] Simulating client server communication with recursive monads

2008-01-15 Thread Chris Kuklewicz
Jan Stranik wrote: My question was why does the output from writer shows first all output from server, then followed by all output from client. The effect of mfix is that the side-effects of the calculation still occur in the lexical order. Since server is before client, the output of the

[Haskell] hbeat: a rhythm sequencer

2008-01-15 Thread Tim Docker
I've just uploaded to hackage a step-based music sequencer, called hbeat. It's little more than a toy, but it's fun. It ought to be cross platform, though has been built and tested solely on linux. Given that it's only 400 or so lines, it may be a useful example for anyone wanting to

[Haskell] ANN: GLFW-0.3 released

2008-01-15 Thread Paul L
GLFW is a Haskell module for GLFW OpenGL framework. It provides an alternative to GLUT for OpenGL based Haskell programs. The current 0.3 version is for download from hackageDB at: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.3 Same as the previous 0.2 version it requires

[Haskell] Should the following program be accepted by ghc?

2008-01-15 Thread Martin Sulzmann
[Whoever replies next pl move discussion to haskell-cafe] Bruno Oliveira writes: Hello, I have been playing with ghc6.8.1 and type families and the following program is accepted without any type-checking error: data a :=: b where Eq :: a :=: a decomp :: f a :=: f b -

Re: [Haskell] Should the following program be accepted by ghc?

2008-01-15 Thread Stefan O'Rear
On Wed, Jan 16, 2008 at 01:02:43PM +0800, Martin Sulzmann wrote: Bruno Oliveira writes: I have been playing with ghc6.8.1 and type families and the following program is accepted without any type-checking error: data a :=: b where Eq :: a :=: a ... Ofcourse, that before

Re: [Haskell] Should the following program be accepted by ghc?

2008-01-15 Thread Don Stewart
stefanor: On Wed, Jan 16, 2008 at 01:02:43PM +0800, Martin Sulzmann wrote: Bruno Oliveira writes: I have been playing with ghc6.8.1 and type families and the following program is accepted without any type-checking error: data a :=: b where Eq :: a :=: a ...

[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread jerzy . karczmarczuk
Luke Palmer dialog with myself: On Jan 15, 2008 12:29 AM, [EMAIL PROTECTED] wrote: When math says that something is undefined, in my little brain I understand that there is no answer. I'm not sure if I'm agreeing or disagreeing with you here. Depends on exactly what you mean by no

Re: [Haskell-cafe] Re: MonadPrompt + Gtk2Hs = ?

2008-01-15 Thread Felipe Lessa
On Jan 14, 2008 8:27 PM, apfelmus [EMAIL PROTECTED] wrote: The type of contPromptM is even more general than that: casePromptOf' :: (r - f b) - (forall a,b. p a - (a - f b) - f b) - Prompt p r - f b casePromptOf' done cont (PromptDone r) = done r

Any publication date for The Little Haskeller? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Speaking of computer science books using Haskell, does anybody know when will a Haskell version of The Little Schemer, or anything equivalent, be published? It seems strange that The Little MLer is out, but not The Little Haskeller. Benjamin L. Russell --- PR Stanley [EMAIL PROTECTED] wrote:

Any publication date for Structure and Interpretation of Functional Computer Programs? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Alternatively, again speaking of computer science books using Haskell, does anybody know when will a Haskell version of Structure and Interpretation of Computer Programs, or anything of the same scope, be published? It seems strange that Concepts, Techniques, and Models of Computer Programming is

Any publication date for Structure and Interpretation of Functional Computer Programs? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Alternatively, again speaking of computer science books using Haskell, does anybody know when will a Haskell version of Structure and Interpretation of Computer Programs, or anything of the same scope, be published? It seems strange that Concepts, Techniques, and Models of Computer Programming is

[Haskell-cafe] Re: \_ - not equivalent to const $

2008-01-15 Thread ChrisK
Luke Palmer wrote: In attempting to devise a variant of cycle which did not keep its argument alive (for the purpose of cycle [1::Int..]), I came across this peculiar behavior: import Debug.Trace cycle' :: (a - [b]) - [b] cycle' xs = xs undefined ++ cycle' xs take 20 $ cycle' (const $

[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread Achim Schneider
[EMAIL PROTECTED] wrote: Your example with the King on the chessboard goes along the doctrine professed by Achim S., forbidding something. But this word, legality, etc. is a juridic term, something not so meaningful in math. OK, you are forbidden to try 0/0. But you DO. So what? You claim

[Haskell-cafe] First go at reactive programming

2008-01-15 Thread Levi Stephen
Hi, Listed below is my first experiment with reactive programming. It is a simple web server written using the Data.Reactive[1] library. The intended interface is given by the runHttpServer function, so the remainder is intended to be internal. I'd be happy to hear comments on any parts of

Re: [Haskell-cafe] fast fractional part of floating point number - modf?

2008-01-15 Thread John Meacham
On Tue, Jan 15, 2008 at 07:40:03AM +0100, Henning Thielemann wrote: On Mon, 14 Jan 2008, John Meacham wrote: On Sun, Jan 13, 2008 at 01:08:49AM +0100, Henning Thielemann wrote: Is there a fast and reliable way to compute the fraction of a floating point number? no, and this has

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Bulat Ziganshin
Hello Torsten, Tuesday, January 15, 2008, 1:09:54 AM, you wrote: Seeing my woes with FranTk - what else is out there that people use if a (simple) GUI is desired for a Haskell app? Just a few textboxes and a button or two would do me. i've read Gtk2Hs tutorial[1] and developed first version

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Yitzchak Gale
Hi Torsten, Here is something I use in GTK2HS when teaching beginners: http://hpaste.org/5017 Hope this helps, Yitz ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] jumping to code every and anywhere : what about installing tagfile and source ?

2008-01-15 Thread Marc Weber
Maybe it's better to ask ghc to include location information into the iface files? Then you can get the right file depending on your imports.. Marc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Yitzchak Gale
btw, if you use GTK2HS on the Mac, don't forget to start up X Windows support, and run export DISPLAY=:0.0 in your terminal window, before you run your program. X Windows is usually in Applications/Utilities, but only if you installed it manually from the Mac OS X discs, it is not installed by

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Wouter Swierstra
Hi Torsten, If you really only want a simple GUI - I seem to recall you're on a Mac - you might even be able to get away with the AppleScript bindings: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AppleScript-0.1.3 There are an example of a simple textfield GUI in the examples

[Haskell-cafe] Re: Haskell and GUI

2008-01-15 Thread ChrisK
The advice below is for Mac OS X 10.4 and below. Starting with Mac OS X 10.5 (Leopard) the DISPLAY is set for you by the operating system. Mine is currently /tmp/launch-sQZXQV/:0 which looks very strange because it is used to cause the launchd daemon to start the X server on demand (i.e.

[Haskell-cafe] haskelldb basic documentation needed

2008-01-15 Thread Immanuel Normann
with the release update haskelldb-0.9 - haskelldb-0.10 several things have changed. Unfortunately the API documentation does not give enough information in generall. Is there any additional uptodate documentation around? In particular the fundamental function connect hast a new signature:

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Conal Elliott
If you can get wxHaskell installed working, you could try Phooey and/or TV. Both are described on the Haskell wiki and available via darcs and Hackage. On Jan 14, 2008 2:09 PM, Torsten Otto [EMAIL PROTECTED] wrote: Seeing my woes with FranTk - what else is out there that people use if a

Re: [Haskell-cafe] haskelldb basic documentation needed

2008-01-15 Thread Justin Bailey
2008/1/15 Immanuel Normann [EMAIL PROTECTED]: I don't know what pairs of strings this function needs. The API description is to unspecific: The connect function takes some driver specific name, value pairs use to setup the database connection, and a database action to run. What are the

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 10, 2008 10:45 AM, Don Stewart [EMAIL PROTECTED] wrote: That's pretty much what we envisaged as the approach to take. Monad transformers adding some bit-buffer state over Get/Put. For anyone who's still reading this thread... I've just uploaded[1] binary-strict 0.2.1 which includes

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Don Stewart
agl: On Jan 10, 2008 10:45 AM, Don Stewart [EMAIL PROTECTED] wrote: That's pretty much what we envisaged as the approach to take. Monad transformers adding some bit-buffer state over Get/Put. For anyone who's still reading this thread... I've just uploaded[1] binary-strict 0.2.1 which

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 15, 2008 3:26 PM, Don Stewart [EMAIL PROTECTED] wrote: Ok. That's awesome. I guess if you do all the TODOs for Binary like this, we should merge the code back in :) Well, at the moment I'm pretty unhappy with the amount of code duplication required both within binary-strict and between

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Neil Mitchell
Hi (maybe a bit of TH for generating the common bits) That would be bad. Then you'll have gone from Data.Binary being portable code, to being GHC specific code, and I will cry :'-( CPP is a good way to common stuff up in a portable way - I've used it in FilePath. There is nearly no end to

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably a trivial question, but I cannot figure out how to implement the catchError function in: instance MonadError

[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread Stefan Monnier
Yes, this is a doctrinal problem. Since *any* concrete reaction, e.g., an error message is a kind of answer, the only - unusable as it is - way of not providing it is to fail the termination... You can just disallow the call, using the type system. Not that it's always easy or practical

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 15, 2008 5:01 PM, Neil Mitchell [EMAIL PROTECTED] wrote: That would be bad. Then you'll have gone from Data.Binary being portable code, to being GHC specific code, and I will cry :'-( Ok, no TH ;) AGL -- Adam Langley [EMAIL PROTECTED]

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Brandon S. Allbery KF8NH
On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably a trivial question, but I cannot figure out how to implement

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Jonathan Cast
On 15 Jan 2008, at 7:54 PM, Adam Smyczek wrote: On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15,

[Haskell-cafe] ANN: GLFW-0.3 released

2008-01-15 Thread Paul L
GLFW is a Haskell module for GLFW OpenGL framework. It provides an alternative to GLUT for OpenGL based Haskell programs. The current 0.3 version is for download from hackageDB at: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.3 Same as the previous 0.2 version it requires

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
On Jan 15, 2008, at 8:07 PM, Jonathan Cast wrote: On 15 Jan 2008, at 7:54 PM, Adam Smyczek wrote: On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at

[Haskell-cafe] High-readibility version of CONS should not evaluate its arguments?

2008-01-15 Thread Benjamin L. Russell
While reading the paper A History of Haskell: Being Lazy With Class (Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler: The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III) San Diego, California, June 9-10, 2007)

Re: [Haskell-cafe] Yi editor tutorial

2008-01-15 Thread Benjamin L. Russell
Your Yi editor tutorial looks like a fascinating idea, but I use Mac OS X (10.2.8 Jaguar, soon to be upgraded to 10.5.x Leopard) at home, and Windows XP at work, while your tutorial is based on Ubuntu and the bash shell. A few questions: 1) Do you have any versions of your Yi tutorial for Mac OS

[Haskell-cafe] research topics

2008-01-15 Thread Henrique Ferreiro
Hi haskellers! I am a postgraduate student interested in functional programming and Haskell. I would appreciate if someone could elaborate on which are the current hot topics of research in this area, and related to Haskell, of course. In particular, I am interested in compiler implementation.

[Haskell-cafe] hmp3 1.4: ncurses mp3 player in Haskell

2008-01-15 Thread Don Stewart
4 years after its original release, and with almost daily use, I'm pleased to announce a new release of hmp3, the Haskell mp3 player. The goal of this project was a more stable, resize-friendly mp3 player for the console, that didn't compromise on efficiency or the user interface. This release,