Re: [Haskell] Re: ANNOUNCE: Haskell File Manager

2009-04-28 Thread Michael Dever
Hey Benjamin, At this time no it doesn't, it only supports Linux ( no Mac support either ), but I have plans to add in Windows support if I get good feedback on it people want more from it :D Regards, Michael On Tue, Apr 28, 2009 at 4:19 AM, Benjamin L.Russell dekudekup...@yahoo.comwrote: On

[Haskell] ANNOUNCE: OpenGL 2.2.2.0

2009-04-28 Thread Sven Panne
A new version of the OpenGL package has bee uploaded to Hackage. This is mainly a bug fix release, containing the following changes: * Minor tweaks for recent Cabal versions. * Removal of old GHC build system relics. * Handle invalid framebuffer operation error. * Terminate GLSL

[Haskell] ANNOUNCE: GLUT 2.1.2.0

2009-04-28 Thread Sven Panne
A new version of the GLUT package has been uploaded to Hackage. This is a feature release, adding all the shiny new features of the upcoming freeglut 2.6.0 C library plus a few older bits and pieces which had been missing: * Minor tweaks for recent Cabal versions * Removal of old GHC build

[Haskell] ANNOUNCE: OpenAL 1.3.1.2

2009-04-28 Thread Sven Panne
A new version of the OpenAL package has been uploaded to Hackage. This is a bug fix only release: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. * Use the correct calling convention on Windows. Cheers, S.

[Haskell] ANNOUNCE: ALUT 2.1.0.1

2009-04-28 Thread Sven Panne
A new version of the ALUT package has been uploaded to Hackage. This is a bug fix only release, containing only tiny changes: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. Cheers, S. ___ Haskell mailing

[Haskell] ANNOUNCE: uu-parsinglib-2.0.0

2009-04-28 Thread S. Doaitse Swierstra
The new uu-parsinglib package is the first version of the new parsing combinator library package from Utrecht University. Features: - online result construction - much simpler internals than the combinators in the uulib package, because of the availabilty of GADT's and other extensions

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2009-04-28 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -+-- Reporter: Isaac Dupree |Owner: Type: feature request | Status: new

[GHC] #3195: runghc failing sometimes

2009-04-28 Thread GHC
#3195: runghc failing sometimes +--- Reporter: juhpetersen | Owner: Type: bug | Status: new Priority: normal | Component: Runtime System Version:

[GHC] #3196: libHSffi_p.a should not be created when profiled libs are disabled

2009-04-28 Thread GHC
#3196: libHSffi_p.a should not be created when profiled libs are disabled -+-- Reporter: juhpetersen | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2009-04-28 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -+-- Reporter: Isaac Dupree |Owner: Type: feature request | Status: new

Re: [GHC] #2770: Missing check that C compiler is C99 compatible

2009-04-28 Thread GHC
#2770: Missing check that C compiler is C99 compatible -+-- Reporter: jputcu|Owner: Type: bug | Status: closed Priority: normal|Milestone: 6.12.1

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2009-04-28 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -+-- Reporter: Isaac Dupree |Owner: Type: feature request | Status: new

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2009-04-28 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -+-- Reporter: Isaac Dupree |Owner: Type: feature request | Status: new

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2009-04-28 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -+-- Reporter: Isaac Dupree |Owner: Type: feature request | Status: new

Re: [GHC] #2971: readFile /proc/mounts hangs on an amd64 machine

2009-04-28 Thread GHC
#2971: readFile /proc/mounts hangs on an amd64 machine -+-- Reporter: dsf |Owner: igloo Type: merge | Status: closed Priority: high |Milestone:

Re: [GHC] #2965: GHC on OS X does not compile 64-bit

2009-04-28 Thread GHC
#2965: GHC on OS X does not compile 64-bit +--- Reporter: Axman6 |Owner: thoughtpolice Type: feature request | Status: new Priority: normal |Milestone:

Re: Inter-module links with Haddock broken?

2009-04-28 Thread Sven Panne
Am Samstag, 25. April 2009 14:48:03 schrieb Sven Panne: Currently I am unable to make inter-module links (of the form 'Foo.Bar.baz') work with the Haddock shipped with GHC 6.10.2. [...] Until a few moments ago, I wasn't aware of the fact that Haddock has a trac for itself nowadays, so I guess

