Re: Rebuilding ghc changes interface hashes?

2011-04-05 Thread Simon Marlow
On 05/04/11 17:51, Matthias Kilian wrote: On Tue, Apr 05, 2011 at 09:59:23PM +0530, Joachim Breitner wrote: Also, the initial upload was built using ghc-6.12.1, while the upload now is build with ghc-7.0.2. Given that it is a two-stage compiler, I assume that the output should be identical, but

Re: ANNOUNCE: GHC version 7.0.3

2011-03-30 Thread Simon Marlow
On 30/03/2011 03:12, wren ng thornton wrote: On 3/28/11 10:33 PM, Jens Petersen wrote: FYI testsuite results: [...] 8 unexpected failures on x86: DoParamM(normal) T3064(normal) T3330a(normal) T3738(normal) T4316(ghci) T4801(normal) break024(ghci) space_leak_001(normal) FYI, testsuite results

Re: Strange performance effects with unsafePerformIO

2011-03-25 Thread Simon Marlow
On 25/03/2011 08:56, Sebastian Fischer wrote: 2011/3/25 Thomas Schillingnomin...@googlemail.com: unsafePerformIO traverses the stack to perform blackholing. It could be that your code uses a deep stack and unsafePerformIO is repeatedly traversing it. Just a guess, though. Sounds reasonable.

Re: ghc fails with HOME not set, fixing right now

2011-03-25 Thread Simon Marlow
On 25/03/2011 09:28, Christian Maeder wrote: ghc should not fail if HOME is not set. It certainly cannot look up local packages then, but ghc should work without those, too. ghc is a compiler like gcc. Does gcc need HOME? Does gcc have a package database? :-) Of course, GHC should work

Re: memory slop

2011-03-23 Thread Simon Marlow
On 23/03/2011 02:32, Tim Docker wrote: On Mon, Mar 21, 2011 at 9:59 AM, I wrote: My question on the ghc heap profiler on stack overflow: http://stackoverflow.com/questions/5306717/how-should-i-interpret-the-output-of-the-ghc-heap-profiler remains unanswered :-( Perhaps that's not the best

Re: memory slop

2011-03-23 Thread Simon Marlow
On 22/03/2011 16:47, Brandon Moore wrote: On Tue, March 22, 2011 21:00:29 Tim Dockert...@dockerz.net wrote: I'm a bit shocked at the amount of wasted memory here. The sample data file has ~61k key/value pair. Hence ~122k ByteStrings - as you point out many of these are very small (1500 of

Re: Data.ByteString.Lazy.ByteString vs Data.ByteString.Lazy.Internal.ByteString

2011-03-14 Thread Simon Marlow
On 14/03/2011 10:33, Christian Maeder wrote: Am 14.03.2011 06:26, schrieb C K Kashyap: Looks like a job for Data.Binary. I'd like to use it with just the libraries that are part of the platform I forgot to mention, Data.Binary does not seem to be in the platform. Right, it

Re: GHC build error: cannot satisfy -package ghc-7.1.20110217

2011-03-14 Thread Simon Marlow
script edits bootstrap.sh, as there's no way to change PREFIX from outside in --global mode. On Mar 8, 2011, at 9:44 AM, Simon Marlow wrote: I don't know what might case this I'm afraid. Is it reproducible from a completely clean tree? (i.e. make maintainer-clean first). Cheers, Simon

Re: [Haskell] Haskell mail server fail?

2011-03-14 Thread Simon Marlow
On 09/03/2011 14:40, Kenneth Hoste wrote: Since last week, I'm not receiving any mails from the Haskell mailing lists (haskell@, haskell-cafe@ and beginners@) at work. (I'm temporarily using my GMail account now) I checked with the guys in our IT department what's going on, and it seems like

Re: [Haskell-cafe] Some quick experiments with GHC 7.0.2 in Intel's Manycore Testing Lab (32 cores)

