Re: [GHC] #726: error messages can include too much source code

2006-03-16 Thread GHC
#726: error messages can include too much source code --+- Reporter: Bulat Ziganshin [EMAIL PROTECTED] | Owner: Type: feature request | Status: closed

[GHC] #727: Write a generic Trie.

2006-03-16 Thread GHC
#727: Write a generic Trie. +--- Reporter: jpbernardy |Owner: Type: feature request | Status: new Priority: normal |Milestone:

Re: [GHC] #725: bug with -O2 -optc-O2

2006-03-16 Thread GHC
#725: bug with -O2 -optc-O2 --+- Reporter: Bulat Ziganshin [EMAIL PROTECTED] | Owner: Type: bug | Status: closed Priority: normal

Re: [GHC] #708: Compiler error

2006-03-16 Thread GHC
#708: Compiler error +--- Reporter: [EMAIL PROTECTED] | Owner: simonpj Type: bug| Status: new Priority: normal | Milestone: 6.4.2

Re: [GHC] #708: Compiler error

2006-03-16 Thread GHC
#708: Compiler error +--- Reporter: [EMAIL PROTECTED] | Owner: simonpj Type: bug| Status: closed Priority: normal | Milestone: 6.4.2

Re: [GHC] #718: FinalizerEnvPtr and newForeignPtrEnv missing from Freign.ForeignPtr

2006-03-16 Thread GHC
#718: FinalizerEnvPtr and newForeignPtrEnv missing from Freign.ForeignPtr ---+ Reporter: [EMAIL PROTECTED] | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #724: tee complains if used in a process started by ghc

2006-03-16 Thread GHC
#724: tee complains if used in a process started by ghc ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Milestone:

[GHC] #728: switch to compacting collection when swapping occurs

2006-03-16 Thread GHC
#728: switch to compacting collection when swapping occurs ---+ Reporter: simonmar|Owner: Type: task| Status: new Priority: normal |

Re: [GHC] #694: lawbreaker in HughesPJ

2006-03-16 Thread GHC
#694: lawbreaker in HughesPJ -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: bug | Status: closed Priority: normal | Milestone: 6.4.2 Component:

Re: [GHC] #265: ancilData breaks link on AIX

2006-03-16 Thread GHC
#265: ancilData breaks link on AIX +--- Reporter: jgoerzen | Owner: simonmar Type: bug| Status: closed Priority: normal | Milestone: 6.4.2

Re: [GHC] #722: Adrian Hey's StringMap library in the collections package.

2006-03-16 Thread GHC
#722: Adrian Hey's StringMap library in the collections package. -+-- Reporter: jpbernardy | Owner: Type: task| Status: new Priority: normal |

Re: [GHC] #722: Adrian Hey's StringMap library in the collections package.

2006-03-16 Thread GHC
#722: Adrian Hey's StringMap library in the collections package. -+-- Reporter: jpbernardy | Owner: Adrian Hey (if he accepts) Type: task| Status: new

Re: Mixing registerised and unregisterised builds

2006-03-16 Thread Simon Marlow
Ian Lynagh wrote: The attached e-mail seems to be about a problem using a library compiled with an unregisterised ghc with a registerised ghc. The linking step is giving many undefined reference to `stg_ap_p_ret's (with various numbers of 'p's) as well as a few to `GHCziIOBase_zdWIO_entry', and

Re: ghc releasing memory during compilation

2006-03-16 Thread Simon Marlow
John Meacham wrote: On Mon, Mar 13, 2006 at 04:06:59PM +0300, Bulat Ziganshin wrote: SM I think what you're suggesting is that the runtime should detect the SM amount of physical memory on the system and auto-tune itself to switch SM to compacting collection when its residency reaches that

Re[2]: ghc releasing memory during compilation

2006-03-16 Thread Bulat Ziganshin
Hello John, Thursday, March 16, 2006, 4:00:34 AM, you wrote: i suggest checking of AVAILABLE physical ram, that is perfectly possible in windows JM the problem is that available physical ram is wasted ram. any good os JM will never let there be any available ram because it will fill it up JM

Re: Mixing registerised and unregisterised builds

2006-03-16 Thread Ian Lynagh
On Thu, Mar 16, 2006 at 10:05:44AM +, Simon Marlow wrote: That's right - registerised and unregisterised code are completely incompatible. OK, thanks. Its similar to the situation with profiled and unprofiled code. But in this case we get a warning: mismatched interface file ways:

Re: Mixing registerised and unregisterised builds

2006-03-16 Thread Simon Marlow
Ian Lynagh wrote: On Thu, Mar 16, 2006 at 10:05:44AM +, Simon Marlow wrote: That's right - registerised and unregisterised code are completely incompatible. OK, thanks. Its similar to the situation with profiled and unprofiled code. But in this case we get a warning:

Re: newbie: building ghc

2006-03-16 Thread Mark Greenbank
Hi DUncan, Thanks for the help. I've installed a ghc compiler on my Linux box in order to cross-compile and I'm getting the following error. Any ideas? Thanks, Mark /usr/bin/ghc -H16m -O -H32m -istage1/utils -istage1/basicTypes -istage1/types -istage1/hsSyn -istage1/prelude -istage1/rename

Re: newbie: building ghc

2006-03-16 Thread Duncan Coutts
On Thu, 2006-03-16 at 13:22 -0500, Mark Greenbank wrote: Hi DUncan, Thanks for the help. I've installed a ghc compiler on my Linux box in order to cross-compile and I'm getting the following error. Any ideas? You'll have to be very specific about exactly what procedures you're following.

Re: [Haskell] Haskell Weekly News: March 13, 2006

2006-03-16 Thread John Hughes
With a view to this I started collecting just the announcements on a `feed' here: http://www.cse.unsw.edu.au/~dons/code/hwn/announce.html These should serve as a basis for the content, I think. Can you add an actual date? Seeing things dated a few days ago does contribute to a

Re: [Haskell] Re: Haskell Digest, Vol 31, Issue 15

2006-03-16 Thread minh thu
2006/3/15, Paul Johnson [EMAIL PROTECTED]: minh thu [EMAIL PROTECTED] wrote: 2006/3/15, Duncan Coutts [EMAIL PROTECTED]: On Wed, 2006-03-15 at 17:21 +0100, Sebastian Sylvan wrote: You can also use laziness (untested!): data DLink a = (DLink a) a (DLink a) | Nil test = d1

Re: [Haskell] Re: Haskell Digest, Vol 31, Issue 15

2006-03-16 Thread Jared Updike
General question to the list: (Q) Are there any data structures in Haskell similar to C++/STL vectors or C# generic Lists (i.e. strongly typed ArrayLists, e.g. Listint)? These data structures grow automatically as you add elements to them (but in large chunks, not one node at a time). This data

[Haskell] The Cell processor and Haskell

2006-03-16 Thread Mads Lindstrøm
Hi all It is often claimed that Haskell's referential transparency would make it an excellent choice for a high-level parallel language. Furthermore, IBM, Sony, and Toshiba's Cell processor is in great need of a high-level parallel language. Thus, they seem to be a perfect match. See

Re: [Haskell] The Cell processor and Haskell

2006-03-16 Thread Neil Mitchell
Hi, My knowledge of parallel programming is limited, but I would still like to know, what the wiser amongst of us, thinks of making a Haskell compiler for the Cell processor. It is not that I consider implementing one. It is just that I am curious.

Re: [Haskell] The Cell processor and Haskell

2006-03-16 Thread Claus Reinke
apply here (and remember to use GHC as a test case;-): http://www.compilerjobs.com/jobs/sony.php cheers, claus - Original Message - From: Mads Lindstrøm [EMAIL PROTECTED] To: haskell@haskell.org Sent: Thursday, March 16, 2006 9:22 PM Subject: [Haskell] The Cell processor and Haskell

Re: [Haskell] Haskell Weekly News: March 13, 2006

2006-03-16 Thread Donald Bruce Stewart
rjmh: With a view to this I started collecting just the announcements on a `feed' here: http://www.cse.unsw.edu.au/~dons/code/hwn/announce.html These should serve as a basis for the content, I think. Can you add an actual date? Seeing things dated a few days ago does contribute to a

Re: [Haskell] Haskell Weekly News: March 13, 2006

2006-03-16 Thread Jared Updike
The dates on the feed are in international (non-US) order, i.e. Mar 13 2006 = 13/03/2006. Is there a way to make this unambiguous by changing the month to a word instead of a number? Just curious... Jared. On 3/16/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote: rjmh: With a view to this

Re: [Haskell] Haskell Weekly News: March 13, 2006

