Re: silly question on \n

2000-04-29 Thread Michael Hudson
Sitzman [EMAIL PROTECTED] writes: Hey all.. Gosh, this feels embarrassing to ask.. but how do I get a string to print out with a carriage return in it? (like using \n in c++)... I want listBooks :: [Book] - [String] listBooks [] = [] listBooks (Book lang year last first title:bs)

Constrained instances?

2000-04-29 Thread Tommy Thorn
Isn't it possible to constrain instances? I tried the following where the idea is to implement a simple monad, but one which can only pass and return values that are showable. newtype Show a = TracingEv a = TE (Int - IO (Int,a)) unTE :: Show a = TracingEv a - Int - IO (Int,a) unTE (TE x)

No Subject

2000-04-29 Thread Jan Brosius
Hi, Is it possible to interrogate the typechecker from within a Haskell program Friendly Jan Brosius

Re: Constrained instances?

2000-04-29 Thread Marcin 'Qrczak' Kowalczyk
Sat, 29 Apr 2000 13:22:36 +0200 (MET DST), Tommy Thorn [EMAIL PROTECTED] pisze: Probable cause: missing `Show a' in type signature for `return' Sure there's a missing Show a, but I can't change the signature of return and it seems to me that Show a should follow from the constraint on

Re: Constrained instances?

2000-04-29 Thread Scott Turner
At 13:22 2000-04-29 +0200, you wrote: I tried the following where the idea is to implement a simple monad, but one which can only pass and return values that are showable. newtype Show a = TracingEv a = TE (Int - IO (Int,a)) unTE :: Show a = TracingEv a - Int - IO (Int,a) unTE (TE x) = x

haskell-mode and XEmacs

2000-04-29 Thread José Romildo Malaquias
Hello. I have been using the haskell-mode http://www.haskel.org/haskell-mode/ (latest release: 1.3) for (X)Emacs for a while and it has helped me a lot in my Haskell programming activity. Thanks to the authors. But I am having a problem with this mode in XEmacs (XEmacs 21.1.9). For every buffer

Performance, and algorithms

2000-04-29 Thread Ian Jackson
I'm probably being dense here and not seeing the wood for the trees, and I've included lots of tedious junk below, but here goes. I have a program which runs too slowly. I knew when I wrote it that I was taking a `naive' approach to the program - I've tried to write what I meant rather than

Re: your mail

2000-04-29 Thread Fergus Henderson
On 29-Apr-2000, Jan Brosius [EMAIL PROTECTED] wrote: Is it possible to interrogate the typechecker from within a Haskell program You can of course invoke a Haskell typechecker (e.g. Hugs) as a separate process. Why do you ask? What kind of questions do you want to ask the type checker?