Re: unique identifiers as a separate library

2009-01-06 Thread Simon Marlow
Isaac Dupree wrote: Iavor Diatchki wrote: - It uses unsafeDupableInterleaveIO to avoid double locking, in particular, gen r = unsafeDupableInterleaveIO $ do v - unsafeDupableInterleaveIO (genSym r) ls - gen r rs - gen r

Re: ghci debugger :trace command does not always extend trace history

2009-01-06 Thread Simon Marlow
Peter Hercek wrote: Hi, I expected :trace expr to always add data to the trace history but it does not do so for CAFs (which are not reduced yet). My point is that the command :trace z did not add anything to the trace history and I cannot check why value z is 2, because value of y is not in

Re: [reactive] Re: black hole detection and concurrency

2009-01-06 Thread Simon Marlow
Conal Elliott wrote: Indeed -- many thanks to Bertram, Sterling, Peter others for the help! I think getting this bug fixed will solve Reactive's mysterious bugs and unblock its progress. Ok, we can fix the fairly simple bug that a thread created in blocked mode blocks throwTos after the

Re: [reactive] Re: black hole detection and concurrency

2009-01-06 Thread Simon Marlow
Isaac Dupree wrote: Bertram Felgenhauer wrote: Now in fact, IO actions are indistinguishable from pure computations by the RTS, so this mechanism also makes IO actions resumable, in principle, if you can access the corresponding thunk somehow. Normally you can't - there is no reference to that

Re: [reactive] Re: black hole detection and concurrency

2009-01-06 Thread Simon Marlow
Isaac Dupree wrote: therefore mapException is equally buggy! mapException :: (Exception e1, Exception e2) = (e1 - e2) - a - a mapException f v = unsafePerformIO (catch (evaluate v) (\x - throw (f x))) If it maps an asynchronous exception.. and it's

Re: [reactive] Re: black hole detection and concurrency

2009-01-07 Thread Simon Marlow
this machinery well enough to have confidence. What do you think? - Conal On Tue, Jan 6, 2009 at 6:27 AM, Simon Marlow marlo...@gmail.com mailto:marlo...@gmail.com wrote: Conal Elliott wrote: Indeed -- many thanks to Bertram, Sterling, Peter others for the help! I think

Re: ghc 6.10.1 on freebsd 7 amd64 - ghci problems

2009-01-08 Thread Simon Marlow
Markus Barenhoff wrote: On Mon 15.12 09:26, Simon Marlow wrote: Hello everyone, a happy new year first of all. 5.0.2 -package old-time-1.0.0.1 -package process-1.0.1.1 -package template-haskell-2.3.0.0 -package unix-2.3.1.0 -O -Wall -fno-warn-name-shadowing -fno-warn-orphans -XCPP

Re: ghc 6.10.1 on freebsd 7 amd64 - ghci problems

2009-01-08 Thread Simon Marlow
Simon Marlow wrote: Markus Barenhoff wrote: On Thu 08.01 12:22, Simon Marlow wrote: Markus Barenhoff wrote: On Mon 15.12 09:26, Simon Marlow wrote: Yesterday I updated my sources to the current darcs version. Now the build works again, but there still seems to exist a problem with memory

Re: ghci debugger :trace command does not always extend trace history

2009-01-12 Thread Simon Marlow
not think about this much). Now, it is done in a cool functional way which means more complicated user defined ghci commands ... unless I'm missing something :-) Thanks, Peter. Simon Marlow wrote: Peter Hercek wrote: Hi, I expected :trace expr to always add data to the trace history but it does

HEADS UP: finalizer changes coming in GHC 6.10.2

2009-01-14 Thread Simon Marlow
By popular demand, GHC 6.10.2 will support finalizers that are actually guaranteed to run, and run promptly. There aren't any API changes: this happens for finalizers created using newForeignPtr as normal. However, there's a catch. Previously it was possible to call back into Haskell from a

Re: GHCi, version 6.10.1 crashes without message

2009-01-14 Thread Simon Marlow
Heiko Studt wrote: PPS: Why does your mailinglist not set the Reply-To header? @Roman Cheplyaka: Sorry for double mailing. Am 13.01.2009 schrieb Roman Cheplyaka: | f x y z = a + b*c + b + fun c | where a = x * y + z | b = c * fun x | c = a * b | fun x = x * x + 1

Re: [Haskell-cafe] HEADS UP: finalizer changes coming in GHC 6.10.2

2009-01-14 Thread Simon Marlow
Johan Tibell wrote: On Wed, Jan 14, 2009 at 1:14 PM, Simon Marlow marlo...@gmail.com wrote: By popular demand, GHC 6.10.2 will support finalizers that are actually guaranteed to run, and run promptly. There aren't any API changes: this happens for finalizers created using newForeignPtr

Re: [Haskell-cafe] HEADS UP: finalizer changes coming in GHC 6.10.2

2009-01-14 Thread Simon Marlow
Sigbjorn Finne wrote: Thanks Simon, great stuff; I like the introduction of these 'native code finalizers', they've been sorely missed at times. You don't say, but will there be a dynamic check to catch such re-entries? There is (now) a dynamic check, yes. Cheers, Simon

Re: how to load an additional file to ghci

2009-01-16 Thread Simon Marlow
Peter Hercek wrote: Is it possible to load one more module to ghci without unloading the modules I have already loaded? The module I would like to load in addtion is not installed and I do not want it installed. It is also independent of any other modules. There is no dependency from the

Re: how can I run ghci monad actions from ghci command line

2009-01-26 Thread Simon Marlow
Peter Hercek wrote: Is it possible to run ghci monad actions from ghci command line somehow? For example: I would like to check whether it variable is of type Bool and whether it is True using normal Haskell code (i.e. not using ghci commands starting with colon like :type :print). There's

Re: UVector overallocating for (Word/Int)(8/16/32)

2009-01-30 Thread Simon Marlow
This is in uvector, right? Then you should probably forward this to the maintainer, i.e. Don Stewart d...@galois.com. Cheers, Simon Tyson Whitehead wrote: I believe the arrays for (Word/Int)(8/16/32) are currently taking eight, four, and two times, respectively, as much memory as

Re: a new impossible happened in ghci?

2009-01-30 Thread Simon Marlow
Peter Hercek wrote: Hi, My preliminary search indicated this is new, but still, should I add this to GHC Trac? Maybe I just cannot formulate my query well. See the ghci session log at the end. Peter. status:0 pe...@dwarf [715] ~ % ghci GHCi, version 6.10.1: http://www.haskell.org/ghc/ :?

Re: Haskell runtime in shared library?

2009-01-30 Thread Simon Marlow
Patrick LeBoutillier wrote: I'm trying to make a shared library containing the Haskell runtime, but no Haskell code per se. This shared library would then dynamically load other shared libraries containing conpiled Haskell code. Here is some pseudo code: In my_program:

Re: the impossible happened, large static list.

2009-01-30 Thread Simon Marlow
Philip Weaver wrote: Hello. I think I've seen other people encounter this problem before, but I wasn't able to find the solution, if there is one. I have a very large static list of type [[Int]]. It is 128 lists of 128 integers each. When I try to load the module that defines this list, I

Ready for testing: Unicode support for Handle I/O

2009-02-03 Thread Simon Marlow
I've been working on adding proper Unicode support to Handle I/O in GHC, and I finally have something that's ready for testing. I've put a patchset here: http://www.haskell.org/~simonmar/base-unicode.tar.gz That is a set of patches against a GHC repo tree: unpack the tarball, and say 'sh

Re: my experience with ghci debugger extensions

2009-02-06 Thread Simon Marlow
Hi Peter, Thanks very much for all the suggestions here. As Simon mentioned, we're not actively working on the debugger, and speaking for myself I don't plan to invest significant effort in it in the near future (too many things to do!). If you felt like working on this yourself, possibly

Re: :info features

2009-02-10 Thread Simon Marlow
Remi Turk wrote: On Sat, Feb 07, 2009 at 12:39:03AM -0500, Brandon S. Allbery KF8NH wrote: On 2009 Feb 5, at 5:49, Remi Turk wrote: SPJ agreed with the idea itself, but suggested an alternative set of commands: :info Show-- See class definition only :instances Show -- See

Re: Pragma not recognised when wrapped in #ifdef

2009-02-10 Thread Simon Marlow
Simon Peyton-Jones wrote: I'm guessing a bit here, but it looks as if you intend this: * GHC should read Foo.hs, and see {-# LANGUAGE CPP #-} * Then it should run cpp * Then it should look *again* in the result of running cpp, to see the now-revealed {-# LANGUAGE DeriveDataTypeable #-} I'm

Re: :info features

2009-02-12 Thread Simon Marlow
Remi Turk wrote: On Tue, Feb 10, 2009 at 01:31:24PM +, Simon Marlow wrote: Remi Turk wrote: On Sat, Feb 07, 2009 at 12:39:03AM -0500, Brandon S. Allbery KF8NH wrote: On 2009 Feb 5, at 5:49, Remi Turk wrote: SPJ agreed with the idea itself, but suggested an alternative set of commands

Re: [Haskell-cafe] createProcess shutting file handles

