RE: stgSyn/CoreToStg.lhs:1112: Couldn't match `#' against `*'

2002-05-13 Thread Simon Peyton-Jones
Title: Message Yes, I fixed this a week or two ago. You need to 'cvs update'. The cvs commit logs should show which commit fixed it if you want to just grab the patch. Simon -Original Message-From: Mike Thomas [mailto:[EMAIL PROTECTED]] Sent: 12 May 2002 10:29To:

Re: External Core front-end in GHC 5.03

2002-05-13 Thread Kirsten Chevalier
On Wed, May 08, 2002 at 07:18:17AM -0700, Sigbjorn Finne wrote: Hi, I'm unable to reproduce this here (with a 2002-05-07 HEAD build.) Make sure no interface files from earlier GHC builds are in scope; the -dshow-passes output you give hints that this _might_ be the cause. I'm still having

Re: External Core front-end in GHC 5.03

2002-05-13 Thread Sigbjorn Finne
I'm able to reproduce this with a stage1 build (built using ghc-5.02.3), but not a stage2 build. Looks as if parser/ParserCore.y is tickling a bug in 5.02.3 - try regenerating parser/ParserCore.hs with Happy, but stay away from the -c option - e.g., foo$ happy -g parser/ParserCore.y followed

Re: Giving profiled object files a different extension (was: RE: Profiling suggestion)

2002-05-13 Thread Ketil Z. Malde
Simon Marlow [EMAIL PROTECTED] writes: The proposal, therefore, is to extend the meaning of '-prof' to mean '-prof -osuf p_o -hisuf p_hi' or similar. I wasn't aware of these ('-*suf') options. Are they respected by the linker stage? I.e. will ghc --make when invoked with -osuf and -hisuf

Re: List.sort

2002-05-13 Thread Ian Lynagh
On Sun, May 12, 2002 at 09:22:02PM +0100, Claus Reinke wrote: randomise l = do map snd $ sortBy compareIdx $ zip rs l where n = length l rs = take n $ randomRs (1,n) $ mkStdGen 100 compareIdx (i,_) (j,_) = i `compare` j rsort l = sort $ randomise l This

RE: Prelude.catch vs. Exception.catch

2002-05-13 Thread Simon Marlow
I notice that Prelude.catch and Exception.catch behave differently, even though they both have the same type signature (and name). Exception.catch catches exceptions that Prelude.catch does not. Prelude.catch catches IO exceptions only, because this is what the Haskell report specifies.

RE: Prelude.catch vs. Exception.catch

2002-05-13 Thread Ashley Yakeley
At 2002-05-13 08:44, Simon Marlow wrote: Prelude.catch catches IO exceptions only, because this is what the Haskell report specifies. OK The idea is that if you want to use Exceptions in their full glory, you: ... import qualified Exception I've noticed something a bit unusual about

RE: Dependent Types

2002-05-13 Thread Simon Marlow
However, if I now comment out the functional dependency class Encode a b {- | a - b -} where encode :: a - b and include the expressions x = encode TimeExceeded ExcTTL main = putStrLn x then Hugs complains ERROR codes.hs (line 37): Unresolved top-level overloading ***

RE: Dependent Types

2002-05-13 Thread Simon Marlow
I think you're running into a well-known(*) problem with Hugs's implementation of the monomorphism restriction. (*) actually I thought this was a well-known problem, but it doesn't seem to be mentioned in the Hugs documentation as far as I can see. Here's a bit of background I managed to

Re: preprocessing printf/regex strings (like ocaml)

2002-05-13 Thread Brian Huffman
On Sunday 12 May 2002 03:50 am, Sebastien Carlier wrote: the python string notation (str % tuple) would fit really well too... putStrLn hello %s, you got %d right % (oliver, 5) Might be nice. What would be the type of putStrLn then? The type of putStrLn would remain unchanged.

Re: preprocessing printf/regex strings (like ocaml)

2002-05-13 Thread anatoli
Brian Huffman [EMAIL PROTECTED] wrote: Here is a printf-style function that I hacked up this morning; it uses type classes but it doesn't need functional dependencies: [snip] It's very nice and even extendable, though `class Printf String' is unfortunately not Haskell 98. But the bigger

HTTP Implementation

2002-05-13 Thread Warrick Gray
I've been tinkering with a client-side HTTP/1.1 implementation for Haskell. My ambition is to write a small Haskell program for checking my Hotmail account. In the interests of finding all bugs and giving something for nothing I've made the code available: