Re: inside the GHC code generator

2006-02-23 Thread Kevin Glynn
Claus Reinke writes: the long answer is: are you ever heard promises that gcc is best cpu-independent assembler? no? and you know why? because gcc is not cpu-independent assembler. gcc was strongly optimized to make efficient asm from the code usually written by the C programmers. but

Re[2]: inside the GHC code generator

2006-02-23 Thread Kevin Glynn
Bulat Ziganshin writes: Hello Kevin, KG Also, ghc used to be faster than gcc for a naive, recursive factorial KG function (once the cpr analysis and optimisation was added). From KG what Bulat wrote it seems that gcc got better ... i don't say that we must compile recursive

No NoFib

2002-05-01 Thread Kevin Glynn
Hi, I can't find a tarred up release of the NoFib suite, I can only find it in the CVS repository. Is this intentional? The link from GHC's home page points to a very old page at Glasgow which doesn't give a link to the software. (Perhaps the link in the paper still works - I haven't

RE: Isn't this tail recursive?

2002-03-11 Thread Kevin Glynn
Looking at the online GHC Users Guide, this flag is documented in 4.19.14. Individual optimisations This has a link to Section 4.11.2, but -fall-strict isn't described in that section. Presumably its only been half removed (added) from the documentation. k Simon Marlow writes: On

Re: oops (was: Re: if-then-else inside a do)

2002-01-29 Thread Kevin Glynn
I think the Haskell Wiki was going to be the place to collect interesting code fragments. However, I must add that these functions are already part of the Haskell 98 standard. See the Monad module in the Library Report. cheers k Mark Carroll writes: On Wed, 30 Jan 2002, Bernard James

bug in profiling compiler version

2001-03-21 Thread Kevin Glynn
Hi Uwe, I'm sorry about the delay replying to this message. I've investigated your problem and its another of those "Hmmm, why doesn't this break all the time things". I'll check a fix into the CVS sources. In the meantime I have two possible work arounds: The first is to change the

Nofib Fails stderr test on linux

2001-01-10 Thread Kevin Glynn
Hi, I'm using ghc-4.08.1 on linux (Debian 2.2) and running some nofib tests. some of the tests (e.g. mkhprog) fail when comparing the expected / actual stderr. The two files differ by an extra carriage return on the actual stderr's saved file. I discovered that this was caused by the line

Strange Rules Parse Error

