Re: [Haskell-cafe] Bug in parallel GHC runtime?

2008-05-29 Thread Simon Marlow
Don Stewart wrote: Hi, Thanks for the bug report. This should be filed on the GHC bug tracker, http://hackage.haskell.org/trac/ghc/newticket?type=bug And I've forwarded it to the glasgow-haskell-bugs mailing list. Please try with the 6.8.3 RC we just released. I fixed a bug that could b

[Haskell-cafe] Re: Ubuntu and ghc

2008-06-04 Thread Simon Marlow
Claus Reinke wrote: - i don't want to have to remove anything explicitly, becausethat would mean bypassing the haskell installation managers - i would want to see a single haskell installation manager for each system, I think that's fundamentally the wrong approach. We shouldn't have

[Haskell-cafe] Re: Ubuntu and ghc

2008-06-05 Thread Simon Marlow
Ketil Malde wrote: The most usable one I've seen is Steam from Valve, IIRC. It'd be cool if Haskell packages were provided this way. Cygwin's installer seems to work pretty well, too. Cheers, Simon ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] Re: Ubuntu and ghc

2008-06-05 Thread Simon Marlow
Achim Schneider wrote: Simon Marlow <[EMAIL PROTECTED]> wrote: Claus Reinke wrote: - i don't want to have to remove anything explicitly, because that would mean bypassing the haskell installation managers - i would want to see a single haskell installation manager for each

[Haskell-cafe] Re: Ubuntu and ghc

2008-06-05 Thread Simon Marlow
Duncan Coutts wrote: On Wed, 2008-06-04 at 11:33 +0100, Simon Marlow wrote: Claus Reinke wrote: - i don't want to have to remove anything explicitly, becausethat would mean bypassing the haskell installation managers - i would want to see a single haskell installation manager for

[Haskell-cafe] Re: ANNOUNCE: Pipe 1.0

2008-06-23 Thread Simon Marlow
Isaac Dupree wrote: Don Stewart wrote: Interesting. Does it depend on an unreleased version of the process library? by the way, is there a policy for when new versions of packages maintained by [EMAIL PROTECTED] are *released*? Or do patches just collect in the darcs repository until they'r

[Haskell-cafe] Re: Haskell on ARM (was Re: ANN: Topkata)

2008-07-22 Thread Simon Marlow
Braden Shepherdson wrote: So, assuming some GHC dev doesn't swoop down and fix this, what options are left to the project in the short term? An unregisterised build of an old 6.6 should work, that would get us a working, though aging, GHC. Unfortunately a lot of the porting work to move from

[Haskell-cafe] Re: Haskell on ARM (was Re: ANN: Topkata)

2008-07-25 Thread Simon Marlow
Joe Buehler wrote: Simon Marlow wrote: For the registerised port, you really need a native code generator (the mangler is on death row, yay). At a rough guess, I'd say porting the NCG would take a couple of weeks or so for someone unfamiliar with the code. Hopefully we'll improve

[Haskell-cafe] Re: Fw: patch applied (ghc): Remove the OpenGL familyof libraries fromextralibs

2008-07-29 Thread Simon Marlow
scodil wrote: I'll chime in with a "me too". I use Haskell and OpenGL for prototyping scientific visualization software, 3D models and such. Not that I think it couldn't be used for production software, its just that I just don't produce much :) The library really is fantastic. I don't think it

RE: [Haskell-cafe] Re: ANN: Haddock version 2.2.1

2008-08-05 Thread Simon Marlow
> On 2008.08.04 20:47:12 +0200, Christian Maeder <[EMAIL PROTECTED]> > scribbled 1.1K characters: > > Right, > > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal-1.4.0.1 > > works. > > > > It seems that the dependencies for ghc-paths could be improved. > > > > Thanks Christian > > Y

RE: [Haskell-cafe] Re: ANN: Haddock version 2.2.1

2008-08-05 Thread Simon Marlow
> > On 2008.08.04 20:47:12 +0200, Christian Maeder > <[EMAIL PROTECTED]> > > scribbled 1.1K characters: > > > Right, > > > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal- > 1.4.0.1 > > > works. > > > > > > It seems that the dependencies for ghc-paths could be improved. > > > > > >

