heap profiling and name truncation

2005-11-14 Thread Abraham Egnor
I'm trying to use the built-in ghc heap profiling and running into a large roadblock: the names of producers are truncated, often into uselessness, and there doesn't seem to be an option to control this. Am I missing something in the docs? Abe ___

Re: [Haskell] Making Haskell more open

2005-11-14 Thread Jon Fairbairn
On 2005-11-14 at 11:13+0100 Wolfgang Jeltsch wrote: Maybe I changed Konqueror's font settings already. The point is that my settings are in such a way that text with the default font size is well readable while not taking up too much space. The problem is with haskell.org's links. They

Re: [Haskell] Making Haskell more open

2005-11-14 Thread Wolfgang Jeltsch
Am Sonntag, 13. November 2005 22:21 schrieben Sie: [...] Hmm, turning off my font settings, it still looks mostly okay. The font sizes aren't set in absolute terms in the CSS or HTML anywhere that I can see. They're all set to percentages of the default browser sizes. Perhaps the problem is

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

2005-11-14 Thread Colin Runciman
Bulat, CR * Part of Tom's motivation for the new back-end is a nice implementation CR of his Hat G-machine for tracing. i'm interested whether this sort of things is possible as back-end for GHC? it will be great if current front-end for GHC which supports number of widely used extensions can

Re: [Haskell] Making Haskell more open

2005-11-14 Thread Cale Gibbard
Maybe I changed Konqueror's font settings already. The point is that my settings are in such a way that text with the default font size is well readable while not taking up too much space. The problem is with haskell.org's links. They have a font size of 80% of the default. If the default

[Haskell] Fonts on haskell.org

2005-11-14 Thread John Peterson
If someone sends me a new css file I'll be happy to throw it on haskell.org for you. Please send an email to this list if you want to do this so nobody else wastes their time. John ___ Haskell mailing list Haskell@haskell.org

Re: [Haskell] Fonts on haskell.org

2005-11-14 Thread Jon Fairbairn
On 2005-11-14 at 10:38EST John Peterson wrote: If someone sends me a new css file I'll be happy to throw it on haskell.org for you. Please send an email to this list if you want to do this so nobody else wastes their time. Is anything more needed than the attached patch? If so, I'm willing

Re: [Haskell] Fonts on haskell.org

2005-11-14 Thread Wolfgang Jeltsch
Am Montag, 14. November 2005 17:05 schrieb Jon Fairbairn: On 2005-11-14 at 10:38EST John Peterson wrote: If someone sends me a new css file I'll be happy to throw it on haskell.org for you. Please send an email to this list if you want to do this so nobody else wastes their time. Is

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

2005-11-14 Thread Colin Runciman
Thomas Davie wrote: I haven't played around with nhc98 yet, but I was intrigued by its small size and its (modestly-sized and simple) bytecoded implementation. Should I now be more interested in Yhc instead? ;-) As far as the YHC team is concerned, yes... As far as the nhc team is... I'm

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

2005-11-14 Thread David Frech
On 11/13/05, Wolfgang Jeltsch [EMAIL PROTECTED] wrote: Am Samstag, 12. November 2005 00:09 schrieb David Frech: [...] I'd like to build a web-publishing framework in Haskell that is totally self-contained, very portable, and easy to bootstrap ... and nhc98 or Yhc might be a nice place to

[Haskell] Re: Making Haskell more open

2005-11-14 Thread Benedikt Schmidt
Tomasz Zielonka [EMAIL PROTECTED] writes: On Fri, Nov 11, 2005 at 04:52:30PM +0100, Wolfgang Jeltsch wrote: IMO, the best solution are newsgroups. What I dislike with web-based communication (webmail, webforums) is that webbrowsing is not as flexible as using a specialized software

[Haskell] SAS 2006: First Call for Paper