2000-09-04 Thread Kevin Glynn
Hi, Parsing rules seeems to be a little broken. Two examples: 1. The following program compiles fine under 4.08, but fails with a nearly up to date CVS head: module Main where {-# RULES "silly" forall arg .id arg = arg #-} main = putStrLn "Hello World" with error:

No Subject

2000-08-18 Thread Kevin Glynn
Tell you what, why don't you show us yours and *then* we'll think of showing you ours. k Pretty9 writes: i wonder if u coul write the following program for me. i couldn't get mine to work so i wanna check. my email address is [EMAIL PROTECTED]

Re: Haskell and the NGWS Runtime

2000-08-03 Thread Kevin Glynn
I don't believe this says anything about support for other OS's. I think the devices here are hardware, (PCs, handhelds, phones, fridge interfaces, ...) Of course Microsoft believes that some day, very soon, all devices will run (a version of) Windows. Hence this statement refers to

Re: Simple concurrent issue?

2000-08-02 Thread Kevin Glynn
OTOH, certainly doing an IO operation should cause a thread switch. In my limited use of the concurrency extension, I found it hard to write a dining philosophers program that behaved randomly. I had to throw yield's in all over the place. The `GHC-specific concurrency issues' of the hslibs

RE: -fwarn-unused-imports message

2000-07-05 Thread Kevin Glynn
But those instances may be used by a module which imports this one. I think Sergey's comment is correct. hip hip Kevin Simon Marlow writes: ghc-pre-4.07 -fwarn-unused-imports says to my ` import M () ' .../M.hs:42: Warning: Module `M' is imported, but nothing

RE: H/Direct Contact

2000-06-05 Thread Kevin Glynn
You may be interested in Mercury ("a purely declarative logic/functional language) which has such a binding to Mercury called MCORBA. Mercury can be found via http://www.cs.mu.oz.au/research/mercury/ and a paper describing the implementation can be found via

bug report

2000-03-14 Thread Kevin GLYNN
Hi Volker, It is legal Haskell, but it isn't doing what you think. The patterns in a case statement introduce *new* variables, their scope is the right hand side expression of their alternative. Since the a,b,c patterns are just variables they will match anything, and the first alternative

the impossible happend again

2000-02-28 Thread Kevin GLYNN
Thanks for the bug report. I am investigating. In the meantime you could change the declaration of ArgrC from a 'newtype' to an ordinary 'data' declaration. It then compiles fine for me. Hope this helps regards Kevin Volker Wysk writes: Hi. ghc -fallow-undecidable-instances

ghc-4.04, Alpha.

1999-10-01 Thread Kevin GLYNN
If you look on the GHC download page for version 2.10 you will see that there is a patch for the Makefile there. I think this is your problem. It would be great if you can get version 4 running on Alpha, but I suspect that your problems are only just beginning ;-) regards Kevin Alex

Re: ghc from CVS (1999/07/31) throws core...

1999-08-03 Thread Kevin GLYNN
Hmmm, just a me-too :-( it dies very quickly, just after a couple of calls to times according to strace and possibly in a function called Main_main_info() according to gdb. k Michael Weber writes: But my core dumps, don't give any "blahblah exception (core dumped)" messages.

RE: ghc 4.02 compilation failure (linux i386 glibc)

1999-06-17 Thread Kevin GLYNN
FWIW, I built it with libc5, hacking hsc with an editor wasn't very appealing! Giuliano's bug report seems to be still outstanding, and there's been no new release of glibc2.1 since. Kevin Simon Marlow writes: On Tue, May 25, 1999 at 02:08:19PM +0100, I wrote: However, it may have

RE: ghc 4.02 compilation failure (linux i386 glibc)

1999-05-25 Thread Kevin Glynn
Hi, What's the latest on this problem? Since I've hit it too :-( Is it possible to build ghc with egcs and glibc2.1 ?? I'm trying to build from source using the pre-built ghc-4.02 linux binaries. regards Kevin Giuliano P Procida [EMAIL PROTECTED] writes: No improvement, I'm

FiniteMap.lhs

1998-12-18 Thread Kevin Glynn
Hi, I wish to use the FiniteMap module, lib/exts/FiniteMap.lhs, but want to use it from both GHC and hugs. As it is hugs can't use it because it imports PrelBase. (btw, why didn't it make it into the joint GHC/Hugs Libraries? - seems v. useful). As far as I can see this can be fixed by

RE: GHC 4.01: Problems Using Existential Types

1998-12-14 Thread Kevin Glynn
Simon Peyton-Jones writes: data GenPic = forall pot. (PictureObject pot) = MkGenPic pot main :: IO () main = do putStr $ getPictureName obj where MkGenPic obj = item item = head obj_list The problem is the pattern binding for MkGenPic. Try

GHC 4.01: Problems Using Existential Types

1998-12-12 Thread Kevin Glynn
Hi, I'm sending this to g-h-bugs because there is certainly a ghc bug, however any answer may also be interesting to readers of g-h-user so consider cc-ing them if appropriate. I am running GHC-4.01 (compiled by myself with GHC 4.01) on a linux box. I am trying to create a polymorphic list,

RE: GHC-4.01 build errors - PrelBase.lhs

1998-12-12 Thread Kevin Glynn
Simon Marlow writes: This is somewhat of a FAQ - the problem is that you're running a compiler built on (and for) Linux/libc5, on Linux/libc6. Could this be put in the 'Problems' section of the installation guide? If your system can build binaries linked against libc5 (I believe the

GHC 4.01 build fails to compile PrelBase on solaris

1998-12-10 Thread Kevin GLYNN
Hi, My build of 4.01 is failing at the first hurdle :-(. I get a bus error when it tries to build PrelBase: ==fptools== gmake all --no-print-directory -r; in /mount/munkora/clp/pmt/keving/fptools/ghc/lib/std

GHC 4.01 build fails to compile PrelBase on solaris

1998-12-10 Thread Kevin GLYNN
whoops! Ignore the comments about compiling on linux. I forgot that I need to compile with libc5. Thanks to Andrew Cheadle for telling me this originally. Its compiling PrelNumExtra as I write regards Kevin

(long msg - includes source): Re: Defeated by profiling ....

1998-04-03 Thread Kevin GLYNN
o one file than all the others As you can see I stole the parser from an example. It parses boolean expressions. booleqns.ly -- Taken from AndysExample in the happy distribution which parses -- numeric expressions. This parses a list of boolean eqns -- (e.g. fun x y = x ^ y) -- K

Re: (long msg - includes source): Re: Defeated by profiling ....

1998-04-03 Thread Kevin GLYNN
"Simon" == Simon Marlow [EMAIL PROTECTED] writes: Simon Kevin GLYNN [EMAIL PROTECTED] writes: I realise that some time ago one of the ghc lists said that 'anyone who compiles a happy output file with optimisation flags set has cold semolina for brains'

Defeated by profiling ....

1998-04-01 Thread Kevin GLYNN
Hi, I have written a small application which uses Mutable Arrays to fixpoint boolean equations. It builds and runs, but slowly! In an attempt to see what is going on I am trying to build a profiled version. I have built all modules with -O2 -prof -auto-all -fvia-C (via-C doesn't seem to