[Haskell-cafe] Re: unknown flags scramble

2008-08-21 Thread Simon Marlow
Evan Laforge wrote: I've been getting a mysterious error for a while now. It's come and gone, but seems to be showing up slightly more consistently now. Before I was on ghc 6.8.2 and now I'm on ghc 6.8.3, OS X 10.4 and now 10.5, i386 arch. The problem is that randomly while compiling I get an e

[Haskell-cafe] 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

[Haskell-cafe] Re: real haskell difficulties (at least for me)

2009-01-14 Thread Simon Marlow
Erik de Castro Lopo wrote: Don Stewart wrote: Well, the number one thing is to use Cabal and the cabal-install tool. That is the simplest way to avoid headaches. I'm sure cabal works very well for many people, but for anyone who has used Debian based distributions for some time, cabal real

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 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 as normal. Does

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 __

[Haskell-cafe] Re: C-like Haskell

2009-01-30 Thread Simon Marlow
Lennart Augustsson wrote: I had a quick look at the code for loop :: Int64 -> Int64 -> Int64 loop i r = if i == 0 then r else loop (i-1) (r+1) It's quite bad. It's full of C calls. It would be much better to do what gcc does and treat Int64 as a primitive type, and just insert C calls for th

[Haskell-cafe] 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 a

[Haskell-cafe] Re: Open unqualified imports

2009-02-04 Thread Simon Marlow
Ian Lynagh wrote: On Fri, Jan 16, 2009 at 06:42:46AM -0800, eyal.lo...@gmail.com wrote: Closed-unqualified import: import Data.Map(Map, lookup) One problem with this style is that you can get lots of conflicts from your VCS if you have multiple people working on the same module. Right; in GH

Re: [Haskell-cafe] Ready for testing: Unicode support for Handle I/O

2009-02-04 Thread Simon Marlow
Duncan Coutts wrote: On Tue, 2009-02-03 at 11:03 -0600, John Goerzen wrote: Will there also be something to handle the UTF-16 BOM marker? I'm not sure what the best API for that is, since it may or may not be present, but it should be considered -- and could perhaps help autodetect encoding.

[Haskell-cafe] Re: Ready for testing: Unicode support for Handle I/O

2009-02-04 Thread Simon Marlow
Paolo Losi wrote: Simon Marlow wrote: The only change to the existing behaviour is that by default, text IO is done in the prevailing encoding of the system. Handles created by openBinaryFile use the Latin-1 encoding, as do Handles placed in binary mode using hSetBinaryMode. wouldn'

[Haskell-cafe] Re: The Haskell re-branding exercise

2009-02-09 Thread Simon Marlow
Sterling Clover wrote: IP based limitations are a terrible idea. Multiple users can be and often are behind the same IP if they're in some sort of intranet, be it corporate, academic, or simply multiple home computers. Mail-based authentication can be screwed with, sure, but it's also very easy

[Haskell-cafe] Re: Does readFile "/proc/mounts" hang for you?

