Re: [GHC] #754: EVACUATED object entered

2006-04-24 Thread GHC
#754: EVACUATED object entered --+- Reporter: [EMAIL PROTECTED] | Owner: Type: bug | Status: new Priority: normal | Milestone: Component:

FW: 6.4.2 build Sound/OpenAL/ALC error

2006-04-24 Thread Simon Marlow
Forwarding to glasgow-haskell-users@haskell.org -Original Message- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Erik J Pearson Sent: 24 April 2006 06:21 To: [EMAIL PROTECTED] Subject: 6.4.2 build Sound/OpenAL/ALC error While building 6.4.2 on SuSE 10.0 with 6.4.1, I

Re: Visual Haskell

2006-04-24 Thread Simon Marlow
Dmitri Pissarenko wrote: First of all I want to thank all the people, who developed Visual Haskell. It's a big step towards functional programming in real life. I have an application in C# in Visual Studio 2005 and Visual Haskell, which seems to work only in Visual Studio 2003 (both Visual

Re: 6.4.2 Build error

2006-04-24 Thread Simon Marlow
Daniel Fischer wrote: When building 6.4.2 today, make died with ../../ghc/compiler/ghc-inplace -H16m -O -Wall -fffi -Iinclude '-#include HsALUT.h' -cpp -DCALLCONV=ccall -ignore-package ALUT -O -Rghc-timing -fgenerics -package base -package OpenGL -package OpenAL -fgenerics -split-objs

Re: GHC6.5 + TH + Profiling

2006-04-24 Thread Simon Marlow
Einar Karttunen wrote: I am having problems combining TH and profiling with ghc-6.5.20060420. GHC seems to die when loading the object file for TH execution and failing to notice that it should load profiling symbols. The exact error is: Loading package base-1.0 ... linking ... done. Loading

Linking error in GHC 6.4.2 snapshot of 21 April (mingw).

2006-04-24 Thread Cyril Schmidt
When I downloaded and unpacked the latest GHC snapshot of the STABLE branch for Windows (ghc-6.4.2.20060421-i386-unknown-mingw32.tar.gz), I got the following error trying to start GHCi: ___ ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4.2, for

Re: ANNOUNCE: GHC vesrion 6.4.2

2006-04-24 Thread Simon Marlow
Duncan Coutts wrote: On Wed, 2006-04-19 at 11:59 +0100, Simon Marlow wrote: On 19 April 2006 11:53, Christian Maeder wrote: Simon Marlow wrote: Highlights in this release: - Cabal has been upgraded to version 1.1.4. ghc-pkg lists Cabal-1.0 in the binary distribution

Re: ANNOUNCE: GHC vesrion 6.4.2

2006-04-24 Thread Duncan Coutts
Cheers Simon, thanks for looking at this. On Mon, 2006-04-24 at 10:43 +0100, Simon Marlow wrote: Duncan Coutts wrote: I'm concerned that there are many different versions of Cabal 1.1.4. The version that GHC 6.4.2 is now shipping is actually a very old version of Cabal 1.1.4. Sorry,

Re: Linking error in GHC 6.4.2 snapshot of 21 April (mingw).

2006-04-24 Thread Cyril Schmidt
This solves the problem, thanks! Cyril Simon Marlow wrote: Cyril Schmidt wrote: When I downloaded and unpacked the latest GHC snapshot of the STABLE branch for Windows (ghc-6.4.2.20060421-i386-unknown-mingw32.tar.gz), I got the following error trying to start GHCi: Loading package base-1.0

Re: 6.4.2 under solaris

2006-04-24 Thread Christian Maeder
Simon Marlow wrote: Ok, does this help instead (compile stage1 with this change): *** DriverState.hs.~1.116.2.2.~2005-10-13 10:02:19.0 +0100 --- DriverState.hs2006-04-13 15:32:02.0 +0100 *** *** 418,423 --- 418,425 #if defined(freebsd_TARGET_OS)

Re: 6.4.2 under solaris

2006-04-24 Thread Volker Stolz
* Christian Maeder [EMAIL PROTECTED]: P.S. the non-termination of the final stage2 compiler still needs further investigation (that I cannot do alone) How about throwing 'truss' at it? Maybe this reveals a blatant reason. Volker -- http://www-i2.informatik.rwth-aachen.de/stolz/ *** PGP ***

Re: 6.4.2 under solaris

