Re: [Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread Neil Mitchell
Hi Niklas, I certainly have OPTIONS_DERIVE and CATCH pragmas that I've inserted into various programs over time. Are you sure that would be a problem? Seems to me that OPTIONS_DERIVE would appear in the same position as any other OPTIONS pragma, in which case HSE will handle it just fine. I

Re: [Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread Lemmih
On Wed, Dec 10, 2008 at 1:30 AM, Niklas Broberg [EMAIL PROTECTED] wrote: Are SrcSpan's on the TODO list? Seeing how this is the first I hear of them, I can't say that they have been, but they could be. :-) Could you give me a rundown on what usecases you'd need SrcSpans for, and where HSE

[Haskell-cafe] Re: Haskell project proposals reddit

2008-12-10 Thread Neal Alexander
Don Stewart wrote: I'd like to echo Jason's remarks earlier. http://www.reddit.com/r/haskell_proposals/ We've tried for a couple of years now to efficiently track 'wanted libraries' for the community, but never with much success. In particular, two approaches have been tried: * a

[Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Benjamin L . Russell
On Tue, 9 Dec 2008 16:22:13 -0800, Jason Dusek [EMAIL PROTECTED] wrote: There is a subreddit for people to propose libraries: http://www.reddit.com/r/haskell_proposals/ The idea being, that Web 2.0 will help us to allocate our collective talents more efficiently when it comes to

[Haskell-cafe] Iteratee-based IO and lightweight monadic regions in the wild

2008-12-10 Thread Artyom Shalkhakov
Hello, Is anybody planning to use these shiny new ways for doing IO? I'm also interested in a fair comparison of ByteString/Binary with iteratee-based IO. Has anybody done this? Regards, Artyom Shalkhakov. ___ Haskell-Cafe mailing list

[Haskell-cafe] Re: Does ghc use Language.Haskell.*?

2008-12-10 Thread Mauricio
Why can ghc read the program, but not the standard library parser? Does ghc use something else? Is it possible to use whatever ghc uses to build a prettyprinter? Language.Haskell is known to be incomplete. The haskell-src-exts package on http://hackage.haskell.org will be more useful.

Re: [Haskell-cafe] File name encodings

2008-12-10 Thread Duncan Coutts
On Tue, 2008-12-09 at 18:17 -0800, Don Stewart wrote: Oh, perhaps you want to 'decode' the string that dirOpenDialog returns. redcom: Hi Don, must be doing something wrong. The messed up string originates from calling Graphics.UI.WX.dirOpenDialog and selecting a directory

Re: [Haskell-cafe] Can my type be allowed as return type in FFI?

2008-12-10 Thread Andrea Rossato
On Wed, Dec 10, 2008 at 12:30:56PM +, Duncan Coutts wrote: If do recommend reading the FFI spec. It's quite readable and explains a lot of the issues. Getting familiar with the Foreign libraries will help too. The most important bits are understanding ForeignPtr and the Storable class. I

[Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Benjamin L . Russell
On Wed, 10 Dec 2008 10:35:48 +, Neil Mitchell [EMAIL PROTECTED] wrote: Hi Clicking up once makes you vote up, clicking up again cancels your up vote. i.e. to cancel an upvote, click up again. Similarly clicking down votes down, clicking again removes your down vote. So therefore clicking up,

Re: [Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Jason Dusek
This has happened to some of my proposals, too. The reddit is completely open. -- _jsn ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Benjamin L . Russell
On Wed, 10 Dec 2008 02:00:26 -0800, Jason Dusek [EMAIL PROTECTED] wrote: This has happened to some of my proposals, too. The reddit is completely open. That is strange. I just deleted my proposal and resubmitted it, but it still didn't appear. Then I clicked on the up-arrow next to An ARM

[Haskell-cafe] Translating RWH into other languages

2008-12-10 Thread Bulat Ziganshin
Hello Don, There is a team of people which want to translate RWH book into Russian. is it ok? can you help us by establishing subversion of RWH book on your site. if it will contain copy of the English book for the beginning and allow team members to further edit it - it will be great! -- Best

[Haskell-cafe] Can my type be allowed as return type in FFI?

2008-12-10 Thread Mauricio
Hi, When I do: foreign import nameOfFunction nameOfFunction :: IO MyType I can get a function that return MyType only if it's a pointer or some of the C* type family. Is it possible to write a new MyType and make it allowed as a return type from foreign functions? Is changing the compiler the

Re: [Haskell-cafe] Re: Does ghc use Language.Haskell.*?

2008-12-10 Thread Duncan Coutts
On Wed, 2008-12-10 at 09:32 -0200, Mauricio wrote: Why can ghc read the program, but not the standard library parser? Does ghc use something else? Is it possible to use whatever ghc uses to build a prettyprinter? Language.Haskell is known to be incomplete. The haskell-src-exts

Re: [Haskell-cafe] Haskell project proposals reddit

2008-12-10 Thread Josef Svenningsson
On Wed, Dec 10, 2008 at 5:34 AM, Don Stewart [EMAIL PROTECTED] wrote: I'd like to echo Jason's remarks earlier. http://www.reddit.com/r/haskell_proposals/ We've tried for a couple of years now to efficiently track 'wanted libraries' for the community, but never with much success. In

[Haskell-cafe] Associated data types

2008-12-10 Thread Eyal Lotem
If we have associated type synonyms, is there still reason to have associated data types? For example, we can replace: class C b where data D b ... instance C Int where data D Int = D | E with: class C b where type D b ... data DInt = D | E instance C Int where type D Int = DInt Or

[Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Benjamin L . Russell
On Wed, 10 Dec 2008 19:47:04 +0900, Benjamin L.Russell [EMAIL PROTECTED] wrote: On Wed, 10 Dec 2008 10:35:48 +, Neil Mitchell [EMAIL PROTECTED] wrote: Hi Clicking up once makes you vote up, clicking up again cancels your up vote. i.e. to cancel an upvote, click up again. Similarly clicking

Re: [Haskell-cafe] Can my type be allowed as return type in FFI?

2008-12-10 Thread Duncan Coutts
On Wed, 2008-12-10 at 08:33 -0200, Mauricio wrote: Hi, When I do: foreign import nameOfFunction nameOfFunction :: IO MyType I can get a function that return MyType only if it's a pointer or some of the C* type family. Is it possible to write a new MyType and make it allowed as a

Re: [Haskell-cafe] Associated data types

2008-12-10 Thread Jules Bean
Lennart Augustsson wrote: For an associated data type D, we know that the type function D is injective, i.e., for different indicies given to D we'll get different data types. This makes much more powerful reasoning possible in the type checker. If associated data types are removed there has

Re: [Haskell-cafe] Associated data types

2008-12-10 Thread Lennart Augustsson
For an associated data type D, we know that the type function D is injective, i.e., for different indicies given to D we'll get different data types. This makes much more powerful reasoning possible in the type checker. If associated data types are removed there has to be some new mechanism to

Re: [Haskell-cafe] Re: a haskell_proposals subreddit

2008-12-10 Thread Neil Mitchell
Hi Clicking up once makes you vote up, clicking up again cancels your up vote. i.e. to cancel an upvote, click up again. Similarly clicking down votes down, clicking again removes your down vote. So therefore clicking up, then down, is (+1) then (-2). Thanks Neil Then I clicked on the

Re: [Haskell-cafe] Associated data types

2008-12-10 Thread Lennart Augustsson
Sure. Here's an example. {-# LANGUAGE TypeFamilies #-} module Mail where class C1 a where data T1 a :: * f1 :: T1 a - T1 a instance C1 Bool where data T1 Bool = A | B deriving Show f1 A = B f1 B = A class C2 a where type T2 a :: * f2 :: T2 a - T2 a data D2 = C | D

Re: [Haskell-cafe] Associated data types

2008-12-10 Thread Andres Loeh
Hi. Date: Wed, 10 Dec 2008 13:36:11 + From: Lennart Augustsson [EMAIL PROTECTED] Subject: Re: [Haskell-cafe] Associated data types For an associated data type D, we know that the type function D is injective, i.e., for different indicies given to D we'll get different data types.

[Haskell-cafe] Re: File name encodings

2008-12-10 Thread ChrisK
Duncan Coutts wrote: Yet another reason why FilePath /= String (except on Windows where it does). Duncan Well, it is not a OS issue but a FileSystem issue. OS X is a Unix, but the main filesystem is HFS+ which has Unicode names, though they use a different normalization. So FilePath ==

Re: [Haskell-cafe] Problem with haddock 2.3.0 (again)

2008-12-10 Thread Sean Leather
[Responding to an old (but still relevant) thread...] I'm getting this error as well, both in 2.3.0 and 2.4.1. Suppose that I wanted to generate documentation for everything in my Cabal package except for the modules with Template Haskell in them. Is it enough to add {-# OPTIONS_HADDOCK hide #-}

Re: [Haskell-cafe] Re: Haskell project proposals reddit

2008-12-10 Thread Lionel Barret De Nazaris
Reddit is not moderated. But there is a difference between the new links and the top links. There you are : http://www.reddit.com/r/haskell_proposals/comments/7ijor/a_library_or_embedded_language_for_interactive/ (upmodded) Benjamin L.Russell wrote: On Tue, 9 Dec 2008 20:34:20 -0800, Don

Re: [Haskell-cafe] Re: Haskell project proposals reddit

2008-12-10 Thread Jeff Heard
I'm working on this now. R-Tree, not Oct-tree, but it'll be there soon. Also working on GDAL/OGR bindings. On Wed, Dec 10, 2008 at 4:26 AM, Neal Alexander [EMAIL PROTECTED] wrote: Don Stewart wrote: I'd like to echo Jason's remarks earlier. http://www.reddit.com/r/haskell_proposals/

Re: [Haskell-cafe] Haskell project proposals reddit

2008-12-10 Thread Thomas DuBuisson
On Wed, Dec 10, 2008 at 1:10 PM, Josef Svenningsson [EMAIL PROTECTED] wrote: On Wed, Dec 10, 2008 at 5:34 AM, Don Stewart [EMAIL PROTECTED] wrote: I'd like to echo Jason's remarks earlier. http://www.reddit.com/r/haskell_proposals/ We've tried for a couple of years now to

[Haskell-cafe] Re: Can my type be allowed as return type in FFI?

2008-12-10 Thread Mauricio
foreign import nameOfFunction nameOfFunction :: IO MyType Is it possible to write a new MyType and make it allowed as a return type from foreign functions? Is changing the compiler the only way to do that? Of course you're not really returning a MyType but a pointer

Re: [Haskell-cafe] Haskell project proposals reddit

2008-12-10 Thread Don Stewart
josef.svenningsson: On Wed, Dec 10, 2008 at 5:34 AM, Don Stewart [EMAIL PROTECTED] wrote: I'd like to echo Jason's remarks earlier. http://www.reddit.com/r/haskell_proposals/ We've tried for a couple of years now to efficiently track 'wanted libraries' for the community, but never

Re: [Haskell-cafe] Re: Can my type be allowed as return type in FFI?

2008-12-10 Thread Duncan Coutts
On Wed, 2008-12-10 at 14:17 -0200, Mauricio wrote: foreign import nameOfFunction nameOfFunction :: IO MyType Is it possible to write a new MyType and make it allowed as a return type from foreign functions? Is changing the compiler the only way to do that?

Re: [Haskell-cafe] Problem with haddock 2.3.0 (again)

2008-12-10 Thread Duncan Coutts
On Wed, 2008-12-10 at 15:30 +0100, Sean Leather wrote: [Responding to an old (but still relevant) thread...] I'm getting this error as well, both in 2.3.0 and 2.4.1. Suppose that I wanted to generate documentation for everything in my Cabal package except for the modules with Template

[Haskell-cafe] Re: Iteratee-based IO and lightweight monadic

2008-12-10 Thread John Lato
From: Artyom Shalkhakov [EMAIL PROTECTED] Hello, Is anybody planning to use these shiny new ways for doing IO? I'm also interested in a fair comparison of ByteString/Binary with iteratee-based IO. Has anybody done this? I would like to use Iteratee-based IO, and have been doing some

[Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread ChrisK
Is there anyway to track down and fix why haskell-src-exts-0.4.4.1 still gets haddock: parse error in doc string when I try to get cabal to haddock the package? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread Ross Paterson
On Wed, Dec 10, 2008 at 05:34:16PM +, ChrisK wrote: Is there anyway to track down and fix why haskell-src-exts-0.4.4.1 still gets haddock: parse error in doc string when I try to get cabal to haddock the package? Line numbers would be handy. In this case, the problem is the Original:

[Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread ChrisK
Ross Paterson wrote: On Wed, Dec 10, 2008 at 05:34:16PM +, ChrisK wrote: Is there anyway to track down and fix why haskell-src-exts-0.4.4.1 still gets haddock: parse error in doc string when I try to get cabal to haddock the package? Line numbers would be handy. In this case, the

[Haskell-cafe] Re: ANNOUNCE: haskell-src-exts 0.4.4

2008-12-10 Thread Niklas Broberg
Indeed, I just found that. I wonder where in the universe this is documented. Oh well. I also had to change -- $x and -- $( comments. A darcs diff -u patch is attached. Thanks a lot Chris, patch applied to the repo and will appear in the next release. Cheers, /Niklas

[Haskell-cafe] Fram

2008-12-10 Thread Haakon Meland Eriksen
Dear Haskell community, It was kindly suggested to me by John Peterson that I might reach you here and tell you a little bit about Fram, a small Mediawiki extension. Fram lets you intersperse your explanation with actual code, and then Fram extracts and concatenates the code, giving you a file

[Haskell-cafe] Source code

2008-12-10 Thread Andrew Coppin
The library documentation pages on Haskell.org used to have helpful links to the library source code. But they don't seem to be there any more. Anybody know why? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Fram

2008-12-10 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Wed, Dec 10, 2008 at 2:05 PM, Haakon Meland Eriksen wrote: Dear Haskell community, It was kindly suggested to me by John Peterson that I might reach you here and tell you a little bit about Fram, a small Mediawiki extension. Fram lets you

Re: [Haskell-cafe] Haskell project proposals reddit

2008-12-10 Thread Jason Dusek
I think you are overlooking the Web 2.0 aspect of this. -- _jsn ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Projects that depend on the vty package?

2008-12-10 Thread Don Stewart
coreyoconnor: Hello, For further development of the vty package I'm really only paying attention to the requirements that fall out of the Yi project. Are there any other projects that depend on the vty package? In addition, the vty project has it's own wiki: http://trac.haskell.org/vty/

Re: [Haskell-cafe] Re: Can my type be allowed as return type in FFI?

2008-12-10 Thread Richard O'Keefe
On 11 Dec 2008, at 5:17 am, Mauricio wrote: This would solve half my problem. Can I always trust that? I've been told before that everytime a C function returns a struct it is actually returning a pointer, but I wasn't able to find that written in stone That's because it isn't true.

[Haskell-cafe] Retrospective on 2008?

2008-12-10 Thread Don Stewart
I've been kicking the idea around of a 2008 retrospective. How did we do this year? After all, it has been a dramatic growth period (we're close to 600 people a day in #haskell now, for example, and many new faces!) Some ideas: * 10 best new libraries * 10 best new apps * 10 most

[Haskell-cafe] type error

2008-12-10 Thread Cetin Sert
Hi, Why does this not function? Prelude sequence [print 'a', print 2] 'a' 2 [(),()] *Prelude let myprint = print* *Prelude sequence [myprint 'a', myprint 2]* interactive:1:18: Couldn't match expected type `()' against inferred type `Char' In the first argument of `myprint', namely 'a'

Re: [Haskell-cafe] type error

2008-12-10 Thread Janis Voigtlaender
Cetin Sert wrote: Hi, Why does this not function? Prelude sequence [print 'a', print 2] 'a' 2 [(),()] *Prelude let myprint = print* *Prelude sequence [myprint 'a', myprint 2]* interactive:1:18: Couldn't match expected type `()' against inferred type `Char' In the first argument of