[GHC] #2198: Build failure on Mac OS X Tiger Intel

2008-04-06 Thread GHC
#2198: Build failure on Mac OS X Tiger Intel ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 6.8.2

Re: [GHC] #2191: A way to programmatically cause GHC to report the cost center stack associated with a value

2008-04-06 Thread GHC
#2191: A way to programmatically cause GHC to report the cost center stack associated with a value +--- Reporter: SamB |Owner: Type: feature request | Status: new

[GHC] #2199: th32SnapEnumProcesses in System.Win32.Process prints debugging information to stdout

2008-04-06 Thread GHC
#2199: th32SnapEnumProcesses in System.Win32.Process prints debugging information to stdout --+- Reporter: guest | Owner: Type: bug| Status: new

Re: [GHC] #2199: th32SnapEnumProcesses in System.Win32.Process prints debugging information to stdout

2008-04-06 Thread GHC
#2199: th32SnapEnumProcesses in System.Win32.Process prints debugging information to stdout --+- Reporter: guest |Owner: Type: bug| Status: new

Re: [GHC] #2097: bug in regEnumKeys (System.Win32.Registry)

2008-04-06 Thread GHC
#2097: bug in regEnumKeys (System.Win32.Registry) ---+ Reporter: MagnusTherning | Owner: igloo Type: bug| Status: new Priority: normal | Milestone: 6.8.3

[GHC] #2200: big static random access arrays

2008-04-06 Thread GHC
#2200: big static random access arrays +--- Reporter: jsnx | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler

Re: [GHC] #2200: big static random access arrays

2008-04-06 Thread GHC
#2200: big static random access arrays +--- Reporter: jsnx |Owner: Type: feature request | Status: new Priority: normal |Milestone:

Re: [GHC] #2097: bug in regEnumKeys (System.Win32.Registry)

2008-04-06 Thread GHC
#2097: bug in regEnumKeys (System.Win32.Registry) ---+ Reporter: MagnusTherning | Owner: igloo Type: merge | Status: new Priority: normal | Milestone: 6.8.3

Re: [GHC] #2091: heap corruption in ghc-6.8.2?

2008-04-06 Thread GHC
#2091: heap corruption in ghc-6.8.2? --+- Reporter: jeffz | Owner: Type: bug | Status: closed Priority: normal| Milestone: 6.8.3 Component: Compiler |

[GHC] #2201: ghc-pkg --user describe '*' fails with empty user db

2008-04-06 Thread GHC
#2201: ghc-pkg --user describe '*' fails with empty user db +--- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version:

Re: [GHC] #2036: Show for Double and Float doesn't use parenthesis for negative zero.

2008-04-06 Thread GHC
#2036: Show for Double and Float doesn't use parenthesis for negative zero. -+-- Reporter: clanehin | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #2153: GHCi does not have a :source command to load further .ghci files

2008-04-06 Thread GHC
#2153: GHCi does not have a :source command to load further .ghci files -+-- Reporter: SamB | Owner: Type: bug | Status: closed Priority: normal | Milestone:

Re: [GHC] #2044: Can't unify error in debugger

2008-04-06 Thread GHC
#2044: Can't unify error in debugger +--- Reporter: r6144 | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 6.8.3 Component: GHCi|Version:

[Haskell] ANN: Hayoo! beta 0.1

2008-04-06 Thread Timo B. Hübel
Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that this is still a beta

Re: [Haskell] ANN: Hayoo! beta 0.1

2008-04-06 Thread Max Bolingbroke
On 06/04/2008, Timo B. Hübel [EMAIL PROTECTED] wrote: Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Very nice! I'm not sure if this is documented

[Haskell] ANNOUNCE: Well-Typed LLP - The Haskell Consultants