2009-02-16 Thread Simon Marlow
Neil Mitchell wrote: Hi However the createProcess command structure has the close_fds flag, which seems like it should override that behaviour, and therefore this seems like a bug in createProcess. close_fds :: Bool Close all file descriptors except stdin, stdout and stderr

Re: DLL thread safety

2009-02-16 Thread Simon Marlow
Neil Mitchell wrote: Hi, I'm building a DLL using the instructions here: http://www.haskell.org/ghc/docs/latest/html/users_guide/win32-dlls.html I must call startupHaskell before I make any calls to Haskell functions. However, that page doesn't detail any thread safety rules. In particular: *

Re: DLL support with GHC

2009-02-16 Thread Simon Marlow
Neil Mitchell wrote: What is the current status of shared object support within GHC? Using GHC 6.10.2 (or the branch for it) I can create DLL's under Windows, following these instructions: http://www.haskell.org/ghc/docs/latest/html/users_guide/win32-dlls.html .Can a similar thing be done under

Re: Warning about unrecognised pragma

2009-02-16 Thread Simon Marlow
Colin Paul Adams wrote: Colin == Colin Paul Adams co...@colina.demon.co.uk writes: Colin I am getting messages: Board_representation.hs:407:0: Colin Unrecognised pragma Colin Board_representation.hs:442:0: Unrecognised pragma Colin Board_representation.hs:458:0: Unrecognised

Re: how dynamic stack approximation works

2009-02-17 Thread Simon Marlow
Peter Hercek wrote: pepe wrote: Having (a kind of messy approximation of) a dynamic stack is possible with a variant of the cost center stacks mechanism used for profiling. But the downside is that code and libraries would need to be compiled for debugging. Is there any info somewhere why the

Re: [Haskell-cafe] Gtk2HS 0.10.0 Released

2009-02-17 Thread Simon Marlow
Duncan Coutts wrote: On Thu, 2009-02-12 at 10:11 +0100, Christian Maeder wrote: Duncan Coutts wrote: On Wed, 2009-02-11 at 15:49 +0100, Lennart Augustsson wrote: Does this version work from ghci? -- Lennart Specifically I believe Lennart is asking about Windows. It's worked in ghci in

Re: Building GHC on Windows

2009-02-19 Thread Simon Marlow
Felix Martini wrote: Simon Marlow has recently posted a patch that adds Unicode support to Handle I/O. He mentioned that it didn't work yet on Windows so i was thinking of looking at the source code to see how the new Unicode support works and perhaps try to make it work on Windows. Thanks

Re: Building GHC on Windows

2009-02-23 Thread Simon Marlow
Sigbjorn Finne wrote: Simon Marlow wrote: Felix Martini wrote: . All this is likely trivial to fix but at the same time these little roadblocks may also explain why few developers on Windows contribute code to GHC and Haskell. I haven't tried sync-all on Windows - can anyone help out

Re: ./T and ./T log

2009-02-23 Thread Simon Marlow
Brandon S. Allbery KF8NH wrote: On 2009 Feb 20, at 4:38, Serge D. Mechveliani wrote: The first command outputs - t = ((a : nil) + (b : nil)) Bug: substitute {(X, a), (Xs, nil), (Ys, (b : nil))} X: sort mismatch in substitution

Re: how dynamic stack approximation works

2009-02-24 Thread Simon Marlow
Peter Hercek wrote: Simon Marlow wrote: You seem to have a plan for maintaining a dynamic stack for debugging, perhaps you could flesh out the details in a wiki page, mainly to ensure that we're discussing the same thing? Sure, but the plan to maintain an approximate debugging dynamic stack

Re: ./T and ./T log

2009-02-24 Thread Simon Marlow
Malcolm Wallace wrote: Simon Marlow marlo...@gmail.com wrote: stdout should be flushed when the program exits, regardless of whether it exits as a result of a clean exit or an exception. I've just checked the code, and that's certainly what is supposed to happen. If anyone has evidence

Re: Int vs Word performance?

2009-02-27 Thread Simon Marlow
Claus Reinke wrote: Here is a trivial example with drastic difference between T = Int and T = Word (~2.5x here): main = print $ foldl' (+) 0 [1..1::T] .. A quick grep shows almost no specialization at all for Word, or for IntXX/WordXX (see below). Still, none of that seems to

Re: Int vs Word performance?

2009-02-27 Thread Simon Marlow
Claus Reinke wrote: PS. perhaps on newer 64 bit machines, explicitly selecting 32 bits can offer savings? I'd certainly expect selecting 64 bits on a 32 bit machine to lead to slowdowns. Unlikely, I'd have thought. We implement all the explicitly sized integral types by zero-extending

Re: Loop unrolling + fusion ?