2009-02-09 Thread Simon Marlow
David Fox wrote: On Wed, Jan 21, 2009 at 9:20 AM, David Fox > wrote: I posted a bug about this (http://hackage.haskell.org/trac/ghc/ticket/2971) but its so odd I had to ask here. Using ghc 6.10.1, both readFile "/proc/mounts" and Data.ByteString.Lazy.Cha

[Haskell-cafe] Re: How outdated is Hugs?

2009-02-10 Thread Simon Marlow
John Goerzen wrote: Just to close -- I will point out that ghci doesn't work on many platforms that Hugs does (though ghc does). Hugs is the only interpreter on some of these platforms. I didn't see anyone follow up to this so I'll just mention that nowadays GHCi works wherever GHC works, si

[Haskell-cafe] Re: How outdated is Hugs?

2009-02-11 Thread Simon Marlow
Conrad Meyer wrote: On Tuesday 10 February 2009 06:41:54 am Simon Marlow wrote: John Goerzen wrote: Just to close -- I will point out that ghci doesn't work on many platforms that Hugs does (though ghc does). Hugs is the only interpreter on some of these platforms. I didn't see any

[Haskell-cafe] Re: space leak with 'concat' ?

2009-02-11 Thread Simon Marlow
Jake McArthur wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Henning Thielemann wrote: | in that module I defined the text to be printed as top-level | variable which might have been the problem. But this can't be the | problem of the compiled version of the program, where I encountered th

[Haskell-cafe] Re: space leak with 'concat' ?

2009-02-12 Thread Simon Marlow
Peter Verswyvelen wrote: Yes, I was really surprised that this was the case. I while ago I did a little FRP experiment. I made a top level binding to a list of timer event occurrences. The list was generated on another thread. To my surprise, I did not have space leak, which is amazingly cool,

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 in

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 Linu

[Haskell-cafe] Re: Ready for testing: Unicode support for Handle I/O

2009-02-19 Thread Simon Marlow
Bulat Ziganshin wrote: Hello Khudyakov, Saturday, February 7, 2009, 4:01:57 PM, you wrote: How do you plan to handle filenames? Currently FilePath is simply a string. i think that this patch does nothing to unicode filenames support Correct - I'm aware that there's a problem with filenames

[Haskell-cafe] Re: [Haskell] Lazy IO breaks purity

2009-03-05 Thread Simon Marlow
Lennart Augustsson wrote: I don't see any breaking of referential transparence in your code. Every time you do an IO operation the result is basically non-deterministic since you are talking to the outside world. You're assuming the IO has some kind of semantics that Haskell makes no promises abo

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

[Haskell-cafe] Re: Go Haskell!

2009-03-18 Thread Simon Marlow
I finally got around to making my code for random Go playouts available. Here it is: http://www.haskell.org/~simonmar/goboard.tar.gz If someone were to make a nice library API on top of this and upload it to hackage, I'd be delighted. Hack away. Cheers, Simon Simon Marlow

[Haskell-cafe] Re: Go Haskell!

2009-03-19 Thread Simon Marlow
library API on top of this and upload it to hackage, I'd be delighted. Hack away. A GTP interface would be useful, to allow playing against other bots. Cheers, Simon Simon Marlow wrote: Claus Reinke wrote: Do you have an example of a mutable state/ IO bound application, like, hmm, a windo

[Haskell-cafe] Re: Haddock GSoC project

2009-03-25 Thread Simon Marlow
Isaac Dupree wrote: I'm interested in being a GSoC student, and the Haddock-related tickets looked like a good place to start http://hackage.haskell.org/trac/summer-of-code/ticket/1567 http://hackage.haskell.org/trac/summer-of-code/ticket/1568 http://hackage.haskell.org/trac/summer-of-code/ticke

[Haskell-cafe] Re: about Haskell code written to be "too smart"

2009-03-25 Thread Simon Marlow
Dan Piponi wrote: Miguel Mitrofanov wrote: takeList = evalState . mapM (State . splitAt) However, ironically, I stopped using them for pretty much the same reason that Manlio is saying. Are you saying there's a problem with this implementation? It's the only one I could just read immediatel

Re: [Haskell-cafe] Re: about Haskell code written to be "too smart"

2009-03-25 Thread Simon Marlow
Jonathan Cast wrote: On Wed, 2009-03-25 at 15:09 +, Simon Marlow wrote: the ordering that the state monad expects (and I can never remember which way around they are in Control.Monad.State). Really? I found it obvious once I figured out it how simple it made (>>=). With the orde

[Haskell-cafe] Re: Exception handling in numeric computations

2009-03-30 Thread Simon Marlow
Nicolas Pouillard wrote: Excerpts from Henning Thielemann's message of Sat Mar 28 21:49:33 +0100 2009: On Sat, 28 Mar 2009, John Lato wrote: From: Donn Cave I have never felt that I really understood that one. Honestly, me neither, until recently. I'm only barely starting to understand it,

[Haskell-cafe] Re: Building/Prerequisites->Linux->glibc-devel libedit-devel ?

2009-04-01 Thread Simon Marlow
Antoine Latter wrote: On Mon, Mar 9, 2009 at 7:14 PM, Windoze wrote: Greetings, am considering learning how to do a build for my slackware-based distro. The doc sited below say's it requires: glibc-devel libedit-devel ncurses-devel gmp-devel .etc. Must I used the dev versions, or will it wo

[Haskell-cafe] Re: Announcement: Beta of Leksah IDE available

2009-04-02 Thread Simon Marlow
David Waern wrote: 2009/4/2 Duncan Coutts : On Wed, 2009-04-01 at 22:13 +0200, David Waern wrote: 2009/4/1 jutaro : I guess you mean the dialog which should help leksah to find sources for installed packages. It needs this so you can go to all the definitions in the base packages ... This is v

[Haskell-cafe] Re: Character I/O

2009-04-02 Thread Simon Marlow
Judah Jacobson wrote: Not sure if it will help, but you could take a look at what I did in Haskeline: http://code.haskell.org/haskeline/System/Console/Haskeline/Backend/Win32.hsc It would be nice to get some of that into the main win32 package... Cheers, Simon ___

Re: [Haskell-cafe] How to make asynchronous I/O composable and safe?

2012-01-17 Thread Simon Marlow
This is an interesting problem, I think I might incorporate parts of it into the next revision of my Concurrent Haskell tutorial. It sounds like you're getting overwhelmed by several different problems, and dealing with them separately would probably help. e.g. you want some infrastructure to

Re: [Haskell-cafe] [Haskell] ANNOUNCE: system-filepath 0.4.5 and system-fileio 0.3.4

2012-02-07 Thread Simon Marlow
On 06/02/2012 20:32, Ian Lynagh wrote: On Sun, Feb 05, 2012 at 07:17:32PM -0800, John Millikin wrote: That was my understanding also, then QuickCheck found a counter-example. It turns out that there are cases where a valid path cannot be roundtripped in the GHC 7.2 encoding. This is fixed in

Re: [Haskell-cafe] [Haskell] ANNOUNCE: system-filepath 0.4.5 and system-fileio 0.3.4

2012-02-08 Thread Simon Marlow
On 08/02/2012 02:26, John Meacham wrote: On Tue, Feb 7, 2012 at 4:24 AM, Simon Marlow wrote: Separately the unix package added support for undecoded FilePaths (RawFilePath), but unfortunately at the same time we started using a new extension in GHC 7.4.1 (CApiFFI), which we decided not to

Re: [Haskell-cafe] [haskell-cafe] Question about 64bit target on Windows platform

2012-03-05 Thread Simon Marlow
There is a possibility that the IHG might fund this during the next cycle, which would mean that it would be in 7.6.1. Cheers, Simon On 05/03/2012 07:35, Jason Dagit wrote: I don't know if timeline has been established, but my understanding is that there is a need for this and that the

Re: [Haskell-cafe] Regarding Haskell FFI

2012-03-28 Thread Simon Marlow
On 27/03/2012 08:56, rajendra prasad wrote: Hi, I am trying to load the DLL(Wrapper.dll) in my code(Main.hs). When I am placing the dll in local directory, I am able to load it through following command: ghci Main.hs -L. -lWrapper But, I am not able to load it if I am putting it in some other

Re: [Haskell-cafe] Regarding Haskell FFI

2012-03-28 Thread Simon Marlow
, Mar 28, 2012 at 2:09 PM, Simon Marlow mailto:marlo...@gmail.com>> wrote: On 27/03/2012 08:56, rajendra prasad wrote: Hi, I am trying to load the DLL(Wrapper.dll) in my code(Main.hs). When I am placing the dll in local directory, I am able to load it t

Re: [Haskell-cafe] Printing call site for partial functions

2012-04-26 Thread Simon Marlow
On 25/04/2012 17:28, Ozgur Akgun wrote: > Hi, > > On 25 April 2012 16:36, Michael Snoyman > wrote: > > Prelude.head: empty list > > > Recent versions of GHC actually generate a very helpful stack trace, if > the program is compiled with profiling turned on and

Re: [Haskell-cafe] Can Haskell outperform C++?

2012-05-08 Thread Simon Marlow
On 06/05/2012 07:40, Janek S. wrote: a couple of times I've encountered a statement that Haskell programs can have performance comparable to programs in C/C++. I've even read that thanks to functional nature of Haskell, compiler can reason and make guarantess about the code and use that knowledge

Re: [Haskell-cafe] Platform Versioning Policy: upper bounds are not our friends

2012-08-20 Thread Simon Marlow
On 15/08/2012 21:44, Johan Tibell wrote: On Wed, Aug 15, 2012 at 1:02 PM, Brandon Allbery wrote: So we are certain that the rounds of failures that led to their being *added* will never happen again? It would be useful to have some examples of these. I'm not sure we had any when we wrote the

Re: [Haskell-cafe] Safe Haskell and instance coherence

2012-10-11 Thread Simon Marlow
On 08/10/2012 20:11, Mikhail Glushenkov wrote: Hello, It's a relatively well-known fact that GHC allows for multiple type class instances for the same type to coexist in a single program. This can be used, for example, to construct values of the type Data.Set.Set that violate the data structure

Re: [Haskell-cafe] GHCi + FFI + global C variables

2012-12-11 Thread Simon Marlow
On 10/12/12 00:11, Nils wrote: I'm currently working with a C library that needs to use/modify global C variables, for example: igraph_bool_t igraphhaskell_initialized = 0; int igraphhaskell_initialize() { if (igraphhaskell_initialized != 0) { printf("C: Not init

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

2013-03-08 Thread Simon Marlow
nvestigate, but I'll keep an eye on the thread. Cheers, Simon On 08/03/13 08:36, Gregory Collins wrote: +Simon Marlow A couple of comments: * maybe we shouldn't back the file by a Handle. io-streams does this by default out of the box; I had a posix file interface for u

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

2010-11-10 Thread Simon Marlow
onous exception is raised. Hopefully one of the GHC devs (probably Simon Marlow) can confirm this behavior and shed some more light on it. I think it's behaving as expected - there's a short window during which exceptions are unblocked and a second exception can be thrown. The program has

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

2010-11-10 Thread Simon Marlow
On 10/11/2010 13:39, Mitar wrote: I know that (I read one post from you some time ago). It is in TODO commend before this code. I am waiting for GHC 7.0 for this because I do not like current block/unblock approach. Because blocked parts can still be interrupted, good example of that is takeMVa

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

2010-11-11 Thread Simon Marlow
On 10/11/2010 17:52, Mitar wrote: Hi! On Wed, Nov 10, 2010 at 4:16 PM, Simon Marlow wrote: The right way to fix it is like this: Optimist. ;-) let run = unblock doSomething `catches` [ Handler (\(_ :: MyTerminateException) -> return ()), Handler (

[Haskell-cafe] Re: "Haskell is a scripting language inspired by Python."

2010-11-11 Thread Simon Marlow
On 04/11/2010 22:38, Lennart Augustsson wrote: It happened at various universities around the world. Look at the original Haskell committee and you'll get a good idea where. The smallest Haskell I know of is Gofer/Hugs; it originally ran on a 640k PCs. Before that languages like SASL and KRC ra

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

2010-11-17 Thread Simon Marlow
On 12/11/2010 07:49, Mitar wrote: On Wed, Nov 10, 2010 at 4:48 PM, Simon Marlow wrote: You can use maskUninterruptible in GHC 7, but that is not generally recommended, Maybe there should be some function like maskUninterruptibleExceptUser which would mask everything except UserInterrupt

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 Marlow 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 a kn

[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 ___ Haskell-Caf

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 Marlow 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 semantic

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 Marlow 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 - everything

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 h

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 thi

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: [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 Marlow 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 measurement

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 Marlow 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, which somebody

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 http://haskell.org/haskellwiki/Functor-Applicative-Monad_Pro

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 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 thin

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 thread

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 fou

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: [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 ->

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 Dijk 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 a hopefully even mor

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 Visser wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this absence the consequenc

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 paral

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 Dijk wrote: On 25 February 2011 18:27, sclv wrote: Bas van Dijk-2 wrote: I believe the OS threads are created by my levmar library. This library uses bindings-levmar[4] which is a binding to a C library. bindings-le

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 Marlow wrote: On 28/02/11 15:59, Bas van Dijk wrote: On 25 February 2011 19:10, Bas van Dijkwrote: On 25 February 2011 18:27, sclvwrote: Bas van Dijk-2 wrote: I believe the OS threads are created by my levmar

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 po

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: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-11 Thread Simon Marlow
On 06/05/2011 16:56, dm-list-haskell-c...@scs.stanford.edu wrote: At Fri, 6 May 2011 10:15:50 +0200, Gregory Collins wrote: Hi David, Re: this comment from catchI: It is not possible to catch asynchronous exceptions, such as lazily evaluated divide-by-zero errors, the throw function, or exce

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-12 Thread Simon Marlow
On 11/05/2011 23:57, dm-list-haskell-c...@scs.stanford.edu wrote: At Wed, 11 May 2011 13:02:21 +0100, Simon Marlow wrote: However, if there's some simpler way to guarantee that>>= is the point where exceptions are thrown (and might be the case for GHC in practice), then I basicall

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-12 Thread Simon Marlow
On 12/05/2011 16:04, David Mazieres expires 2011-08-10 PDT wrote: At Thu, 12 May 2011 09:57:13 +0100, Simon Marlow wrote: So to answer my own question from earlier, I did a bit of benchmarking, and it seems that on my machine (a 2.4 GHz Intel Xeon 3060, running linux 2.6.38), I get the

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-13 Thread Simon Marlow
On 12/05/2011 18:24, dm-list-haskell-c...@scs.stanford.edu wrote: At Thu, 12 May 2011 16:45:02 +0100, Simon Marlow wrote: There are no locks here, thanks to the message-passing implementation we use for throwTo between processors. Okay, that sounds good. So then there is no guarantee about

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-16 Thread Simon Marlow
On 13/05/2011 21:12, Bernie Pope wrote: On 13 May 2011 19:06, Simon Marlow mailto:marlo...@gmail.com>> wrote: As far as memory consistency goes, we claim to provide sequential consistency for IORef and IOArray operations, but not for peeks and pokes. Hi Simon, Could you

Re: [Haskell-cafe] ANNOUNCE: iterIO-0.1 - iteratee-based IO with pipe operators

2011-05-16 Thread Simon Marlow
On 16/05/11 20:31, dm-list-haskell-c...@scs.stanford.edu wrote: At Mon, 16 May 2011 10:56:02 +0100, Simon Marlow wrote: Yes, it's not actually documented as far as I know, and we should fix that. But if you think about it, sequential consistency is really the only sensible policy: suppos

Re: [Haskell-cafe] Haskell memory model (was iterIO-0.1)

2011-05-18 Thread Simon Marlow
On 17/05/2011 00:44, dm-list-haskell-c...@scs.stanford.edu wrote: But I've never heard anyone claim that a prerequisite to Haskell being useful as a parallel programming language is a well-defined memory model. I think there's a couple of reasons for that: - deterministic parallel progr

Re: [Haskell-cafe] Building Haskell Platform natively for 64bit Windows

2011-05-23 Thread Simon Marlow
On 18/05/2011 19:22, Jason Dagit wrote: On Wed, May 18, 2011 at 2:50 AM, John Sneer wrote: Hello all, I know it is not probably good question to this list, but anyway, could anyone point me to some more detailed "how to" where is described building of Haskell Platform natively to 64bit W

Re: [Haskell-cafe] SIGSEGV in yieldCapability ()

2011-05-24 Thread Simon Marlow
On 23/05/2011 09:55, Erik Hesselink wrote: On Sun, May 22, 2011 at 15:03, Johannes Waldmann wrote: I think you should file a bug report with a test case on GHC. I am willing to work on this, but I thought I'd go fishing for some advice first. My program uses: forkIO, STM, and FFI. I've s

Re: [Haskell-cafe] Parallel compilation and execution?

2011-05-27 Thread Simon Marlow
On 26/05/2011 14:32, michael rice wrote: Fair question. I copied the parallel version from: http://www.haskell.org/ghc/docs/6.6/html/users_guide/lang-parallel.html That is the User Guide for GHC 6.6, incidentally. If yo

Re: [Haskell-cafe] How unique is Unique

2011-05-27 Thread Simon Marlow
On 27/05/2011 08:35, Emil Axelsson wrote: Hello! Lacking a proper blog, I've written some notes about Data.Unique here: http://community.haskell.org/~emax/darcs/MoreUnique/ This describes a real problem that makes Data.Unique unsuitable for implementing observable sharing. The document also p

Re: [Haskell-cafe] How unique is Unique

2011-05-27 Thread Simon Marlow
On 27/05/2011 13:40, Emil Axelsson wrote: 2011-05-27 13:12, Simon Marlow skrev: On 27/05/2011 08:35, Emil Axelsson wrote: Hello! Lacking a proper blog, I've written some notes about Data.Unique here: http://community.haskell.org/~emax/darcs/MoreUnique/ This describes a real problem

Re: [Haskell-cafe] ANNOUNCE: CamHac: Haskell Hackathon in Cambridge, UK, 12-14 August 2011

2011-06-01 Thread Simon Marlow
On 26/05/2011 15:35, Simon Marlow wrote: CamHac is happening - come and spend a long weekend in Cambridge hacking Haskell code in great surroundings with fantastic company! Full details on the wiki page: http://www.haskell.org/haskellwiki/CamHac When: Friday-Sunday 12-14 August 2011 Where

Re: [Haskell-cafe] How to install GhC on a Mac without registering?

2011-06-06 Thread Simon Marlow
On 06/06/11 15:57, Daniel Peebles wrote: Isn't gcc just used for its assembler and object file creation, these days, now that via-C is deprecated? Or are there other parts of it that are needed? The C compiler is needed to support foreign export and foreign import "wrapper", and we also genera

Re: [Haskell-cafe] [Haskell] ANNOUNCE: Parallel and Concurrent programming in Haskell, a tutorial

2011-06-13 Thread Simon Marlow
On 13/06/2011 15:23, Henning Thielemann wrote: On Thu, 19 May 2011, Simon Marlow wrote: I've put together a tutorial on Parallel and Concurrent programming in Haskell, here: http://community.haskell.org/~simonmar/par-tutorial.pdf The main reason for writing this was that I needed

Re: [Haskell-cafe] OSX, ghci, dylib, what is the correct way?

2011-06-14 Thread Simon Marlow
On 12/06/2011 20:17, Jason Dagit wrote: On Sun, Jun 12, 2011 at 11:45 AM, Brandon Allbery wrote: On Sun, Jun 12, 2011 at 14:31, Jason Dagit wrote: If I build the C library as a .a, then ghci comlains that it cannot open the .dylib. My first question is: Why does ghci need a .dylib and does i

Re: [Haskell-cafe] OSX, ghci, dylib, what is the correct way?

2011-06-15 Thread Simon Marlow
On 14/06/2011 17:57, Jason Dagit wrote: On Tue, Jun 14, 2011 at 4:26 AM, Simon Marlow wrote: On 12/06/2011 20:17, Jason Dagit wrote: On Sun, Jun 12, 2011 at 11:45 AM, Brandon Allbery wrote: On Sun, Jun 12, 2011 at 14:31, Jason Dagitwrote: If I build the C library as a .a, then ghci

Re: [Haskell-cafe] OSX, ghci, dylib, what is the correct way?

2011-06-15 Thread Simon Marlow
On 15/06/2011 15:41, Jason Dagit wrote: On Wed, Jun 15, 2011 at 2:16 AM, Simon Marlow wrote: On 14/06/2011 17:57, Jason Dagit wrote: On Tue, Jun 14, 2011 at 4:26 AM, Simon Marlowwrote: On 12/06/2011 20:17, Jason Dagit wrote: On Sun, Jun 12, 2011 at 11:45 AM, Brandon Allbery wrote

Re: [Haskell-cafe] Weird multi-threading runtime behaviour of single-threaded program with GHC-7.0.3

2011-06-17 Thread Simon Marlow
I found this email thanks to the Parallel Haskell Digest, thanks Eric & Nick! On 01/04/2011 11:37, Herbert Valerio Riedel wrote: I'm experiencing an unexpected behaviour with GHC-7.0.3/x86_64's multithreading runtime when running some more demanding single-thread computations. I've isolated th

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