#haskell - Sun 18 Feb 2007 between 08:11 and 09:50

NY Lost Funds



MarcWebe2Having a function like this: test :: (A a, B a, Show a) => .... Is there a way to introduce a synonym for (A a, B a, Show a) ? Is this done by creating a super class: class (A a, B a, Show a) => C a ?
Seems to work
der_eqMarcWebe2: How do you do that without undecidable instances?
MarcWebe2der_eq with the -fallow-undecidable-instances flag ;) works fine.
der_eqokay
hpasteMarc Weber pasted "Why do have to tell ghc again that m is an instance of monad?" at http://hpaste.org/541
ibidMarcWebe2: sorry, the answer to the hpaste question is, "because that's how it is". as far as i can tell, it could be either way, and i can think of arguments for both sides
dons?yow
lambdabotWorld War III? No thanks!
donsndm, around?
tibbe@src Network.HTTP
lambdabotSource not found. I can't hear you -- I'm using the scrambler.
Cale@where http
lambdabothttp://www.haskell.org/http/
Calehttp://darcs.haskell.org/http/Network/HTTP.hs
tibbeah
fastaCan I disable printing the "forall" part of a type?
donsyeah, turn off -fglasgow-exts
fastadons: heh, but I want fglasgow-exts for other things, I guess.
dons: e.g. functional dependencies.
dons: That's not possible?
donsnot that i know of. do tthe forall's bug you? :-)
fastadons: It takes half of the screen and does not in any way make the type clearer
matthew-_bigger screen?
fastamatthew-_: no, foralls should die.
donsare you running in ghci or something?
matthew-_meh, it'd be fine if they used the unicode symbol
fastadons: I run ghci in Emacs in Haskell-mode
Cheerydo you know ways one could use to 'freeze' computation in haskell?
fastaCheery: continuations?
matthew-_fasta: search for the string "forall" in the ghci source, replace it with the unicode symbol and recompile!
fastamatthew-_: Yes, I considered that.
matthew-_: but it's probably slow
matthew-_mmm. or you could do some magic and put a sed in the pipe to emacs.
somehow. I've no idea how to do that though
fastamatthew-_: that's a better idea
matthew-_if you can work out how to do that, I'd love to know
whilst I use emacs, that kinda thing always seems utterly beyond me!
tibbeis Contrl-C throw as an exception?
s/throw/thrown

Page: 2 9 16 23 30 37 44 51 58 65 

IrcArchive

NY Lost Funds