2009-03-06 Thread Simon Marlow
Claus Reinke wrote: its loop unroller on this guy haven't succeeded. -funroll-loops and -funroll-all-loops doesn't touch it, That's because the C produced by GHC doesn't look like a loop to GCC. This can be fixed but given that we are moving away from -fvia-C anyway, it probably isn't

Re: a possibility to redefine built-in GHCi commands

2009-03-09 Thread Simon Marlow
Peter Hercek wrote: Hi GHCi users, I would like to be able to redefine the built-in GHCi commands. The idea is that when searching for a command the user defined commands would be searched first and only then the built-in commands would be searched. If user wants to invoke a built-in

Re: Cygwin version

2009-03-09 Thread Simon Marlow
Tuomo Valkonen wrote: On 2009-03-08, John Meacham j...@repetae.net wrote: if you follow those steps, but then don't override the host in the ./configure step to just let it pick up the cygwin environment will it work properly? John No: Configuring

Re: Loop unrolling + fusion ?

2009-03-09 Thread Simon Marlow
Claus Reinke wrote: That was one of my questions in the optimization and rewrite rules thread: shouldn't -fvia-C be supported (as a non-default option) for at least as long as the alternative isn't a clear win in all cases? The trouble with supporting multiple backends is that the cost in

Windows building instructions

2009-03-10 Thread Simon Marlow
I've made a start on sanitising the Windows building instructions, and generally reoganising the Windows-related stuff in the wiki. Basicalliy my plan is to: - Simplify the instructions. In lots of places we have stuff like if you get the following bizarre error message ... then do this

Re: Cygwin version

2009-03-11 Thread Simon Marlow
Tuomo Valkonen wrote: On 2009-03-09, Tuomo Valkonen tuo...@iki.fi wrote: On 2009-03-09, Tuomo Valkonen tuo...@iki.fi wrote: On 2009-03-09, John Meacham j...@repetae.net wrote: perhaps the most recent non-cabalized ghc build might be worth a try. I think darcs still compiles with ghc 6.6, but

Re: [Haskell-cafe] ThreadScope: Request for features for the performance tuning of parallel and concurrent Haskell programs

2009-03-12 Thread Simon Marlow
Ben Lippmeier wrote: On 12/03/2009, at 12:24 AM, Satnam Singh wrote: Before making the release I thought it would be an idea to ask people what other features people would find useful or performance tuning. So if you have any suggestions please do let us know! Is it available in a branch

Re: Control.Parallel.Strategies.parMap CPU usage

2009-03-13 Thread Simon Marlow
Christian Hoener zu Siederdissen wrote: when using parMap (or parList and demanding) I see a curious pattern in CPU usage. Running parMap rnf fib [1..100] gives the following pattern of used CPUs: 4,3,2,1,4,3,2,1,... How did you find out which CPU is being used? The fib function requires

Re: ghci finding include files exported from other packages?

2009-03-16 Thread Simon Marlow
Duncan Coutts wrote: On Sat, 2009-03-14 at 23:43 -0700, Conal Elliott wrote: The applicative-numbers package [1] provides an include file. With ghci, the include file isn't being found, though with cabal+ghc it is found. My test source is just two lines: {-# LANGUAGE CPP #-} #include

Re: ghci finding include files exported from other packages?

2009-03-17 Thread Simon Marlow
Duncan Coutts wrote: On Mon, 2009-03-16 at 12:13 +, Simon Marlow wrote: This sounds like a chicken and egg problem. To know which package include directories to use GHCi needs to know which packages your module uses. However to work out which packages it needs it has to load the module

Re: Developer Wiki Buildbots

2009-03-17 Thread Simon Marlow
Philip K.F. Hölzenspies wrote: It seems that the front page of the developer wiki is rather out-of-date. Considering that 6.10.2 is now at rc1-stage, I was rather hoping to find some updated notes on release plans for 6.10.2 and what will be in 6.12, but those notices are still at 6.8.3 and

Re: testing 6.10.2-candidate

2009-03-17 Thread Simon Marlow
Serge D. Mechveliani wrote: I have tested ghc-6.10.1.20090314 on Debian Linux, i386-unknown, on making from source by ghc-6.10.1, making itself from source, DoCon. It looks all right. Thanks Serge! Simon ___ Glasgow-haskell-users mailing

Re: Bootstrapping the compiler

2009-03-18 Thread Simon Marlow
Colin Paul Adams wrote: I have just downloaded a darcs snapshot, pulled patches and followed the instructions at http://hackage.haskell.org/trac/ghc/wiki/Building/QuickStart When I got to do make it didn't work. The tail of the output looks like this: [55 of 55] Compiling Main (

Re: Under OS X 10.5.6: GHC 6.10.1 Release Candidate 1

