RE: Contexts differ in length

2005-05-27 Thread Simon Peyton-Jones
| A while ago I sent an email to the glasgow haskell users maillinglist to | explain how the Contexts differ in length feature (or bug :-)) | restricted me in writing a haskell application. I was hoping for a | reply, however I didn't receive one (yet). It's a sensible suggestion. Until now no

Re: Contexts differ in length

2005-05-27 Thread Robert van Herk
Simon Peyton-Jones wrote: | A while ago I sent an email to the glasgow haskell users maillinglist to | explain how the Contexts differ in length feature (or bug :-)) | restricted me in writing a haskell application. I was hoping for a | reply, however I didn't receive one (yet). It's a

Re: explicit signatures and default for integer literals

2005-05-27 Thread Dinko Tenev
*Main :type fromList fromList :: (Ord k) = [(k, a)] - Map k a *Main :type new new :: (New a b) = a - b The type of new probably accounts for the difference (even though it still makes me wonder what the big deal is :) Using functional dependencies seems to fix it, i.e.: class New a b | a - b

RE: Why hIsEOF wait for completely full buffer while hGetChar doesn't ?

2005-05-27 Thread Simon Marlow
On 27 May 2005 03:33, Nobuo Yamashita wrote: I am curious about reason why in GHC hIsEOF blocks in BlockBuffering mode while hGetChar doesn't. I wrote following three programs for an experiment. -- echo0.hs module Main where import System.IO main = hSetBuffering stdin

Re: Are new sequences really O(1)?

2005-05-27 Thread Marcin 'Qrczak' Kowalczyk
[moved from libraries to glasgow-haskell-users] Ross Paterson [EMAIL PROTECTED] writes: GCs that happen during this process will be more expensive, as they have to scan the stack. I suspect that GC costs are swamping everything else for large n. I just tweaked the implementation GC in my