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)
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)
Hi,
Is it possible to interrogate the typechecker
from within a Haskell program
Friendly
Jan Brosius
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
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
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
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
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?