2009-03-18 Thread Simon Marlow
Gregory Wright wrote: I built ghc-6.10.1.20090314 on OS X 10.5.6 (Intel) using ghc 6.8.2 as a bootstrap compiler. The build was done using the MacPorts infrastructure. Summary test results: OVERALL SUMMARY for test run started at Tue Mar 17 15:31:38 EDT 2009 2334 total tests, which

RE: ANNOUNCE: GHC 6.10.2 Release Candidate 1

2009-03-19 Thread Simon Marlow
...@earth.li * MERGED: Rewrite of signal-handling (ghc patch; see also base and unix patches) Simon Marlow marlo...@gmail.com**20090219103142 Ignore-this: aca7c3e258224fadc6f0f2fee86b2971 The API is the same (for now). The new implementation has the capability to define signal handlers

Re: ANNOUNCE: GHC 6.10.2 Release Candidate 1

2009-03-19 Thread Simon Marlow
jutaro wrote: I've installed a GUI application based on gtk2hs. It frequently crashes with the error: leksah: error: a C finalizer called back into Haskell. use Foreign.Concurrent.newForeignPtr for Haskell finalizers. This error did never occur with the 6.10 released version. It was

Re: Under OS X 10.5.6: GHC 6.10.1 Release Candidate 1

2009-03-19 Thread Simon Marlow
Thorkil Naur wrote: Hello Thomas, On Wednesday 18 March 2009 15:03, Thomas Schilling wrote: There should be a file called testlog somewhere, either at the toplevel or within the tests directory. Could you search for apirecomp001 and send me the test output from running that test. I

Re: ANNOUNCE: GHC 6.10.2 Release Candidate 1

2009-03-21 Thread Simon Marlow
so important to introduce it now? What does it help when it was never officially supported if it causes such troubles? Jürgen Simon Marlow-7 wrote: jutaro wrote: I've installed a GUI application based on gtk2hs. It frequently crashes with the error: leksah: error: a C finalizer

Re: Loading plugin with ghc api

2009-03-23 Thread Simon Marlow
John O'Donnell wrote: Hi, I would like to use the API for ghc, so that a running program can load a module (Foo.o) and use a function defined in that module. From the documentation available, it seems like thatś possible, but I can´t figure out how to do it. There is an example on the wiki,

Re: strace breaks cabal - how to find the problem?

2009-03-25 Thread Simon Marlow
Robin Green wrote: On my obscure configuration (GHC 6.10.1, with pkgenv activated, on Fedora Linux rawhide running on a VirtualBox x86 VM with hardware virtualisation enabled), running strace on cabal causes it to misbehave, as described below. I don't know whether this is due to a bug in

Re: ANNOUNCE: GHC 6.10.2 Release Candidate 1

2009-03-25 Thread Simon Marlow
Manuel M T Chakravarty wrote: jutaro: This is the first answer I got from the gtk2hs mailing list. Please consider this issue seriously. Well there is a simple fix as Simon Marlow wrote, The fix is fiarly easy: use Foreign.Concurrent.mkForeignPtr with a foreign import. In fact, if as Axel

Re: compilation of pattern-matching?