Re: Inter-module links with Haddock broken?

2009-04-28 Thread David Waern
2009/4/28 Sven Panne sven.pa...@aedion.de: Am Samstag, 25. April 2009 14:48:03 schrieb Sven Panne: Currently I am unable to make inter-module links (of the form 'Foo.Bar.baz') work with the Haddock shipped with GHC 6.10.2. [...] Until a few moments ago, I wasn't aware of the fact that Haddock

[GHC] #3197: disambiguating type family instances with qualified names not possible

2009-04-28 Thread GHC
#3197: disambiguating type family instances with qualified names not possible -+-- Reporter: claus | Owner: Type: bug | Status: new

[GHC] #3198: inliner fails to kick in for Double (*)

2009-04-28 Thread GHC
#3198: inliner fails to kick in for Double (*) -+-- Reporter: JulesBean | Owner: Type: bug | Status: new Priority: normal|

[GHC] #3199: System.Environment provides no access to argv[0]

2009-04-28 Thread GHC
#3199: System.Environment provides no access to argv[0] -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal|

[GHC] #3200: System.Environment.withProgName strips everything before the last slash

2009-04-28 Thread GHC
#3200: System.Environment.withProgName strips everything before the last slash -+-- Reporter: guest | Owner: Type: bug | Status: new Priority:

Re: [GHC] #3199: System.Environment provides no access to argv[0]

2009-04-28 Thread GHC
#3199: System.Environment provides no access to argv[0] --+- Reporter: guest | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #3199: System.Environment provides no access to argv[0]

2009-04-28 Thread GHC
#3199: System.Environment provides no access to argv[0] --+- Reporter: guest | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #3198: inliner fails to kick in for Double (*)

2009-04-28 Thread GHC
#3198: inliner fails to kick in for Double (*) --+- Reporter: JulesBean | Owner: Type: bug | Status: new Priority: normal|

Re: Linking hsc2hs .c output on Windows w/ build system: is it just me..?

2009-04-28 Thread Sigbjorn Finne
Thanks Simon, sorry for not noticing your reply amidst the flow of g-h-b ticket reports before now. As there is no need to sail that close to the wind of playing with the delicate linking loading orders of the CRT and base DLLs like kernel32, my suggestion would be simply to avoid it. You don't

Re: [GHC] #3198: inliner fails to kick in for Double (*)

2009-04-28 Thread GHC
#3198: inliner fails to kick in for Double (*) --+- Reporter: JulesBean | Owner: Type: bug | Status: new Priority: normal|

Re: Threads and memory management

2009-04-28 Thread Johannes Waldmann
Thanks for your comments. Check whether it is GC-bound by using +RTS -sstderr. Well yes, it does a lot of GC (there's no way for the compiler to optimize away the list of primes) because that was the point of the example: to confirm (or disprove) that GC hurts parallelism (at the moment).

Re: Chimeric syntax

2009-04-28 Thread Brandon S. Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Apr 28, 2009, at 01:24 , Scott Michel wrote: I've been hacking along on a NetBeans Haskell plugin (*) Looking at Parser.y.pp, because both Eclipse and NetBeans work with antlr, it seems like there are interesting cases in which chimeric

Re: Chimeric syntax

2009-04-28 Thread Max Bolingbroke
2009/4/28 Scott Michel scooter@gmail.com: This got me to thinking that either ghc has issues or I have some fundamental misunderstanding of Haskell syntax. Or, maybe I should use someone else's grammar. GHC's parser is over-generous by design. See

Re: Chimeric syntax

2009-04-28 Thread Scott Michel
On Tue, Apr 28, 2009 at 1:09 PM, Max Bolingbroke batterseapo...@hotmail.com wrote: 2009/4/28 Scott Michel scooter@gmail.com: This got me to thinking that either ghc has issues or I have some fundamental misunderstanding of Haskell syntax. Or, maybe I should use someone else's grammar.

Re: [Haskell-cafe] ghci debugger problem with :continue. is it broken, or is it me?

2009-04-28 Thread Bernie Pope
2009/4/28 Thomas Hartman tphya...@gmail.com I suppose this means that the points-free/pattern binding-style version is a bit less work for ghc to execute (fewer reductions), whereas the version with lambda bound variables is easier to debug. I don't think there is any (significant) difference

Re: [Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

2009-04-28 Thread Steffen Schuldenzucker
On 22:19 Mon 27 Apr , Martijn van Steenbergen wrote: Tillmann Rendel wrote: Achim Schneider wrote: In other words: 1) Explain Pointed 2) Explain Functor 3) Explain Applicative 4) Explain Monad Why Pointed first? Functor seems more useful and more basic. They are in order of power:

Re: [Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

2009-04-28 Thread Martijn van Steenbergen
Steffen Schuldenzucker wrote: Uhm, isn't it: class (Functor f) = Pointed f where pure :: a - f a -- singleton, return, unit etc. Got it from: The Typeclassopedia by Brent Yorgey (forgot the URL, sorry) Yes, but also: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/54685 So maybe

Re: [Haskell-cafe] Question about implementing an off-side rule in Parsec 2

2009-04-28 Thread Lennart Augustsson
Implementing exactly Haskell's rule for indentation is incredibly hard. In fact, no known Haskell compiler gets it right. But if you make a slightly simpler one, it's easy. The simple one is the one based only on indentation. There are different ways you can do this. For instance, you can

Re: [Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

2009-04-28 Thread Matthew Gruen
On Mon, Apr 27, 2009 at 4:19 PM, Martijn van Steenbergen mart...@van.steenbergen.nl wrote: They are in order of power: every monad is an applicative; every applicative is a functor; every functor is pointed. Though I can't think of any non-functor pointiness at the moment. Martijn. On

[Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

2009-04-28 Thread Achim Schneider
Jason Dusek jason.du...@gmail.com wrote: 2009/04/21 Manlio Perillo manlio_peri...@libero.it: Luke Palmer ha scritto: And many other permutations, with differing degrees of laziness and parametericity. As long as you stricly read a string from the socket, this is ok. But you can not

Re: [Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

2009-04-28 Thread Steffen Schuldenzucker
On 04:33 Tue 28 Apr , Matthew Gruen wrote: On the other hand, here's an un-pure-able and un-point-able functor: instance Functor ((,) m) where   --fmap :: (n - n') - (m, n) - (m, n')     fmap f (m, n) = (m, f n) n - (m, n) is not a function you can write in general

Re: [Haskell-cafe] Question about implementing an off-side rule in Parsec 2

2009-04-28 Thread Neil Brown
Bas van Gijzel wrote: Hello everyone, I'm doing a bachelor project focused on comparing parsers. One of the parser libraries I'm using is Parsec (2) and I'm going to implement a very small subset of haskell with it, with as most important feature the off-side rule (indentation based parsing)

Re: [Haskell-cafe] Random number example

2009-04-28 Thread Ross Mellgren
I'm not sure what you're asking by define type Random [Int]? Your type Random a will allow a to be any type, e.g. [Int] is perfectly fine. If what you're asking is how do you get from Random Int to Random [Int], the usual answer would be to use replicateM :: Monad m = Int - m a - m [a]

Re: [Haskell-cafe] Can subclass override its super-class' default implementation of a function?

2009-04-28 Thread david48
On Mon, Apr 27, 2009 at 11:00 PM, siki ga...@karamaan.com wrote: I'm not sure if this is possible at all. I'd like to do something like this: class A a where    foo :: a - Double    foo a = 5.0 class (A a) = B a where    foo a = 7.0 I probably don't understand the question properly,

[Haskell-cafe] TraverseAccum: an effectful accumulating map.

2009-04-28 Thread Florent BALESTRIERI
Hello fellow haskellers. This message is a valid literate haskell file. I ran it with ghc 6.10.1 module TraverseAccum where import Control.Applicative import Data.Traversable A year ago, I read Why Attribute Grammars Matter. In it we found a function on lists wich combined three traversals

[Haskell-cafe] Deriving type family data

2009-04-28 Thread Tuve Nordius
If I for some data type wants to derive, in this case Data and Typeable for use with syb code, but the problem is the same regardless what I want to derive. data family Something data Tree = Leaf Something | Fork Something Tree Tree deriving (Data, Typeable) The problem is I

Re: [Haskell-cafe] Deriving type family data

2009-04-28 Thread andy morris
2009/4/28 Tuve Nordius t...@student.chalmers.se: If I for some data type wants to derive, in this case Data and Typeable for use with syb code, but the problem is the same regardless what I want to derive. data family Something data Tree = Leaf Something | Fork Something Tree Tree        

[Haskell-cafe] Re: Is curryfication practical with dynamic scope?

2009-04-28 Thread Stefan Monnier
PS: In a meta interpreter, lexical scope seems to be actually easier to implement than dynamic scope. Depends on whether your meta-language is lexically or dynamically scoped. Stefan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Question about implementing an off-side rule in Parsec 2

2009-04-28 Thread Bas van Gijzel
Hey, Thanks for the help thusfar. These are interesting suggestions, and I think the occam-pi compiler would help a bit as example. I'll force myself to learn some more about the state monad, but I haven't found really good examples except in Real World Haskell until now so I hope I'll manage.

[Haskell-cafe] Re: Is 78 characters still a good option? Was: breaking too long lines

2009-04-28 Thread Henning Thielemann
Christian Maeder schrieb: Putting commas in the front, better indicates the continuation, but the extra space following the open bracket ( looks a bit odd. (Surely one could also leave a space before the closing bracket, although I wouldn't like spaces around all brackets.) The

Re: [Haskell-cafe] Question about implementing an off-side rule in Parsec 2

2009-04-28 Thread S. Doaitse Swierstra
As Lennart said, the complete offside rule as found in Haskell is almost impossible to get right. This is mainly due to the way in which it is formulated: in terms of error correction. This makes it very difficult to build a parser for such rules which have error correction built into

[Haskell-cafe] default values in a record structure

2009-04-28 Thread Vasili I. Galchin
Hello, Is there anyway when defining a dat type record struct to indicate default values for some of the fields? Regards, Vasili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] default values in a record structure

2009-04-28 Thread Luke Palmer
On Tue, Apr 28, 2009 at 4:09 PM, Vasili I. Galchin vigalc...@gmail.comwrote: Hello, Is there anyway when defining a dat type record struct to indicate default values for some of the fields? The usual pattern is to use a default record, and specialize it: data Foo = Foo { bar :: Int,

Re: [Haskell-cafe] Non-atomic atoms for type-level programming

2009-04-28 Thread Claus Reinke
Standard ML's answer to that kind of issue is type sharing. Does type sharing help with making modules retroactively compatible? It would be as if one could write modules parameterised by types, instead of declaring them locally, and being able to share a type parameter over several imports:

[Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Michael Vanier
I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a standard name? Mike ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Tony Morris
Michael Vanier wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a standard name? Mike ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Bryan O'Sullivan
On Tue, Apr 28, 2009 at 3:54 PM, Michael Vanier mvanie...@gmail.com wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a standard name? That's similar to Applicative,

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Luke Palmer
On Tue, Apr 28, 2009 at 4:54 PM, Michael Vanier mvanie...@gmail.com wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a standard name? That is a strange structure.

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Michael Vanier
Tony Morris wrote: Michael Vanier wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a standard name? Mike ___

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Dan Weston
I suspect your structure doesn't exist. A Kleisli algebra (a - m b) has a full subalgebra (() - m ()), but (() - m b) is not an algebra (it is not closed). I'm guessing that the largest proper subset of (a - m b) is just (() - m ()). Dan Tony Morris wrote: Michael Vanier wrote: I've

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Luke Palmer
On Tue, Apr 28, 2009 at 5:33 PM, Michael Vanier mvanie...@gmail.com wrote: Tony Morris wrote: Michael Vanier wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but not =. Has anyone seen this before, and if so, does it have a

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread Michael Vanier
Luke Palmer wrote: On Tue, Apr 28, 2009 at 5:33 PM, Michael Vanier mvanie...@gmail.com mailto:mvanie...@gmail.com wrote: Tony Morris wrote: Michael Vanier wrote: I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and but

Re: [Haskell-cafe] name for monad-like structure?

2009-04-28 Thread wren ng thornton
Michael Vanier wrote: Luke Palmer wrote: Michael Vanier wrote: Are you sure it supports () :: m a - m b - m b and not mplus :: m a - m a - m a ? Yeah, you're right. It's basically a monad where the type a is fixed to be (), so you just have ()

[Haskell-cafe] Compiling on windows - again

2009-04-28 Thread Gü?nther Schmidt
Hi guys, I'm sorry, I asked this before ... What is the flag you have to pass during ghc --make in order to produce an exe on Windows that doesn't open a DOS window. Günther ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] chr/ord?

2009-04-28 Thread michael rice
Hi, My Prelude docs must be out of date because chr and ord don't seem to be there. How do I access these functions? Michael === [mich...@localhost ~]$ ghci GHCi, version 6.10.1: http://www.haskell.org/ghc/  :? for help Loading package ghc-prim ... linking ... done. Loading

Re: [Haskell-cafe] chr/ord?

2009-04-28 Thread Tim Wawrzynczak
Michael, those functions are not in the Prelude, they're in Data.Char. On Tue, Apr 28, 2009 at 8:08 PM, michael rice nowg...@yahoo.com wrote: Hi, My Prelude docs must be out of date because chr and ord don't seem to be there. How do I access these functions? Michael ===

Re: [Haskell-cafe] Runge-Kutta and architectural style

2009-04-28 Thread Felipe Lessa
On Mon, Apr 27, 2009 at 04:34:27PM +1200, Richard O'Keefe wrote: (5) A generator that generates native code to be called through FFI. It may be interesting to see the LLVM package, it's pretty much straightforward to use it with numerical calculations. -- Felipe.

Re: [Haskell-cafe] chr/ord?

2009-04-28 Thread michael rice
Thank guys, Now what am I misunderstanding in the code below? I would think that *Main comb (Just 65) foo and *Main comb (lookup 'A' lst) foo would return the same result Just 'A' Michael ===Haskell code= import Data.Char lst = [('A',65),('B',66),('C',67),('D',68)]

Re: [Haskell-cafe] chr/ord?

2009-04-28 Thread Brandon S. Allbery KF8NH
On Apr 28, 2009, at 23:32 , michael rice wrote: Thank guys, Now what am I misunderstanding in the code below? lst = [('A',65),('B',66),('C',67),('D',68)] You didn't give a type for lst, so it defaulted to [(Char,Integer)]. This is a manifestation of the Monomorphism Restriction, invoked

Re: [Haskell-cafe] chr/ord?

2009-04-28 Thread michael rice
Yep, that fixed it.. Thanks, Brandon. Michael --- On Tue, 4/28/09, Brandon S. Allbery KF8NH allb...@ece.cmu.edu wrote: From: Brandon S. Allbery KF8NH allb...@ece.cmu.edu Subject: Re: [Haskell-cafe] chr/ord? To: michael rice nowg...@yahoo.com Cc: Brandon S. Allbery KF8NH allb...@ece.cmu.edu,

Re: [Haskell-cafe] Question about implementing an off-side rule in Parsec 2

2009-04-28 Thread Bernie Pope
2009/4/28 Bas van Gijzel neneko...@gmail.com I'm doing a bachelor project focused on comparing parsers. One of the parser libraries I'm using is Parsec (2) and I'm going to implement a very small subset of haskell with it, with as most important feature the off-side rule (indentation based

Re: [Haskell-cafe] Compiling on windows - again

2009-04-28 Thread Sigbjorn Finne
-optl-mwindows is the magic incantation to use. --sigbjorn On 4/28/2009 17:37, Gü?nther Schmidt wrote: Hi guys, I'm sorry, I asked this before ... What is the flag you have to pass during ghc --make in order to produce an exe on Windows that doesn't open a DOS window. Günther

Re: [Haskell-cafe] Re: Typing efficient folds

2009-04-28 Thread Matthew Brecknell
Keith Battocchi wrote: Thanks for explicitly writing out the unification steps; this makes it perfectly clear where things are going wrong. I was hoping to be able to have b' ~ b, l' b' ~ (l b, l b), and z' b' ~ (z b, z b). I guess it makes sense that these types can't be inferred - is