2008-04-06 Thread Ian Lynagh
Fellow Haskellers, We (Björn Bringert, Duncan Coutts and Ian Lynagh) are pleased to announce that we have recently set up a Haskell consultancy company, Well-Typed LLP (http://www.well-typed.com/). Our services include application development, library and tool maintenance, project advice, and

[Haskell] REMINDER: Next Hackathon (Hac4) starts in 4 days

2008-04-06 Thread Thomas Schilling
Hi Haskell Hackers! There are only 4 days left until the fourth Hackathon (http:// www.haskell.org/haskellwiki/Hac4) at Chalmers University in Gothenburg, Sweden. If you haven't registered, yet, please do so now! Registration deadline: Tuesday, April 8, 2008 To register, go to

[Haskell-cafe] Re: Role based access control via monads or arrows or... something

2008-04-06 Thread apfelmus
David Roundy wrote: apfelmus wrote: David Roundy wrote: porrifolius wrote: (7) ideally required permissions would appear (and accumulate) in type signatures via inference so application code knows which are required and type checker can reject static/dynamic role constraint violations In

Re: [Haskell-cafe] Role based access control via monads or arrows or... something

2008-04-06 Thread Wouter Swierstra
Any help you can offer for my aching cranium will be _much_ appreciated. You might also be interested in the paper Edwin Brady and Kevin Hammond just submitted to ICFP: http://www.cs.st-andrews.ac.uk/~eb/drafts/icfp08.pdf It describes how to manage resources, in particular locks, in a

[Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Timo B. Hübel
Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that this is still a beta

Re: [Haskell-cafe] Re: Shouldn't this loop indefinitely = take (last [0..]) [0..]

2008-04-06 Thread John Meacham
On Fri, Apr 04, 2008 at 04:46:22PM +0100, Neil Mitchell wrote: Where length xs = 1 and ys = 1000. This takes 1000 steps to tell the Int's aren't equal, since we don't have proper lazy naturals. If we did, it would take 2 steps. Read this: http://citeseer.ist.psu.edu/45669.html - it argues

Re: [Haskell-cafe] Re: Shouldn't this loop indefinitely = take (last [0..]) [0..]

2008-04-06 Thread Felipe Lessa
On Sun, Apr 6, 2008 at 11:12 AM, John Meacham [EMAIL PROTECTED] wrote: I implemented this efficient lazy natural class once upon a time. it even has things like lazy multiplication: [...] instance Num Nat where Zero + y = y Sum x n1 + y = Sum x (y + n1) --x + Zero = x

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Richard Kelsall
Timo B. Hübel wrote: Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Timo B. Hübel
On Sunday 06 April 2008 16:38:03 Richard Kelsall wrote: Little detail : After visiting a page that appears in the search results then doing a back button the search I did is no longer there. (On my eccentric Firefox setup anyway.) Hm, that's strange. I know about this problem when using

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Felipe Lessa
On Sun, Apr 6, 2008 at 1:24 PM, Timo B. Hübel [EMAIL PROTECTED] wrote: Hm, that's strange. I know about this problem when using Konqueror, but my Firefox (Linux, 2.0.0.13) keeps the results even after visiting the documentation and hitting the back button. My Epiphany works fine. Anyway, I

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Richard Kelsall
Timo B. Hübel wrote: On Sunday 06 April 2008 16:38:03 Richard Kelsall wrote: Little detail : After visiting a page that appears in the search results then doing a back button the search I did is no longer there. (On my eccentric Firefox setup anyway.) Hm, that's strange. I know about this

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Don Stewart
t.h: Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that this is

[Haskell-cafe] type families and type signatures

2008-04-06 Thread Ganesh Sittampalam
Hi, The following program doesn't compile in latest GHC HEAD, although it does if I remove the signature on foo'. Is this expected? Cheers, Ganesh {-# LANGUAGE TypeFamilies #-} module Test7 where type family Id a type instance Id Int = Int foo :: Id a - Id a foo = id foo' :: Id a - Id a

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Timo B. Hübel
On Sunday 06 April 2008 20:31:09 you wrote: Overall feedback: Cool! So far, I like Hayoo!, and I'm therefore interested in Holumbus. Is there some technical overview available? Currently, only what you can find on http://holumbus.fh-wedel.de but we will try to extend the site in the near

[Haskell-cafe] Re: [Haskell] ANN: Hayoo! beta 0.1

2008-04-06 Thread Max Bolingbroke
On 06/04/2008, Timo B. Hübel [EMAIL PROTECTED] wrote: Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Very nice! I'm not sure if this is documented

Re: [Haskell-cafe] ANN: Hayoo! beta 0.1

2008-04-06 Thread Don Stewart
t.h: Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that this is

Re: [Haskell-cafe] Re: [Haskell] ANN: Hayoo! beta 0.1

2008-04-06 Thread Timo B. Hübel
I'm not sure if this is documented or not, but for those interested in creating a search template for Firefox, Quicksilver and the like, it is possible to use a URL such as this to enter a search term: http://holumbus.fh-wedel.de/hayoo/hayoo.html?query=catmaybes Well, it is not really

[Haskell-cafe] problems building hpodder

2008-04-06 Thread Karl Hasselström
I'm trying to build hpodder 1.1.2 with ghc 6.8.2. I successfully downloaded, built, and installed (the latest versions of) all its dependencies, but when building hpodder itself, I get FeedParser.hs:146:26: `Content' is not applied to enough type arguments Expected kind `??', but

Re: [Haskell-cafe] type families and type signatures

2008-04-06 Thread Thomas M. DuBuisson
Id is an operation over types yielding a type, as such it doesn't make much sense to me to have (Id a - Id a) but rather something like (a - Id a). One could make this compile by adding the obvious instance: type instance Id a = a Curiously, is this a reduction from a real world use of

[Haskell-cafe] ANNOUNCE: Well-Typed LLP - The Haskell Consultants

2008-04-06 Thread Ian Lynagh
Fellow Haskellers, We (Björn Bringert, Duncan Coutts and Ian Lynagh) are pleased to announce that we have recently set up a Haskell consultancy company, Well-Typed LLP (http://www.well-typed.com/). Our services include application development, library and tool maintenance, project advice, and

Re: [Haskell-cafe] ANNOUNCE: Well-Typed LLP - The Haskell Consultants

2008-04-06 Thread Bulat Ziganshin
Hello Ian, Monday, April 7, 2008, 2:50:02 AM, you wrote: We (Bjorn Bringert, Duncan Coutts and Ian Lynagh) are pleased to announce that we have recently set up a Haskell consultancy company, Well-Typed LLP (http://www.well-typed.com/). my congrats! seems you are first in this business :)

[Haskell-cafe] REMINDER: Next Hackathon (Hac4) starts in 4 days

2008-04-06 Thread Thomas Schilling
Hi Haskell Hackers! There are only 4 days left until the fourth Hackathon (http:// www.haskell.org/haskellwiki/Hac4) at Chalmers University in Gothenburg, Sweden. If you haven't registered, yet, please do so now! Registration deadline: Tuesday, April 8, 2008 To register, go to

Re: [Haskell-cafe] ANNOUNCE: Well-Typed LLP - The Haskell Consultants

2008-04-06 Thread Duncan Coutts
On Mon, 2008-04-07 at 02:57 +0400, Bulat Ziganshin wrote: Hello Ian, Monday, April 7, 2008, 2:50:02 AM, you wrote: We (Bjorn Bringert, Duncan Coutts and Ian Lynagh) are pleased to announce that we have recently set up a Haskell consultancy company, Well-Typed LLP

Re: [Haskell-cafe] Re: Shouldn't this loop indefinitely = take (last [0..]) [0..]

2008-04-06 Thread John Meacham
On Sun, Apr 06, 2008 at 11:30:20AM -0300, Felipe Lessa wrote: On Sun, Apr 6, 2008 at 11:12 AM, John Meacham [EMAIL PROTECTED] wrote: I implemented this efficient lazy natural class once upon a time. it even has things like lazy multiplication: [...] instance Num Nat where Zero + y

Re: [Haskell-cafe] type families and type signatures

2008-04-06 Thread Manuel M T Chakravarty
Ganesh Sittampalam: The following program doesn't compile in latest GHC HEAD, although it does if I remove the signature on foo'. Is this expected? Yes, unfortunately, this is expected, although it is very unintuitive. This is for the following reason. Let's alpha-rename the signatures

Re: [Haskell-cafe] type families and type signatures

2008-04-06 Thread Ganesh Sittampalam
On Sun, 6 Apr 2008, Thomas M. DuBuisson wrote: Id is an operation over types yielding a type, as such it doesn't make much sense to me to have (Id a - Id a) but rather something like (a - Id a). One could make this compile by adding the obvious instance: type instance Id a = a Curiously,

Re: [Haskell-cafe] type families and type signatures

2008-04-06 Thread Ganesh Sittampalam
On Mon, 7 Apr 2008, Manuel M T Chakravarty wrote: Ganesh Sittampalam: The following program doesn't compile in latest GHC HEAD, although it does if I remove the signature on foo'. Is this expected? Yes, unfortunately, this is expected, although it is very unintuitive. This is for the