2009-03-25 Thread Simon Marlow
(thanks to Simon PJ for an excellent summary of the issues) Lennart Augustsson wrote: You could imagine a pragma to say which branch is likely. f p1 = e1 f p2 = {-# LIKELY #-} e2 f p3 = e3 Is there some way to propagate pragmas through core transformations? I just thought I'd mention the

Re: compilation of pattern-matching?

2009-03-26 Thread Simon Marlow
Claus Reinke wrote: Strange. I don't think it is my idea (older implementations used to work that way, and iirc, it also matches what Prolog systems used to do), and I didn't think it was anything but straightforward to avoid case transformations unless there is a clear benefit, so I doubt

Re: compilation of pattern-matching?

2009-03-26 Thread Simon Marlow
AM, Simon Marlow marlo...@gmail.com wrote: Claus Reinke wrote: Strange. I don't think it is my idea (older implementations used to work that way, and iirc, it also matches what Prolog systems used to do), and I didn't think it was anything but straightforward to avoid case transformations unless

Re: compilation of pattern-matching?

2009-03-27 Thread Simon Marlow
Lennart Augustsson wrote: Sorting by constructor tag is perfectly safe when done right. You can read about how to do it in my 1985 FPCA paper or in Simon's book. When pattern matching against against things that that are not constructors (like literals etc) it's much trickier to reorder them

Re: compilation of pattern-matching?

2009-03-27 Thread Simon Marlow
Claus Reinke wrote: You are right that this doesn't help my performance argument, as performance issues are outside the language definition (not observable in the language definition sense). It was merely an answer to the vehement claims that pattern order is irrelevant. The order of

Re: Under OS X 10.5.6: GHC 6.10.1 Release Candidate 1

2009-03-27 Thread Simon Marlow
Ian Lynagh wrote: On Wed, Mar 18, 2009 at 06:51:31AM -0400, Gregory Wright wrote: Unexpected failures: 2469(ghci) This is http://hackage.haskell.org/trac/ghc/ticket/2789 (which is fixed in the new build system). apirecomp001(normal) This is failing because of ld: atom

Re: Unable to compile ghc from darcs

2009-03-31 Thread Simon Marlow
Colin Paul Adams wrote: Donnie == Donnie Jones don...@darthik.com writes: Donnie Hello Colin, In my working with GHC, I have found this Donnie page very helpful since it succinctly outlines the steps Donnie for Rebuilding GHC and ensuring you are up-to-date with Donnie

Re: Unable to compile ghc from darcs

2009-03-31 Thread Simon Marlow
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: src/Haddock/Backends/Html.hs:1532:4: Ambiguous occurrence `maybeParen' It could refer to either `Haddock.Backends.Html.maybeParen', defined at src/Haddock/Backends/Html.hs:1462:0 or `GHC.maybeParen

Re: Unable to compile ghc from darcs

2009-03-31 Thread Simon Marlow
Donnie Jones wrote: Hello Simon and Colin, This information is available on the Prequisites page of the GHC wiki; however, it's buried at the bottom of the page. I have updated the page to mention that a stable release version of GHC is needed when setting up for Linux and Windows, and I have

Re: Unable to compile ghc from darcs

2009-03-31 Thread Simon Marlow
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: 6.11.20090319 (formerly bootstrapped from 6.10.1). Simon Ah, there's your problem. In general you can't bootstrap Simon GHC using a development snapshot, we only support building Simon using fixed

Re: Unable to compile ghc from darcs

2009-04-01 Thread Simon Marlow
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: 6.11.20090319 (formerly bootstrapped from 6.10.1). Simon Ah, there's your problem. In general you can't

Re: Unable to compile ghc from darcs

2009-04-01 Thread Simon Marlow
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon $ ./darcs-all w -s Only: == running darcs w -s --repodir . M ./compiler/ghc.cabal.in -5 +6 M ./compiler/main/DynFlags.hs +4 M ./compiler/main/GHC.hs +1 M ./compiler/main/HscTypes.lhs -1 +1 M ./compiler

Re: Unable to compile ghc from darcs

2009-04-01 Thread Simon Marlow
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon Is it possible that you changed the exports of the GHC Simon module, perhaps? Haddock is complaining about a name class Simon with maybeParen from the GHC module, but I can't see how Simon maybeParen

ghc-pkg check problem in 6.10.2

2009-04-02 Thread Simon Marlow
I just noticed that the new 'ghc-pkg check' feature exposes a silly mistake in the definition of the rts package that we ship with GHC 6.10.2: $ ghc-pkg check There are problems in package rts-1.0: include-dirs: PAPI_INCLUDE_DIR doesn't exist or isn't a directory ... To fix it, issue this

Re: ghc-pkg check problem in 6.10.2

2009-04-20 Thread Simon Marlow
David Waern wrote: 2009/4/2 Simon Marlow marlo...@gmail.com: I just noticed that the new 'ghc-pkg check' feature exposes a silly mistake in the definition of the rts package that we ship with GHC 6.10.2: $ ghc-pkg check There are problems in package rts-1.0: include-dirs: PAPI_INCLUDE_DIR

Re: Segfault in RSAGL with +RTS -G4

2009-04-20 Thread Simon Marlow
Christopher Lane Hinson wrote: I regret that I don't have a simpler failure case, but I'm just going to post this and please advise me. I don't see how to get debugging symbols to work to even look at a core dump. Usually I get a segfault, but sometimes I get this: _rsagl_modelview:

Re: No last core parallel slowdown on OS X

2009-04-20 Thread Simon Marlow
Manuel M T Chakravarty wrote: Dave Bayer: In that paper, they routinely benchmark N-1 cores on an N core Linux box, because of a noticeable falloff using the last core, which can do more harm than good. I had confirmed this on my four core Linux box, but was puzzled that my two core MacBook

Re: failure implementing :next command in ghci

2009-04-20 Thread Simon Marlow
Peter Hercek wrote: Hi, So I wanted to give implementing :next ghci debugger command a shot. It looked easy and I could use it. Moreover it would give me an easy way to implement dynamic stack in ghci (using similar approach as used for trace) ... well if I would feel like that since I was a

Re: trouble compiling 6.8.3 using 6.8.3

2009-04-20 Thread Simon Marlow
Jason Pepas wrote: Jason Pepas wrote: Jason Pepas wrote: /lusr/bin/ghc -#include cutils.h -DSTAGE=1 -package-name ghc-6.10.1 Um, scratch that. I've apparently become confused as to which release I was actually building. -jason So I've run into a (legitimate) issue with building 6.8.3.

Re: Parallel performance drops off a cliff

2009-04-20 Thread Simon Marlow
2009/4/20 Neil Mitchell ndmitch...@gmail.com Hi, Using one benchmark I have, which doesn't create any threads, I have: $ benchmark +RTS -Nx x             time (Seconds) 1              2 2              2 3              2 4              3 5              3 6              3 7            

Re: failure implementing :next command in ghci

2009-04-21 Thread Simon Marlow
2009/4/20 Peter Hercek pher...@gmail.com: Simon Marlow wrote: Peter Hercek wrote: The proposed meaning for :next Lets mark dynamic stack size at a breakpoint (at which we issue :next) as breakStackSize and its selected expression as breakSpan. Then :next would single step till any

Re: No last core parallel slowdown on OS X

2009-04-21 Thread Simon Marlow
2009/4/20 Dave Bayer ba...@cpw.math.columbia.edu: I ran some longer trials, and noticed a further pattern I wish I could explain: I'm comparing the enumeration of the roughly 69 billion atomic lattices on six atoms, on my four core, 2.4 GHz Q6600 box running OS X, against an eight core, 2 x

Re: No last core parallel slowdown on OS X

2009-04-21 Thread Simon Marlow
2009/4/21 Don Stewart d...@galois.com: Little advice and tidbits are creeping out of Simon's head. Is it time for a parallel performance wiki, where every question that becomes an FAQ gets documented live?    http://haskell.org/haskellwiki/Performance/Parallel Maybe put details on the

Re: writeFile/readFile on multiple threads leads to error

2009-04-22 Thread Simon Marlow
2009/4/22 Neil Mitchell ndmitch...@gmail.com: I've got a multi-threaded application which occasionally generates failures in openFile. I haven't been able to reproduce the errors reliably, the code is way too large to send over, and any small attempts at invoking the same problem don't seem to

Re: 6.10.3 plans

2009-04-24 Thread Simon Marlow
2009/4/23 Duncan Coutts duncan.cou...@worc.ox.ac.uk: On Thu, 2009-04-23 at 05:59 -0700, Sigbjorn Finne wrote: On 4/23/2009 02:05, Duncan Coutts wrote: On Wed, 2009-04-22 at 18:55 -0700, Sigbjorn Finne wrote: Hi Ian, thanks for the update on plans and the willingness to jump in and do

Re: writeFile/readFile on multiple threads leads to error

2009-04-24 Thread Simon Marlow
2009/4/22 Felix Martini fmart...@gmail.com: 2009/4/22 Simon Marlow: You might want to run the process under ProcMon and see if you can figure out what's going on (if you can bear to use ProcMon, it's a very poor replacement for strace IMO). You could try StraceNT instead (not as good

Re: Threads and memory management

2009-04-27 Thread Simon Marlow
On 25/04/2009 13:31, j.waldmann wrote: Here is some more data. It seems the behaviour depends on 32/64 bit arch? ### waldm...@master:~/tmp$ uname -a Linux master 2.6.18-6-amd64 #1 SMP Fri Dec 12 05:49:32 UTC 2008 x86_64 GNU/Linux

Re: 6.10.3 plans

2009-04-27 Thread Simon Marlow
On 27/04/2009 01:28, Sigbjorn Finne wrote: On 4/25/2009 07:16, Ian Lynagh wrote: On Fri, Apr 24, 2009 at 11:08:38AM +0100, Simon Marlow wrote: We do have a WARNING pragma, incedentally: http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html#warning-deprecated-pragma I don't

Re: Compiler modes / FFI / forcing CPP

2009-04-30 Thread Simon Marlow
On 29/04/2009 23:48, Philip Hölzenspies wrote: Dear GHC-ers, From earlier questions, it seems no one wants to get down and dirty with linker tricks in ghc. I'm now looking over an alternative solution. I'm currently trying to use SDL. There's a wrapper on hackage, which works fine under

Re: Threads and memory management

2009-04-30 Thread Simon Marlow
On 28/04/2009 17:25, Johannes Waldmann wrote: Thanks for your comments. Check whether it is GC-bound by using +RTS -sstderr. Well yes, it does a lot of GC (there's no way for the compiler to optimize away the list of primes) because that was the point of the example: to confirm (or

Last CFP: Trends in Functional Programming

2009-05-06 Thread Simon Marlow
[ Forwarding on behalf of Horváth Zoltán h...@inf.elte.hu ] Last call for papers 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING TFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA June 2-4, 2009 http://www.inf.elte.hu/tfp_cefp_2009 *** Submission deadline extended until 10th of May!

Re: runhaskell a parallel program

2009-05-07 Thread Simon Marlow
On 06/05/2009 17:19, Neil Mitchell wrote: I've got a program which I'd like to run on multiple threads. If I compile it with ghc --make -threaded, then run with +RTS -N2 it runs on 2 cores very nicely. If however I run it with runhaskell Test.hs +RTS -N2 I get told the -N2 flag isn't

Re: runhaskell a parallel program

2009-05-07 Thread Simon Marlow
On 07/05/2009 11:27, Neil Mitchell wrote: Hi If however I run it with runhaskell Test.hs +RTS -N2 I get told the -N2 flag isn't supported. Is there a way to runhaskell a program on multiple cores? Is this a bug that it doesn't work, a feature request I'm making, or is there some trick to

Re: runhaskell a parallel program

2009-05-07 Thread Simon Marlow
On 07/05/2009 11:37, Bulat Ziganshin wrote: Hello Neil, Thursday, May 7, 2009, 2:27:34 PM, you wrote: This is a test framework that spawns system commands. My guess is the Haskell accounts for a few milliseconds of execution per hour. Running two system commands in parallel gives a massive

Re: runhaskell a parallel program

2009-05-08 Thread Simon Marlow
On 07/05/2009 23:58, Duncan Coutts wrote: Note that for the next ghc release the process library will use a different implementation of waitForProcess (at least on Unix) so will not need multiple OS threads to wait for multiple processes simultaneously. It will if I ever get it finished...

Re: runhaskell a parallel program

2009-05-08 Thread Simon Marlow
On 07/05/2009 18:12, Brandon S. Allbery KF8NH wrote: On May 7, 2009, at 06:27 , Neil Mitchell wrote: If however I run it with runhaskell Test.hs +RTS -N2 I get told the -N2 flag isn't supported. Is there a way to runhaskell a program on As a workaround you could use 'ghc -e main foo.hs +RTS

Re: [Haskell] Re: ANNOUNCE: GHC version 6.10.3

2009-05-15 Thread Simon Marlow
On 15/05/2009 05:52, Benjamin L.Russell wrote: What happened to the Windows installation section in the corresponding User's Guide? The User's Guide for GHC version 6.10.2 (see http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/index.html) had section 2.2: Installing on Windows (see

Re: [Haskell] Re: ANNOUNCE: GHC version 6.10.3

2009-05-18 Thread Simon Marlow
On 15/05/2009 12:19, Benjamin L.Russell wrote: On Fri, 15 May 2009 09:16:13 +0100, Simon Marlowmarlo...@gmail.com wrote: On 15/05/2009 05:52, Benjamin L.Russell wrote: What happened to the Windows installation section in the corresponding User's Guide? The User's Guide for GHC version 6.10.2

Re: [Haskell-cafe] ghc ./configure stalls on docbook DTD

2009-05-18 Thread Simon Marlow
On 13/05/2009 19:53, Donnie Jones wrote: Hello Dan, Best place to ask is glasgow-haskell-users@haskell.org since that is the GHC users list. I have CC'd your email to the GHC user list. Cheers. -- Donnie Jones On Wed, May 13, 2009 at 1:35 PM, Dandanielkc...@gmail.com wrote: Hi, Not sure if

Re: defaultsHook isn't documented

2009-05-18 Thread Simon Marlow
On 11/05/2009 11:01, Bulat Ziganshin wrote: Hello glasgow-haskell-users, it seems that defaultsHook isn't documented on http://www.haskell.org/ghc/docs/latest/html/users_guide/runtime-control.html#rts-hooks neither anywhere else in user manual I think we'd like people to use ghc_rts_opts

Re: possible alternative to libFFI

2009-05-18 Thread Simon Marlow
On 16/05/2009 19:31, Bulat Ziganshin wrote: Hello glasgow-haskell-users, http://www.nongnu.org/cinvoke/faq.html Is there a good reason to want an alternative to libffi? libffi works pretty well, and seems to be widely used and supported. Cheers, Simon

Re: Should exhaustiveness testing be on by default?

2009-05-18 Thread Simon Marlow
On 18/05/2009 12:06, Claus Reinke wrote: I'm not sure I'd want -Wall on by default (though being -Wall clean is very good). But exhaustive pattern checking might well help out a lot of people coming from untyped backgrounds. http://ocaml.janestreet.com/?q=node/64 Ron's also wondering why

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