2006-04-24 Thread Christian Maeder
Volker Stolz wrote: * Christian Maeder [EMAIL PROTECTED]: P.S. the non-termination of the final stage2 compiler still needs further investigation (that I cannot do alone) How about throwing 'truss' at it? Maybe this reveals a blatant reason. It repeatedly outputs: /1:

Google Summer of Code 2006

2006-04-24 Thread Paolo Martini
Hello, Haskell.org is going to partecipate as mentoring organization to the Google Summer of Code programme of this year. We have formed a group of volunteers taking care of the administrative work as well as the mentoring part. The group is listed here:

RE: RULES

2006-04-24 Thread Simon Peyton-Jones
I'm afraid that RULES are applied *after* type checking and dictionary construction. Recall that freeze has type freeze :: (Ix i, MArray a e m, IArray b e) = a i e - m (b i e) Your original RULE gives Could not deduce (Unboxed e, HasDefaultValue e) from the context (IArray UArray

Re: [Haskell] Haskell.org and Google Summer of Code 2006

2006-04-24 Thread Paolo Martini
Hi, more work has been done on the Summer of Code: Project suggestions page on the wiki. http://haskell.org/haskellwiki/Summer_of_Code:_Project_suggestions If you are running an active open source Haskell project and you would like to mentor some student to work on it, please feel free to

[Haskell] Haskell Summer School (Camp) for Teens

2006-04-24 Thread John Peterson
The Computer Science department at Western State College is offering a very unique summer camp opportunity for high school Juniors / Seniors. Although our brochure and web page never mention Haskell, we're using Haskell on top of the Panda 3D game engine to allow students with no computer

[Haskell] New monadic implementation of Control.Exception

2006-04-24 Thread Brian Hulley
Hi - Following indications in http://www.haskell.org/pipermail/haskell/2006-February/017547.html I've wrapped all the functions in Control.Exception so that they can be used with any monad constructed using the common state transformers and based (ultimately) on IO. I'd suggest something

termination for FDs and ATs

2006-04-24 Thread Ross Paterson
To ensure termination with FDs, there is a proposed restriction that an instance that violates the coverage condition must have a trivial instance improvement rule. Is the corresponding restriction also required for ATs, namely that an associated type synonym definition may only contain another

RE: Concurrency, FFI status

2006-04-24 Thread Simon Marlow
On 22 April 2006 04:03, John Meacham wrote: On Fri, Apr 21, 2006 at 10:01:51AM -0400, Manuel M T Chakravarty wrote: Concerning the issue of preemptive versus cooperative concurrency, I still think cooperative concurrency is pretty useless. Is there any non-toy application that actually

RE: FFI proposal: allow some control over the scope of C header files