2005-11-14 Thread Kwangkeun Yi
* First Call For Papers The 13th International Static Analysis Symposium (SAS'06) Seoul, Korea 29-31 August 2006

Re: [Haskell] formal verification for functional programming languages

2005-11-14 Thread Fritz Ruehr
Anyone interested in program verification issues in a Haskell context should check out the Programatica project: http://www.cse.ogi.edu/PacSoft/projects/programatica/ (I'm not sure how recent changes at OGI/PacSoft may have affected the on-going status of this project, but there is a

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Krasimir Angelov
2005/11/13, Gour [EMAIL PROTECTED]: Sven Panne ([EMAIL PROTECTED]) wrote: * DocBook XML can be transformed into a very rich collection of output formats: XHTML, HTML Help, DVI, PS, PDF, FO, plain text, etc. etc. txt2tags has the following backends: HTML, XHTML, SGML, LaTeX, Lout, man,

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Gour
Sven Panne ([EMAIL PROTECTED]) wrote: Great! If you have already an XML editor, start writing DocBook now! :-) No, I won't :-) More seriously: This is again a useless tools discussion, we *are* using DocBook currently and it works fine. The real problem is not the XML format and any XML

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Wolfgang Jeltsch
Am Sonntag, 13. November 2005 22:22 schrieb Gour: [...] But don't forget, as it was already stated, get the whole working-chain ready for authoring in Docbook is not at all ready and for one not proficient in emacs with SGML mode it is very difficult to write texts with so many tags. You

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Ketil Malde
Gour wrote: Nobody said that DocBook does not work fine. However let me quote SPJ's message: quote However, I still wonder if there are things we could do that would make it easier for people to contribute. Here are two concrete suggestions: ^^^ - Make it possible for people to add

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Ketil Malde
Wolfgang Jeltsch wrote: Hmm, MediaWiki already supports the concept of discussion pages. Yes, I know. Perhaps I was less than lucid, so to clarify: But I doubt that it's a good thing to maintain DocBook sources via a wiki. I think it would be best to keep the documentation in DocBook

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Duncan Coutts
On Mon, 2005-11-14 at 11:03 +0100, Wolfgang Jeltsch wrote: Am Sonntag, 13. November 2005 22:05 schrieb Gour: [...] The question is if HTML is sufficient. In addition, HTML is at some points not well thought-out. True, but considering the present situation, it is all what is

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Wolfgang Jeltsch
Am Sonntag, 13. November 2005 22:05 schrieb Gour: [...] The question is if HTML is sufficient. In addition, HTML is at some points not well thought-out. True, but considering the present situation, it is all what is required. I doubt this. How, for example, do you implement code

Re: [Haskell-cafe] Re: [Haskell] Making Haskell more open

2005-11-14 Thread Wolfgang Jeltsch
Am Montag, 14. November 2005 10:49 schrieb Ketil Malde: [...] I think it would be ideal to provide the documentation on the web as now, but linking to wikified talk pages. Something like Wikipedia, (since MediaWiki was brought up) but perhaps with restricted write access to the feature

[Haskell-cafe] Download binary file

2005-11-14 Thread Jorge Guerra
Hi everyone, I'm trying to download a binary file (an mp3) from a given URL, at the moment I've found two possible solutions: 1) Use the Network.Socket library from ghc to get the file. The problem with this is that I'll have to deal with the HTTP protocol (done), and read the Handle in binary

[Haskell-cafe] warning HEAP: creating uncommited range

2005-11-14 Thread Joel Reymont
Folks, Does this ring a bell with anyone? logon.exe is a binary that I built with -O -debug and ran from within gdb on Windows. warning HEAP:[logon.exe] warning: Failing creating uncommitted range (7fbfc000 for 5000) Thanks, Joel -- http://wagerlabs.com/

[Haskell-cafe] Two questions: lazy evaluation and Church-Rosser

2005-11-14 Thread Gregory Woodhouse
This is surely a dumb question, but where can I find a proof of the Church-Rosser theorem? Now, a totally(?) separate question: I've been trying to do some background reading on lambda calculus, and have found discussions of strict evaluation strategies (call-by-value and call-by-name)

[Haskell-cafe] Semantics for FP?

2005-11-14 Thread Gregory Woodhouse
First of all, I'm very new to Haskell (but very impressed). I remember having a lot of fun with Lisp as an undergrad, and recently started working with Scheme (and having a great time at it), and so I decided to look into Haskell. Like everyone else, I was totally impressed by the two line