compiler bug in ghc-6.4 (building a class declaration with TH)

2005-09-09 Thread Benjamin Franksen
This is command and output: ghc -fth -ddump-splices --make TestBuffers.hs Chasing modules from: TestBuffers.hs Compiling Buffers ( ./Buffers.hs, ./Buffers.o ) Compiling Main ( TestBuffers.hs, TestBuffers.o ) Loading package base-1.0 ... linking ... done. Loading package

[Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Aaron Denney
On 2005-09-08, John Meacham [EMAIL PROTECTED] wrote: of course, we can't do this because Num has Ord and Show as superclasses when it really doesn't need to. (we would have to create a separate class for 'pattern matchable nums' if we got rid of those, but that is no problem other than being

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Wolfgang Jeltsch
Am Donnerstag, 8. September 2005 22:30 schrieb Frederik Eaton: Hi Chad, I'm not sure exactly what you have in mind. Obviously I want something that applies to all functions, with any number of arguments, and not just (+). Furthermore, it should handle cases like 1+[2,3] where only one value

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Malcolm Wallace
Wolfgang Jeltsch [EMAIL PROTECTED] writes: I'm not sure exactly what you have in mind. Obviously I want something that applies to all functions, with any number of arguments, and not just (+). Furthermore, it should handle cases like 1+[2,3] where only one value is monadic. I doubt

[Haskell] ANNOUNCE: Gtk2Hs special release with cairo support

2005-09-09 Thread Duncan Coutts
To mark the end of Paolo Martini’s project to add support for the cairo vector graphics library (cairographics.org) we are pleased to announce a special “tech preview” release of Gtk2Hs including Paolo’s contributions. Here’s a screenshot from a demo program Paolo and others wrote to show off

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Keean Schupke
Malcolm Wallace wrote: Wolfgang Jeltsch [EMAIL PROTECTED] writes: I'm not sure exactly what you have in mind. Obviously I want something that applies to all functions, with any number of arguments, and not just (+). Furthermore, it should handle cases like 1+[2,3] where only one value is

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Keean Schupke
Keean Schupke wrote: I'm not sure exactly what you have in mind. Obviously I want something that applies to all functions, with any number of arguments, and not just (+). Furthermore, it should handle cases like 1+[2,3] where only one value is monadic. Just noticed the 1+[1,2] case... I am

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread J. Garrett Morris
On 9/9/05, Keean Schupke [EMAIL PROTECTED] wrote: Just noticed the 1+[1,2] case... I am not certain whether this is possible - it is outside the scope of the formal definiton of Haskell and may rely on implementation details of the compiler/interpreter. While this is outside the scope of the

[Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Aaron Denney
On 2005-09-09, Keean Schupke [EMAIL PROTECTED] wrote: Keean Schupke wrote: I'm not sure exactly what you have in mind. Obviously I want something that applies to all functions, with any number of arguments, and not just (+). Furthermore, it should handle cases like 1+[2,3] where only one

[Haskell] SPACE 2006: Call for Papers

2005-09-09 Thread David Walker
SPACE 2006 Third workshop on SEMANTICS, PROGRAM ANALYSIS, AND COMPUTING ENVIRONMENTS FOR MEMORY MANAGEMENT January 14, 2006 Charleston, South Carolina Sponsored by ACM/SIGPLAN http://www.itu.dk/research/plt/space2006/

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
On Thu, Sep 08, 2005 at 09:34:33AM +0100, Keean Schupke wrote: Can't you do automatic lifting with a Runnable class: class Runnable x y where run :: x - y instance Runnable (m a) (m a) where run = id instance Runnable (s - m a) (s - m a) where run =

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
Anyway, if the idea is to ultimately wrap every value in an expression like ([1,2]+[3,4]) in a 'run' application, that doesn't sound very useful. Program structure might be improved, but it would be bloated out by these calls. Also, I don't know what would happen to the readability of type checker

Re: [Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
By the way, I thought it would be obvious, but a lot of people seem to be missing the fact that I'm not (as Sean, I believe, isn't) requesting limited support for 1 or 2 or 3 argument functions or certain type classes to be applied to monads, or for certain operations to defined on certain types.

Re: [Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Cale Gibbard
Despite having a fairly mathematical background, I don't really care for the proposed syntax. myList :: [[Integer]] myList = return [1,2,3,4] Is myList equal to [[1,2,3,4]] or [[1],[2],[3],[4]]? Either interpretation is possible if there is automatic lifting about. If the lifting only occurs

Re: [Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Claus Reinke
life is funny, isn't it? so many people so eagerly discussing conversion between non-monadic and monadic code, yet when we asked for your opinions and suggestions on this very topic only a short while ago, we got a total of 4 (four) replies - all quite useful, mind you, so we were grateful, but

[Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Aaron Denney
On 2005-09-09, Frederik Eaton [EMAIL PROTECTED] wrote: I thought the easy answer would be to inject non-monadic values into the monad (assuming one already rejiggered things to do automatic lifting). I don't know if this is the right way of looking at it. Do you have an example? In a do

[Haskell-cafe] Re: ghc for sunos

2005-09-09 Thread Stephane Bortzmeyer
On Thu, Sep 08, 2005 at 01:36:30PM -0700, Brian McQueen [EMAIL PROTECTED] wrote a message of 6 lines which said: I'm surrounded by Sun boxes here. One solution is to install Debian/GNU Linux on these, ghc runs fine on it :-) ___ Haskell-Cafe

Re: [Haskell-cafe] Re: ghc for sunos

2005-09-09 Thread Andy Gimblett
On Fri, Sep 09, 2005 at 01:54:20PM +0200, Stephane Bortzmeyer wrote: I'm surrounded by Sun boxes here. One solution is to install Debian/GNU Linux on these, ghc runs fine on it :-) Or NetBSD - very good on older hardware, in particular. -Andy -- Andy Gimblett Computer Science

Fwd: [Haskell-cafe] ghc for sunos

2005-09-09 Thread Brian McQueen
-- Forwarded message -- From: Brian McQueen [EMAIL PROTECTED] Date: Sep 9, 2005 9:14 AM Subject: Re: [Haskell-cafe] ghc for sunos To: Donald Bruce Stewart [EMAIL PROTECTED] I installed it and its choking while looking for libreadline. I'm not an admin on these machines, so my

Re: Fwd: [Haskell-cafe] ghc for sunos

2005-09-09 Thread Malcolm Wallace
Brian McQueen [EMAIL PROTECTED] writes: I installed it and its choking while looking for libreadline. I'm not an admin on these machines, so my options are limited. You can download and install the readline library as an ordinary user, in your own filespace. Just add