Re: ghc on macos

2005-10-11 Thread Robert Harper
anyone help Bob with getting GHC to work on his Mac? Wolfgang? Simon -Original Message- From: Robert Harper [mailto:[EMAIL PROTECTED] Sent: 06 October 2005 00:48 To: Simon Peyton-Jones Subject: ghc on macos hi simon, today i downloaded ghc using darwinports on my macos notebook. installing

Bug in the proof of Data.FiniteMap and DData.Map

2004-03-19 Thread Robert Will
hi, both of the data structures are based on Adams' balancing algorithm which contains a bug -- at least in its proof. (Perhaps it is correct, but I don't know anyone that knows if.) Instead of fixing the bug I have re-derived the algorithm from the invariant together with a (now hopefully

Re: GHC 5.05 panic in speceval_2 branch

2004-02-13 Thread Robert Ennals
I've no idea what state the speceval_2 branch is in. It's where Robert was working on optimistic evaluation. I'll let him comment. [snip] | ghc-5.05: panic! (the `impossible' happened, GHC version 5.05): | Optimistic Evaluation does not currently support native code | generation

Haskell pattern matching too strict?

2001-01-09 Thread Robert F. Pointon
Hi all, (Using ghc-4.08) consider the following program... As it stands it will cause 'undefined' to be evaluated. However if we replace 'broken fragment' by the 'working fragment' then it will work correctly. The reason is straightforward: in 'broken fragment' it obviously tries to construct

Re: Haskell pattern matching too strict?

2001-01-09 Thread Robert F. Pointon
On Tue, 9 Jan 2001, Malcolm Wallace wrote: -- broken fragment instance (Typeable a, Typeable b) = Typeable (a,b) where typeOf (x,y) = "("++(typeOf x)++ ","++(typeOf y)++")" -- Is this too strict? It never uses the tuple or its arguments yet tries to construct the tuple anyway.

No Subject

2000-07-16 Thread Robert Will
it works without -O, doesn't with -O2 cu, Robert -- Join the best: news://tui.programming_contest http://www.tu-ilmenau.de/~robertw/icpc main = einzeln $ numslist $ genlist [] einzeln (x:xs) = do print x getLine einzeln xs sonst = True primes :: Integral a = [a] primes

installing haskell from source

1997-12-04 Thread Robert M. Muth
Do you have an idea what might go wrong here? Robert