2006-03-16 Thread Donald Bruce Stewart
Well, there is a way -- it's fairly easy with the right regex -- but is it really ambiguous? Do people find it confusing? What do other sites do? -- Don jupdike: The dates on the feed are in international (non-US) order, i.e. Mar 13 2006 = 13/03/2006. Is there a way to make this unambiguous

[Haskell] Re: Haskell Weekly News: March 13, 2006

2006-03-16 Thread Aaron Denney
On 2006-03-17, Donald Bruce Stewart [EMAIL PROTECTED] wrote: Well, there is a way -- it's fairly easy with the right regex -- but is it really ambiguous? Do people find it confusing? What do other sites do? Why not the ISO standard -MM-DD? -- Aaron Denney --

RE: Infix expressions

2006-03-16 Thread Simon Peyton-Jones
If it is sufficiently non-obvious to require this thread, perhaps it'd be worth adding the relevant guidance can be added to the idioms page itself? Incidentally, I looked on the Haskell home page for links to programming idioms and advice, but came up empty. The obvious place to look was under

Re: Infix expressions

2006-03-16 Thread Ashley Yakeley
Simon Peyton-Jones wrote: Incidentally, I looked on the Haskell home page for links to programming idioms and advice, but came up empty. The obvious place to look was under Using Haskell, but I didn't find anything. Was I being stupid? Haskell.org is the obvious place to look for advice about

Re: Suggestion: refine overlap handling for instance declarations

2006-03-16 Thread Claus Reinke
(a) we can't specify that two types in an instance are not equal; but we can use overlap resolution to ensure that equal types are handled by another, more specific instance ... permit type inequalities as guards in instance declarations: topdecls - ..

RE: Infix expressions

2006-03-16 Thread Simon Peyton-Jones
| Incidentally, I looked on the Haskell home page for links to programming | idioms and advice, but came up empty. The obvious place to look was | under Using Haskell, but I didn't find anything. Was I being stupid? | Haskell.org is the obvious place to look for advice about programming in

Re: Infix expressions

2006-03-16 Thread Ashley Yakeley
Simon Peyton-Jones wrote: Oh yes so there is! But what is the rationale for what goes in those two header lines, and what goes in the grey box lists? Why would idioms be in the first place but not the second, and FAQ in the second but not the first? Perhaps we could have just the grey boxes?

[Haskell-cafe] how would this be done? type classes? existential types?

2006-03-16 Thread Matthias Fischmann
hi, this is one of those situations that always make scheme and perl hackers laugh at me: i have written a piece of code that is intuitively clear, and now i am trying to turn it into something that compiles. and here it goes. i have a type class that looks something like this: class

RE: [Haskell-cafe] how would this be done? type classes? existentialtypes?

2006-03-16 Thread Geest, G. van den
Title: RE: [Haskell-cafe] how would this be done? type classes? existentialtypes? Try using a GADT: data Rs where Rs :: Resource a = a - Rs class Resource a where resourceName :: a - String instance Resource String where resourceName x = String instance Resource Int where

[Haskell-cafe] how would this be done? type classes? existentialtypes?

2006-03-16 Thread Matthias Fischmann
yes, that helps. also thanks to lennart and chris, i think i got it working. ... and have more questions: is there any difference between these two? if they are equivalent, why the two different ways to say it? data X where X :: (Resource a) = a - X data Y = forall a . (Resource a) = Y a

Re: [Haskell-cafe] how would this be done? type classes? existential types?

2006-03-16 Thread Matthias Fischmann
On Thu, Mar 16, 2006 at 12:40:00PM +, Chris Kuklewicz wrote: (Why isn't it resourceName :: String ?) because i am too clumsy. (-: when i am trying this, ghc complains that the type of resourceName doesn't have any occurrance of 'a', and i feel that it must be harder for the type engine to

Re: [Haskell-cafe] how would this be done? type classes? existential types?

2006-03-16 Thread Matthias Fischmann
Alexandra Silva [EMAIL PROTECTED] wrote: http://homepages.cwi.nl/~ralf/HList/ this looks like it might address my problems with Read / Eq instantiation? will read. thanks again to everybody. m. signature.asc Description: Digital signature ___

Re: [Haskell-cafe] matrix computations based on the GSL

2006-03-16 Thread Frederik Eaton
Hi Alberto, I'm sorry if this has been discussed before... I'm reading your paper, at one point it says (re. the PCA example): Octave achieves the same result, slightly faster. (In this experiment we have not used optimized BLAS libraries which can improve efficiency of the GSL) That seems to