2011-03-14 Thread Simon Marlow
Hi José, On 11/03/2011 14:16, José Pedro Magalhães wrote: I've played a bit with Intel's Manycore Testing Lab (http://software.intel.com/en-us/articles/intel-many-core-testing-lab/). Part of the agreement to use it requires that you report back your experiences, which I did in an Intel forum

Re: [Haskell-cafe] Data.ByteString.Lazy.ByteString vs Data.ByteString.Lazy.Internal.ByteString

2011-03-14 Thread Simon Marlow
On 14/03/2011 10:33, Christian Maeder wrote: Am 14.03.2011 06:26, schrieb C K Kashyap: Looks like a job for Data.Binary. I'd like to use it with just the libraries that are part of the platform I forgot to mention, Data.Binary does not seem to be in the platform. Right, it

Re: trac ticket spam

2011-03-12 Thread Simon Marlow
On 12/03/11 09:00, Max Bolingbroke wrote: On 31 January 2011 16:54, Simon Marlowmarlo...@gmail.com wrote: On 31/01/2011 16:45, Claus Reinke wrote: Is there any way to have a moderate first comment by new submitter policy for trac, to avoid the kind of ticket spam we have at the moment? They

Re: ghc-7.0.2 on macports wanted

2011-03-11 Thread Simon Marlow
On 11/03/11 11:01, Christian Maeder wrote: Am 11.03.2011 11:32, schrieb Max Bolingbroke: On 10 March 2011 17:51, Christian Maederchristian.mae...@dfki.de wrote: Why does the base package depend on iconv only on macs? iconv is not needed under linux or solaris (unless you install haskeline,

Re: [Haskell-cafe] Why don't my OS threads terminate?

2011-03-10 Thread Simon Marlow
On 28/02/11 15:59, Bas van Dijk wrote: On 25 February 2011 19:10, Bas van Dijkv.dijk@gmail.com wrote: On 25 February 2011 18:27, sclvs.clo...@gmail.com wrote: Bas van Dijk-2 wrote: I believe the OS threads are created by my levmar library. This library uses bindings-levmar[4] which

Re: [Haskell-cafe] Why don't my OS threads terminate?

2011-03-10 Thread Simon Marlow
On 10/03/11 18:20, Bas van Dijk wrote: On 10 March 2011 18:11, Simon Marlowmarlo...@gmail.com wrote: On 28/02/11 15:59, Bas van Dijk wrote: On 25 February 2011 19:10, Bas van Dijkv.dijk@gmail.comwrote: On 25 February 2011 18:27, sclvs.clo...@gmail.comwrote: Bas van Dijk-2

Re: bin-package-db

2011-03-08 Thread Simon Marlow
On 08/03/11 07:46, Kazu Yamamoto (山本和彦) wrote: Hello, The release note of GHC 7.0.2 says: 1.5.6.3. bin-package-db This is an internal package, and should not be used. What is the intention of this change? The author of cabal-delete hesitates to register cabal-delete into

Re: GHC build error: cannot satisfy -package ghc-7.1.20110217

2011-03-08 Thread Simon Marlow
On 04/03/11 11:49, William Knop wrote: Hi all, Not to pester, but this problem has me stumped. All of the dependencies that ghc reports are broken/recursive are reported (with identical versions) by ghc-pkg/cabal as being part of my bootstrap install. Rerunning the offending command with

Re: Tracing idea

2011-03-01 Thread Simon Marlow
On 21/02/2011 01:08, Edward Z. Yang wrote: Excerpts from Tyson Whitehead's message of Sun Feb 20 07:14:56 -0500 2011: I believe a back trace on the actual call stack is generally considered not that useful in a lazy language as it corresponds to the evaluation sequence, That is, it is demand

Re: ghc-pkg regression (or deliberate change)?

2011-03-01 Thread Simon Marlow
On 22/02/2011 22:38, Tyler Pirtle wrote: Hi there, I'm using a system with an older version of GHC (6.8.3), and invoking ghc-pkg against a non-existing file in -f: $ haskell/ghc/v683/k8/lib/ghc-6.8.3/ghc-pkg.bin --global-conf haskell/ghc/v683/k8/lib/ghc-6.8.3/package.conf -f

Re: SMP parallelism gains inferior than expected

2011-03-01 Thread Simon Marlow
On 24/02/2011 13:26, José Pedro Magalhães wrote: (Forwarding to haskell-cafe) Hi, I have a program that computes a matrix of Floats of m rows by n columns. Computing each Float is relatively expensive. Each line is completely independent of the others, so I thought I'd try some simple SMP

Re: Faster Array#/MutableArray# copies

2011-03-01 Thread Simon Marlow
On 01/03/2011 11:55, Roman Leshchinskiy wrote: Simon Marlow wrote: For small arrays like this maybe we should have a new array type that leaves out all the card-marking stuff too (or just use tuples, as Roman suggested). Would it, in theory, be possible to have an unpacked array type

Re: [Haskell-cafe] SMP parallelism gains inferior than expected

2011-03-01 Thread Simon Marlow
On 24/02/2011 13:26, José Pedro Magalhães wrote: (Forwarding to haskell-cafe) Hi, I have a program that computes a matrix of Floats of m rows by n columns. Computing each Float is relatively expensive. Each line is completely independent of the others, so I thought I'd try some simple SMP

Re: Faster Array#/MutableArray# copies

2011-02-28 Thread Simon Marlow
On 18/02/2011 19:42, Nathan Howell wrote: On Fri, Feb 18, 2011 at 12:54 AM, Roman Leshchinskiy r...@cse.unsw.edu.au mailto:r...@cse.unsw.edu.au wrote: Max Bolingbroke wrote: On 18 February 2011 01:18, Johan Tibell johan.tib...@gmail.com mailto:johan.tib...@gmail.com wrote: It

Re: Behavior of the -H RTS option, possible doc/impl mismatch

2011-02-17 Thread Simon Marlow
On 16/02/2011 08:24, Akio Takano wrote: Hi, I have questions regarding to the -H RTS option. I use GHC 7.0.1 on Linux x86-64. The User's Guide says: -Hsize [Default: 0] This option provides a “suggested heap size” for the garbage collector. The garbage collector will use about this much

Re: [Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-17 Thread Simon Marlow
On 16/02/2011 12:46, Sebastiaan Visser wrote: On Feb 12, 2011, at 6:08 PM, Antoine Latter wrote: On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visserhask...@fvisser.nl wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this

Re: [Haskell-cafe] Faster timeout but is it correct?

2011-02-17 Thread Simon Marlow
On 16/02/2011 08:39, Bas van Dijk wrote: timeout :: Int - IO a - IO (Maybe a) timeout n f | n 0= fmap Just f | n == 0= return Nothing | otherwise = do myTid- myThreadId timeoutEx- fmap Timeout newUnique uninterruptibleMask $ \restore - do

Re: [Haskell-cafe] Faster timeout but is it correct?

2011-02-17 Thread Simon Marlow
On 16/02/2011 23:27, Bas van Dijk wrote: On 16 February 2011 20:26, Bas van Dijkv.dijk@gmail.com wrote: The patch and benchmarks attached to the ticket are updated. Hopefully this is the last change I had to make so I can stop spamming. And the spamming continues... I started working on

Re: [Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-17 Thread Simon Marlow
On 16/02/2011 12:46, Sebastiaan Visser wrote: On Feb 12, 2011, at 6:08 PM, Antoine Latter wrote: On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visserhask...@fvisser.nl wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this

Re: a compiled program is slower than byte code

2011-02-15 Thread Simon Marlow
On 09/02/2011 09:25, Kazu Yamamoto (山本和彦) wrote: Hello, My stats look very different. 6 RuleFired 1 ++ 2=# 1 foldr/app 1 unpack 1 unpack-list Are your libraries compiled with -O2? I don't know. How can I check? I just installed ghc-7.0 by perl boot; configure;

Re: a compiled program is slower than byte code

2011-02-09 Thread Simon Marlow
On 09/02/2011 04:35, Kazu Yamamoto (山本和彦) wrote: Hello Simon, $ ghc-nightly2 ./kazu.hs -O2 -fforce-recomp; time ./kazu [1 of 1] Compiling Main ( kazu.hs, kazu.o ) Linking kazu ... 4.17s real 4.16s user 0.01s system 99% ./kazu OK. I ran it on 32bit Linux. 6.12.3 runghc

Re: System.Posix.Signals weirdness

2011-02-08 Thread Simon Marlow
I'd expect the following program (compiled with ghc and without any specieal flags) to produce Just (Exited ExitSuccess) True but it produces Just (Exited ExitSuccess) False on Debian Lenny (ghc-6.8), OpenBSD-current (ghc-6.12.3), OpenBSD-current (ghc=7.0 from the 7.0

Re: a compiled program is slower than byte code

2011-02-08 Thread Simon Marlow
If I compile the attach code with GHC of the newest ghc-7.0 darcs branch, the compiled program is much slower than byte code. This phenomenon does not exist in GHC 6.12.3. 6.12.3 runghc -- 6.23s user 0.59s system 98% cpu 6.912 total ghc -- 5.72s user 0.70s system 99% cpu

Re: 4221 on new codegen

2011-02-04 Thread Simon Marlow
On 03/02/2011 22:41, ezyang wrote: Assuming that runFuelIO is the only mechanism by which fueled execution is performed, the only file using fuel is CmmCPS.hs. This file performs: 1. Proc point analysis 2. Proc point transformation 3. Spills and reloads 4. Late reloads

Re: ghc trac login and email verification

2011-02-04 Thread Simon Marlow
On 01/02/2011 03:28, John Lask wrote: relating to the ghc trac discussion ... for some time I have had a ghc trac login, but every time I login it asks for an email verification token (http://hackage.haskell.org/trac/ghc/verify_email) but no token has ever been sent to me, nor when I change my

Re: 4221 on new codegen

2011-02-03 Thread Simon Marlow
:12 | To: Simon Marlow; Simon Peyton-Jones | Cc: glasgow-haskell-users | Subject: Re: 4221 on new codegen | | Simon Peyton Jones, I have a question about optimization fuel and GHC panics. | When I vary the fuel using -dopt-fuel, I get the following varying behavior: | | ... | -dopt-fuel=144

Re: 4221 on new codegen

2011-02-03 Thread Simon Marlow
On 03/02/2011 10:07, ezyang wrote: Excerpts from Simon Marlow's message of Thu Feb 03 04:05:04 -0500 2011: I wonder if the fuel is also being used by essential transformations, like the CPS pass? That seems likely. Shall I try to figure out what the essential transformations are and give them

Re: 4221 on new codegen

2011-02-01 Thread Simon Marlow
On 01/02/2011 00:01, Edward Z. Yang wrote: Current theory: c1jj: _s1ep::I32 = I32[(slot_s1ep::I32 + 4)]; // CmmAssign _s1fP::I32 = I32[(slot_s1fP::I32 + 4)]; // CmmAssign // outOfLine should follow: _s1eq::F64 = F64[_s1fP::I32 + 3]; // CmmAssign

Re: trac ticket spam

2011-01-31 Thread Simon Marlow
On 28/01/2011 21:08, Claus Reinke wrote: Is there any way to have a moderate first comment by new submitter policy for trac, to avoid the kind of ticket spam we have at the moment? They seem to have started commenting on existing tickets now (#4510), which could turn into a real mess really

Re: Kernel panic when building HEAD on OS X 10.6.4

2011-01-31 Thread Simon Marlow
On 28/01/2011 13:44, Johan Tibell wrote: Hi, My computer dies a horrible death (i.e. kernel panic) whenever I build GHC from HEAD (currently using the quickest build configuration). Anyone had the same problem in the past? Any workarounds? Not that this has anything to do with your problem,

Re: trac ticket spam

2011-01-31 Thread Simon Marlow
On 31/01/2011 16:45, Claus Reinke wrote: Is there any way to have a moderate first comment by new submitter policy for trac, to avoid the kind of ticket spam we have at the moment? They seem to have started commenting on existing tickets now (#4510), which could turn into a real mess really

Re: Stack overflow weirdness

2011-01-28 Thread Simon Marlow
On 27/01/2011 11:45, Daniel Fischer wrote: While tuning some code, the test programme suddenly started producing stack overflows. Reverting the code to a previous version did not revert that behaviour, code that previously produced a well-behaved binary now produced stack overflowing ones. But

Re: handleToFd without closing of the file descriptor

2011-01-28 Thread Simon Marlow
On 27/01/2011 20:04, Volker Wysk wrote: I need to get the file descriptor, which is encapsulated inside a handle. handleToFd gets it, but the fd is closed. Is it possible to extract the fd from the handle, without modifying the handle? I think you mean the *Handle* is closed, not the FD,

Internships at MSR Cambridge, summer 2011 and later

2011-01-28 Thread Simon Marlow
Hi folks, If you're a postgraduate and would like to spend 12 weeks in Cambridge working on a GHC or Haskell-related project, then apply for an internship: we have open slots starting in July this year and later. We've had many successful intern projects over the years. Lots more

[Haskell] Internships at MSR Cambridge, summer 2011 and later

2011-01-28 Thread Simon Marlow
Hi folks, If you're a postgraduate and would like to spend 12 weeks in Cambridge working on a GHC or Haskell-related project, then apply for an internship: we have open slots starting in July this year and later. We've had many successful intern projects over the years. Lots more

Re: backward compatibility

2011-01-25 Thread Simon Marlow
On 21/01/2011 13:12, Ian Lynagh wrote: On Fri, Jan 21, 2011 at 10:18:57AM +, Simon Marlow wrote: On 20/01/2011 20:22, Axel Simon wrote: So, again, for this particular extension I suggest that the layout rule in the standard(s) should be revised -- if I'm mistaken, this will not break

Re: backward compatibility

2011-01-21 Thread Simon Marlow
On 20/01/2011 20:22, Axel Simon wrote: In the case of the layout bug, I think it might be worth considering going the other way: adjusting the standard with what ghc has always done. If I understand correctly, all my code using: foo = do some computation trace I am here $ do some more

Re: Cleaning up after the Close button is pressed

2011-01-21 Thread Simon Marlow
On 20/01/2011 05:27, Colin Hume wrote: Hi everyone, I posted previously on haskell-beginners about an issue which would have been better directed to this list. Since then, I have revisited the issue and am now even less certain of its cause. I have to perform cleanup when my application

Release/git plans

2011-01-20 Thread Simon Marlow
As promised, here are our plans for forthcoming GHC releases and the git switchover: - do a 7.0.2 RC as soon as possible, followed shortly by a release. Currently blocking this is a problem with Cabal that shows up on OS X 10.6, we hope to have this resolved soon. - switch the GHC repo

Re: RFC: migrating to git

2011-01-17 Thread Simon Marlow
Thanks to everyone who responded on this thread! It's great to see so much feedback. Of the people who responded, most were in favour of a switch to git, with a few notable exceptions. Here at GHC HQ, I'm slightly in favour of switching while Ian and Simon PJ are agnostic. So, we've

Re: RFC: migrating to git

2011-01-17 Thread Simon Marlow
On 17/01/2011 14:08, r...@cse.unsw.edu.au wrote: On Mon, January 17, 2011 11:08 pm, Simon Marlow wrote: So, we've decided to try switching to git. That's very sad! The changeover will be staged: first we'll switch the GHC repository, and if all goes well we'll switch the libraries

Re: [Haskell-cafe] Needed: A repeatable process for installing GHC on Windows

2011-01-16 Thread Simon Marlow
On 15/01/11 15:26, Claus Reinke wrote: Earlier today I was trying to set up a Windows build bot for the 'network' package. That turned out to be quite difficult. Too much playing with PATHs, different gcc versions, etc. Does anyone have a repeatable, step-by-step process to install GHC and get a

Re: git repos for testing

2011-01-14 Thread Simon Marlow
On 14/01/2011 02:32, Kazu Yamamoto (山本和彦) wrote: Hello Simon, I've made git mirrors of the current GHC HEAD repos (all of them), so people can try out their workflows with git. Hopefully this should work: git clone http://darcs.haskell.org/ghc-git/ghc.git cd ghc perl sync-all get

Re: RFC: migrating to git

2011-01-14 Thread Simon Marlow
On 13/01/2011 19:11, Brian Bloniarz wrote: On 01/13/2011 12:49 AM, Simon Marlow wrote: I spent quite some time yesterday playing with submodules to see if they would work for GHC. I'm fairly sure there are no fundamental reasons that we couldn't use them, but there are enough gotchas to put me

Re: New codegen failing test-cases

2011-01-14 Thread Simon Marlow
On 13/01/2011 19:29, Edward Z. Yang wrote: *you feel a sudden sense of deja vu* Here is my current play on things: - I can probably get a devel2 build with the new codegen turned on for everything. This list of errors is from that build. However, this build was originally

Re: RFC: migrating to git

2011-01-13 Thread Simon Marlow
On 12/01/2011 22:22, Iavor Diatchki wrote: Hello, On Wed, Jan 12, 2011 at 11:44 AM, Roman Leshchinskiy r...@cse.unsw.edu.au mailto:r...@cse.unsw.edu.au wrote: On 12/01/2011, at 09:22, Simon Marlow wrote: On 11/01/2011 23:11, Roman Leshchinskiy wrote: A quick look

Re: New codegen failing test-cases

2011-01-13 Thread Simon Marlow
I think the bug might be here: inlineStmt u a (CmmCall target regs es srt ret) = CmmCall (infn target) regs es' srt ret where infn (CmmCallee fn cconv) = CmmCallee fn cconv infn (CmmPrim p) = CmmPrim p es' = [ (CmmHinted (inlineExpr u a e) hint) | (CmmHinted e hint) - es

Re: New codegen failing test-cases

2011-01-13 Thread Simon Marlow
On 13/01/2011 12:51, Edward Z. Yang wrote: Yep, switching inlineStmt u a (CmmCall target regs es srt ret) = CmmCall (infn target) regs es' srt ret where infn (CmmCallee fn cconv) = CmmCallee fn cconv infn (CmmPrim p) = CmmPrim p es' = [ (CmmHinted (inlineExpr u a e) hint)

git repos for testing (was: Re: RFC: migrating to git)

2011-01-13 Thread Simon Marlow
I've made git mirrors of the current GHC HEAD repos (all of them), so people can try out their workflows with git. Hopefully this should work: git clone http://darcs.haskell.org/ghc-git/ghc.git cd ghc perl sync-all get You have to use sync-all instead of darcs-all, but the syntax is the

Re: RFC: migrating to git

2011-01-12 Thread Simon Marlow
On 11/01/2011 23:11, Roman Leshchinskiy wrote: On 11/01/2011, at 22:20, Simon Marlow wrote: On 11/01/11 21:57, Roman Leshchinskiy wrote: IMO, darcs-all works pretty well. I don't think I ever really had problems with missing library patches. I often see problems where someone has done

Re: RFC: migrating to git

2011-01-12 Thread Simon Marlow
On 11/01/2011 19:07, Roman Leshchinskiy wrote: On 11/01/2011, at 16:14, Tony Finch wrote: On Mon, 10 Jan 2011, Roman Leshchinskiy wrote: It also seems to make finding buggy patches rather hard. Have a look at `git bisect`. I'm aware of git bisect. It doesn't do what I want. I usually

Re: RFC: migrating to git

2011-01-11 Thread Simon Marlow
On 11/01/2011 00:36, rocon...@theorem.ca wrote: On Mon, 10 Jan 2011, Simon Marlow wrote: It's time to consider again whether we should migrate GHC development from darcs to (probably) git. From our perspective at GHC HQ, the biggest problem that we would hope to solve by switching

Re: RFC: migrating to git

2011-01-11 Thread Simon Marlow
On 11/01/11 21:57, Roman Leshchinskiy wrote: On 11/01/2011, at 21:41, Iavor Diatchki wrote: If GHC and the libraries on which it depends were in git (migrated, or mirrored), then we could use git sub-modules to track the dependencies between changes to GHC and changes to the libraries.

RFC: migrating to git

2011-01-10 Thread Simon Marlow
It's time to consider again whether we should migrate GHC development from darcs to (probably) git. From our perspective at GHC HQ, the biggest problem that we would hope to solve by switching is that darcs makes branching and merging very difficult for us. We have a few branches of HEAD

Re: RFC: migrating to git

2011-01-10 Thread Simon Marlow
On 10/01/2011 13:02, Max Bolingbroke wrote: On 10 January 2011 11:19, Simon Marlowmarlo...@gmail.com wrote: Let us know what you think - would this make life harder or easier for you? Would it make you less likely or more likely to contribute? Well, as a sometime-contributor I would

Re: [Haskell-cafe] UTF-8 BOM

2011-01-07 Thread Simon Marlow
On 06/01/2011 05:44, Mark Lentczner wrote: On Jan 4, 2011, at 5:41 PM, Antoine Latter wrote: Are you thinking that the BOM should be automatically stripped from UTF8 text at some low level, if present? It should not. Wether or not a U+FFEF can be stripped depends on context in which it is

Re: [Haskell-cafe] Odd profiling results

2011-01-05 Thread Simon Marlow
On 04/01/2011 21:20, Erik de Castro Lopo wrote: Malcolm Wallace wrote: The peaks I am guessing are largely attributable to parsing the source files. Then, once the source has been converted to an AST, the DDC compiler is presumably doing some analysis before moving on to the next file? I

Re: [Haskell-cafe] thread safety, IO arrays, and IO refs

2011-01-05 Thread Simon Marlow
On 31/12/2010 09:19, Eric Stansifer wrote: Hello, I wish to use a mutable array in multiple threads. Can IO arrays be used in any thread, or only the thread they are created in? (So if I create an IO array in one thread, pass it to another via an MVar, can I read / edit it in that other

Re: How to compile unregisterised build?

2011-01-04 Thread Simon Marlow
On 31/12/2010 19:53, Karel Gardas wrote: before going to fill some bugreports about broken unregisterised builds I'd like to be sure I understand the topic and know well how to configure it. So, I do have three platforms with Linux OS: - mips64: gcc 4.3.2 + ghc 6.8.2 (debian) - ARMv7: gcc

Re: Small report fixes

2010-12-23 Thread Simon Marlow
On 20/11/10 01:01, Ian Lynagh wrote: I've made a couple of tickets for small fixes to the report: http://hackage.haskell.org/trac/haskell-prime/ticket/140 http://hackage.haskell.org/trac/haskell-prime/ticket/141 I wonder if we ought to have a more lightweight process for these kind of

Re: ExplicitForAll complete

2010-12-23 Thread Simon Marlow
On 22/11/10 11:41, Ian Lynagh wrote: Hi Iavor, Thanks for your comments. On Sun, Nov 21, 2010 at 06:25:38PM -0800, Iavor Diatchki wrote: * Why is forall promoted to a keyword, rather then just being special in types as is in all implementations? I like the current status quo where forall

Re: [Haskell-cafe] Functor = Applicative = Monad

2010-12-23 Thread Simon Marlow
On 22/12/10 19:17, John Smith wrote: On 22/12/2010 19:03, Simon Marlow wrote: On 14/12/2010 08:35, Isaac Dupree wrote: On 12/14/10 03:13, John Smith wrote: I would like to formally propose that Monad become a subclass of Applicative, with a call for consensus by 1 February. The change

Re: [Haskell-cafe] Functor = Applicative = Monad

2010-12-22 Thread Simon Marlow
On 14/12/2010 08:35, Isaac Dupree wrote: On 12/14/10 03:13, John Smith wrote: I would like to formally propose that Monad become a subclass of Applicative, with a call for consensus by 1 February. The change is described on the wiki at

Beware: Bad I/O performance on Windows without -threaded

2010-12-21 Thread Simon Marlow
I just noticed that I/O performane on Windows without -threaded is pretty terrible. The following program: main = getConetnts = putStr tested with a 1MB file: $ rm cat.exe; ghc-7.0.1 --make -rtsopts cat.hs $ ./cat 1M /dev/null +RTS -s snip Total time0.28s ( 0.49s elapsed) snip But

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-16 Thread Simon Marlow
On 07/12/2010 21:30, Mitar wrote: Hi! On Wed, Dec 1, 2010 at 10:50 AM, Simon Marlowmarlo...@gmail.com wrote: Yes, but semantics are different. I want to tolerate some exception because they are saying I should do this and this (for example user interrupt, or timeout) but I do not want others,

Re: build issue: * Missing header file: HsBase.h

2010-12-16 Thread Simon Marlow
On 10/12/2010 16:49, Karel Gardas wrote: Hello, I'm trying to recover my opensolaris builder machine after disk crash, but after reinstall I'm not able to build any GHC there. I'm trying head and now also 6.12.3 as a reference (as I'm able to build it on my workstation with the same OS). The

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-16 Thread Simon Marlow
On 16/12/2010 00:37, John D. Ramsdell wrote: On Wed, Dec 15, 2010 at 7:59 AM, Simon Marlowmarlo...@gmail.com wrote: The -M flag causes the GC algorithm to switch from copying (fast but hungry) to compaction (slow but frugal) as the limit approaches. Ah, so that's what it's doing. My

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-16 Thread Simon Marlow
On 07/12/2010 21:30, Mitar wrote: Hi! On Wed, Dec 1, 2010 at 10:50 AM, Simon Marlowmarlo...@gmail.com wrote: Yes, but semantics are different. I want to tolerate some exception because they are saying I should do this and this (for example user interrupt, or timeout) but I do not want others,

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-15 Thread Simon Marlow
On 13/12/2010 15:45, Peter Simons wrote: Hi Mathieu, Why don't you use ulimit for this job? $ ulimit -m 32M; ./cpsa yes, I was thinking the same thing. Relying exclusively on GHC's ability to limit run-time memory consumption feels like an odd choice for this task. It's nice that

Re: Oversized libraries

2010-12-14 Thread Simon Marlow
On 14/12/2010 16:33, Audrius Šaikūnas wrote: Hello, I've noticed that libraries that are compiled even with -dynamic are really huge: libHScairo-0.12.0-ghc6.12.1.so - 1.4 M libHSgio-0.12.0-ghc6.12.1.so - 1.6 M libHSgtk-0.12.0-ghc6.12.1.so - 14 M (ldd confirms that these libraries are really

Re: [darcs-users] How to develop on a (GHC) branch with darcs

2010-12-09 Thread Simon Marlow
On 08/12/2010 17:39, Yitzchak Gale wrote: Some of those are already in the works, and all except possibly (5) are known to be within reach. So the answer is yes, this problem is now on the verge of being solved in Darcs. I think that might be a little overoptimistic. The fundamental problem

Re: New codegen failing test-cases

2010-12-09 Thread Simon Marlow
On 09/12/2010 04:42, Edward Z. Yang wrote: Final status report for tonight, before I crash in bed; I've managed to make it compile all the way to hoopl. It seems like hoopl doesn't typecheck anymore? I haven't been following the typechecker changes too closely so some guidance would be

New flag in GHC 7.0.1: --with-rtsopts

2010-12-09 Thread Simon Marlow
It seems we forgot to mention in the 7.0.1 release notes that there's a new compile-time flag, --with-rtsopts. From the documentation: 4.16.8. Linker flags to change RTS behaviour GHC lets you exercise rudimentary control over the RTS settings for any given program, by using the

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-09 Thread Simon Marlow
On 08/12/2010 16:34, Andrew Coppin wrote: On 08/12/2010 03:29 PM, Brandon S Allbery KF8NH wrote: Then build your CGIs restricted. Restricting the runtime by default, *especially* when setting runtime options at compile time is so much of a pain, is just going to cause problems. I'm already

Re: How to develop on a (GHC) branch with darcs

2010-12-07 Thread Simon Marlow
On 06/12/2010 01:57, Iavor Diatchki wrote: Hello, I am doing some work on a GHC branch and I am having a lot of troubles (and spending a lot of time) trying to keep my branch up to date with HEAD, so I would be very grateful for any suggestions by fellow developers of how I might improve the

Re: [Haskell-cafe] [Haskell] haskell.org migration complete

2010-12-03 Thread Simon Marlow
On 02/12/2010 23:48, Claus Reinke wrote: The haskell.org server migration is now complete. Please let us know if you have any problems. Beginning this week, the majority of mails from haskell.org lists seem to end up in my ISP's spam filter. That would be Yahoo! - I wonder whether others here

Re: (no subject)

2010-12-02 Thread Simon Marlow
On 19/12/2006 08:45, mm wrote: I can not login to the GHC Trac with the login/password suggested at the homepage. Could someone please confirm that it is currently not working? I just tried it here, and it worked for me. Cheers, Simon

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-02 Thread Simon Marlow
On 13/11/2010 19:08, Bit Connor wrote: On Wed, Nov 10, 2010 at 5:48 PM, Simon Marlowmarlo...@gmail.com wrote: [...] So we should say there are a few things that you can do that guarantee not to call any interruptible operations: - IORef operations - STM transactions that do not use retry

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-01 Thread Simon Marlow
On 01/12/2010 03:02, Mitar wrote: Hi! On Thu, Nov 18, 2010 at 2:19 PM, Simon Marlowmarlo...@gmail.com wrote: then it isn't uninterruptible, because the timeout can interrupt it. If you can tolerate a timeout exception, then you can tolerate other kinds of async exception too. Yes, but

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-01 Thread Simon Marlow
On 01/12/2010 03:02, Mitar wrote: Hi! On Thu, Nov 18, 2010 at 2:19 PM, Simon Marlowmarlo...@gmail.com wrote: then it isn't uninterruptible, because the timeout can interrupt it. If you can tolerate a timeout exception, then you can tolerate other kinds of async exception too. Yes, but

Re: Problems with openFd and -threaded

2010-11-30 Thread Simon Marlow
looking for a ticket number or a version where it's fixed. And fix it I did: Wed Jan 27 11:46:00 GMT 2010 Simon Marlow marlo...@gmail.com * check for EINTR in openFd M ./System/Posix/Error.hs -2 +26 M ./System/Posix/IO.hsc -1 +1 The fix is in unix-2.4.1.0, which comes with GHC 7.0.1

Re: How to activate DEBUG in Data.HashTable?

2010-11-29 Thread Simon Marlow
On 29/11/2010 02:05, Wolfram Kahl wrote: Hello, with a large Agda development, I have a reproducible segmentation fault that I have been able to localise to the serialisation (Agda.TypeChecking.Serialise.encode), which heavily relies on Data.HashTable. Now I find that Data.HashTable (from

Re: SpecConstr number of specializations (-fspec-constr-count)

2010-11-29 Thread Simon Marlow
On 25/11/2010 20:01, Roman Leshchinskiy wrote: On 25/11/2010, at 10:33, José Pedro Magalhães wrote: Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes? spec-constr-count decreases for nested specialisations. For instance, if spec-constr-count

Re: libffi was:Re: ANNOUNCE: GHC version 7.0.1

2010-11-25 Thread Simon Marlow
On 18/11/2010 18:21, Tyson Whitehead wrote: On November 18, 2010 05:12:11 Simon Marlow wrote: On 17/11/2010 14:34, Christian Maeder wrote: ghc can be built without and with libffi. Which build option are you referring to here? libffi is required for FFI support in GHCi, and for FFI wrapper

Re: Eq instance for Chan

2010-11-25 Thread Simon Marlow
On 25/11/2010 00:48, Mitar wrote: Why is there no Eq instance for Chan? There is Eq for MVar so it is quite possible to define also Eq for Chan? It's just an oversight. Send us a patch, or make a ticket for it? Cheers, Simon ___

[Haskell-cafe] Re: Eq instance for Chan

2010-11-25 Thread Simon Marlow
On 25/11/2010 00:48, Mitar wrote: Why is there no Eq instance for Chan? There is Eq for MVar so it is quite possible to define also Eq for Chan? It's just an oversight. Send us a patch, or make a ticket for it? Cheers, Simon ___

Re: Terminate unused worker threads

2010-11-18 Thread Simon Marlow
On 17/11/2010 18:55, Ryan Newton wrote: Hi all, Apologies for commenting before understanding Capability.c very well. But it seems that this file uses locking quite heavily. Has there been an analysis of whether atomic memory ops and lock free algorithms could play any role here? The locks

Re: libffi was:Re: ANNOUNCE: GHC version 7.0.1

2010-11-18 Thread Simon Marlow
On 17/11/2010 14:34, Christian Maeder wrote: ghc can be built without and with libffi. Which build option are you referring to here? libffi is required for FFI support in GHCi, and for FFI wrapper imports. However on x86 and x86_64 we don't normally use libffi for wrappers, because we have

Re: libffi was:Re: ANNOUNCE: GHC version 7.0.1

2010-11-18 Thread Simon Marlow
On 18/11/2010 11:24, Christian Maeder wrote: Am 18.11.2010 11:12, schrieb Simon Marlow: On 17/11/2010 14:34, Christian Maeder wrote: ghc can be built without and with libffi. Which build option are you referring to here? I did not use any explicit build option, but just created a binary

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-11-18 Thread Simon Marlow
On 18/11/2010 11:31, Mitar wrote: Hi! On Wed, Nov 17, 2010 at 12:00 PM, Simon Marlowmarlo...@gmail.com wrote: That's hard to do, because the runtime system has no knowledge of exception types, and I'm not sure I like the idea of baking that knowledge into the RTS. But currently it does have

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-11-18 Thread Simon Marlow
On 18/11/2010 11:31, Mitar wrote: Hi! On Wed, Nov 17, 2010 at 12:00 PM, Simon Marlowmarlo...@gmail.com wrote: That's hard to do, because the runtime system has no knowledge of exception types, and I'm not sure I like the idea of baking that knowledge into the RTS. But currently it does have

<    1   2   3   4   5   6   7   8   9   10   >