2006-04-24 Thread Simon Marlow
How about just adding a couple of new pragmas: {-# INCLUDE_PRIVATE foo/bar.h #-} {-# INCLUDE_PACKAGE foo/bar.h #-} both pragmas apply to all the foreign imports in the current module, just like the existing INCLUDE pragma. Additionally, INCLUDE_PRIVATE prevents any foreign import from being

Re: unsafePerformIO and cooperative concurrency

2006-04-24 Thread Marcin 'Qrczak' Kowalczyk
Ashley Yakeley [EMAIL PROTECTED] writes: Is there a ticket for this? I would prefer that unsafePerformIO and friends not be part of the standard. I would prefer otherwise. Every implementation supports it, which proves that it's useful. And it's no less unsafe than FFI. -- __(

Re: unsafePerformIO and cooperative concurrency

2006-04-24 Thread John Meacham
On Mon, Apr 24, 2006 at 01:57:57PM +0100, Simon Marlow wrote: Given that unsafePerformIO is (perhaps) to be part of the Haskell' standard, the combination of unsafePerformIO and cooperative concurrency introduces some interesting cases that will probably have to be declared to be undefined in

Re: FFI proposal: allow some control over the scope of C header files

2006-04-24 Thread John Meacham
It is my understanding that the FFI foreign imports declare an ABI and not an API, meaning the exact way to make the foreign call should be completely deterministic based on just what is in the haskell file proper. Otherwise, obviously, direct to assembly implementations would be impossible. In

concurrency guarentees clarification

2006-04-24 Thread John Meacham
I have been twiddling some with the wording of the concurrency guarentees and want to run them by the list. the rules I am thinking of adding are: * every runnable thread is guarenteed to run in a finite amount of time if a program reaches a yield-point infinitly often. * Foreign concurrent

Re: [Haskell-cafe] Current situation regarding global IORefs

2006-04-24 Thread Adrian Hey
Lennart Augustsson wrote: I think global mutable variables should be regarded with utmost suspicion. There are very few situations where they are the right solution. Well IMO even the use of the term global mutable variable causes muddled thinking on this and I wish people would stop it.

Re: [Haskell-cafe] Current situation regarding global IORefs

2006-04-24 Thread Cale Gibbard
On 24/04/06, Adrian Hey [EMAIL PROTECTED] wrote: Lennart Augustsson wrote: I think global mutable variables should be regarded with utmost suspicion. There are very few situations where they are the right solution. Well IMO even the use of the term global mutable variable causes muddled

[Haskell-cafe] Re: The case of the missing module

2006-04-24 Thread Simon Marlow
Neil Mitchell wrote: import Paths_haddock( getDataDir ) Haddock requires to be built with Cabal (which generates this module), and as far as I can remember, its a Cabal that isn't released anywhere. When I did some work on haddock I commented this out, and made getDataDir return an

[Haskell-cafe] Re: How to get Haddock to generate docs for a directory tree of modules

2006-04-24 Thread Simon Marlow
Brian Hulley wrote: I've been looking at the docs for Haddock at http://haskell.org/haddock/haddock-html-0.7/index.html but I can't seem to find any option to recursively traverse a directory generating hyperlinked docs for all modules anywhere in the directory or any sub directory etc. Is

[Haskell-cafe] Re: Haddock seems to generate wrong types in newtype deriving

2006-04-24 Thread Simon Marlow
Brian Hulley wrote: Hi - I have the following code: data MState = MState -- details omitted type MonadStateMState = MonadState MState -- necessary for Haddock newtype ManagerM a = ManagerM (StateT MState IO a) deriving (Monad, MonadIO, MonadStateMState) which

Re: [Haskell-cafe] Advice needed on best way to simulate an STL vector

2006-04-24 Thread Ross Paterson
On Wed, Apr 19, 2006 at 09:32:19PM +0200, Udo Stenzel wrote: We don't have an implementation of Ropes (yet?). I think, a Finger Tree of Fast Packed Strings might be the closest thing. I'd even implement it this way, if the low performance of raw Strings finally overcame my inertia... Sounds

[Haskell-cafe] Re: Haddock seems to generate wrong types in newtype deriving

2006-04-24 Thread Brian Hulley
Simon Marlow wrote: Brian Hulley wrote: Hi - I have the following code: [snip] Is this just a bug in Haddock or am I misunderstanding something about Haskell? It's a bug / missing feature in Haddock. Haddock is basically pretty dumb when it comes to understanding Haskell code; it knows

[Haskell-cafe] Re: How to get Haddock to generate docs for a directory tree of modules

2006-04-24 Thread Brian Hulley
Simon Marlow wrote: Brian Hulley wrote: I've been looking at the docs for Haddock at http://haskell.org/haddock/haddock-html-0.7/index.html but I can't seem to find any option to recursively traverse a directory generating hyperlinked docs for all modules anywhere in the directory or any sub

Re: [Haskell-cafe] Current situation regarding global IORefs

2006-04-24 Thread Lennart Augustsson
Adrian Hey wrote: . I was going to respond, but Cale very eloquently said most of what I was thinking. Let me just add one thing. Sometimes you hear the argument I need a global IORef here because it's to track the use of my single screen (or keyboard, or elevator, or some some other gizmo

Re: [Haskell-cafe] Re: Control.Exceptions and MonadIO

2006-04-24 Thread Brian Hulley
Brian Hulley wrote: I've started work on a module to replace Control.Exception by wrapping all the original Control.Exception functions in more general monadic functions and using two type classes as follows: class MonadIO m = MonadException m where catch :: m a - (Exception - m a) - m a

[Haskell-cafe] Google Summer of Code 2006

2006-04-24 Thread Paolo Martini
Hello, Haskell.org is going to partecipate as mentoring organization to the Google Summer of Code programme of this year. We have formed a group of volunteers taking care of the administrative work as well as the mentoring part. The group is listed here:

Re: [Haskell-cafe] Current situation regarding global IORefs

2006-04-24 Thread Robert Dockins
On Apr 24, 2006, at 2:42 AM, Adrian Hey wrote: Lennart Augustsson wrote: I think global mutable variables should be regarded with utmost suspicion. There are very few situations where they are the right solution. Well IMO even the use of the term global mutable variable causes muddled