Re: [GHC] #5657: section suggestion adds backticks to operators

2011-12-16 Thread GHC
#5657: section suggestion adds backticks to operators -+-- Reporter: tinctorius| Owner: simonmar Type: bug | Status: new Priority: high |

Re: [GHC] #5658: Strict bindings are wrongly floated out of case alternatives.

2011-12-16 Thread GHC
#5658: Strict bindings are wrongly floated out of case alternatives. -+-- Reporter: benl | Owner: benl Type: bug | Status: new Priority:

Re: [GHC] #5657: section suggestion adds backticks to operators

2011-12-16 Thread GHC
#5657: section suggestion adds backticks to operators -+-- Reporter: tinctorius| Owner: simonmar Type: bug | Status: new Priority: high |

Re: [GHC] #5108: Allow unicode sub/superscript symbols in both identifiers and operators

2011-12-16 Thread GHC
#5108: Allow unicode sub/superscript symbols in both identifiers and operators ---+ Reporter: mikhail.vorozhtsov | Owner: Type: feature request | Status: patch

Re: [GHC] #5612: panic, impossible happened, Exotic form of kind

2011-12-16 Thread GHC
#5612: panic, impossible happened, Exotic form of kind ---+ Reporter: guest | Owner: dreixel Type: bug | Status: new Priority: normal

Re: [GHC] #5612: panic, impossible happened, Exotic form of kind

2011-12-16 Thread GHC
#5612: panic, impossible happened, Exotic form of kind ---+ Reporter: guest | Owner: dreixel Type: bug | Status: new Priority: normal

Re: [GHC] #5612: panic, impossible happened, Exotic form of kind

2011-12-16 Thread GHC
#5612: panic, impossible happened, Exotic form of kind ---+ Reporter: guest | Owner: dreixel Type: bug | Status: new Priority: normal

Re: [GHC] #5612: panic, impossible happened, Exotic form of kind

2011-12-16 Thread GHC
#5612: panic, impossible happened, Exotic form of kind ---+ Reporter: guest | Owner: dreixel Type: bug | Status: new Priority: normal

Re: [GHC] #5706: building ghc from source tarball requires alex?

2011-12-16 Thread GHC
#5706: building ghc from source tarball requires alex? -+-- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5705: getGCStats only works with +RTS -s

2011-12-16 Thread GHC
#5705: getGCStats only works with +RTS -s ---+ Reporter: tibbe | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

2011-12-16 Thread GHC
#5707: internal error: Invalid object in processHeapClosureForDead(): 0 ---+ Reporter: brinchj | Owner: Type: bug | Status: infoneeded

Re: [GHC] #5708: Qualified name in binding position

2011-12-16 Thread GHC
#5708: Qualified name in binding position ---+ Reporter: fryguybob | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #5709: ghc-7.2 cannot find libraries in non-standard locations

2011-12-16 Thread GHC
#5709: ghc-7.2 cannot find libraries in non-standard locations ---+ Reporter: kosmikus | Owner: Type: bug | Status: closed Priority: normal

[GHC] #5710: Profiling looks broken on Windows

2011-12-16 Thread GHC
#5710: Profiling looks broken on Windows -+-- Reporter: simonmar | Owner: Type: bug | Status: new Priority: highest | Milestone:

[GHC] #5711: ghci asked me to report this

2011-12-16 Thread GHC
#5711: ghci asked me to report this --+- Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Component: GHCi

Re: [GHC] #4364: Template Haskell: Cycle in type synonym declarations

2011-12-16 Thread GHC
#4364: Template Haskell: Cycle in type synonym declarations +--- Reporter: igloo| Owner: simonpj Type: bug | Status: new Priority:

Re: [GHC] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

2011-12-16 Thread GHC
#5707: internal error: Invalid object in processHeapClosureForDead(): 0 ---+ Reporter: brinchj | Owner: Type: bug | Status: infoneeded

Re: [GHC] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

2011-12-16 Thread GHC
#5707: internal error: Invalid object in processHeapClosureForDead(): 0 ---+ Reporter: brinchj | Owner: Type: bug | Status: infoneeded

Re: [GHC] #4372: Extending quasiquotation support

2011-12-16 Thread GHC
#4372: Extending quasiquotation support -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #2041: Allow splicing in concrete syntax

2011-12-16 Thread GHC
#2041: Allow splicing in concrete syntax -+-- Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal| Milestone:

Re: [GHC] #5671: ghc-7.2 vector code segfaults

2011-12-16 Thread GHC
#5671: ghc-7.2 vector code segfaults ---+ Reporter: kosmikus|Owner: Type: bug | Status: closed Priority: normal |Component: Compiler

Re: [GHC] #5612: Better support for kinds in Template Haskell (was: panic, impossible happened, Exotic form of kind)

2011-12-16 Thread GHC
#5612: Better support for kinds in Template Haskell ---+ Reporter: guest | Owner: dreixel Type: feature request | Status: new Priority:

Re: [GHC] #1476: Template Haskell: splicing types and patterns

2011-12-16 Thread GHC
#1476: Template Haskell: splicing types and patterns -+-- Reporter: igloo | Owner: Type: bug | Status: new Priority: low |

Re: [GHC] #5706: building ghc from source tarball requires alex?

2011-12-16 Thread GHC
#5706: building ghc from source tarball requires alex? -+-- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: high

Re: [GHC] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

2011-12-16 Thread GHC
#5707: internal error: Invalid object in processHeapClosureForDead(): 0 ---+ Reporter: brinchj | Owner: Type: bug | Status: infoneeded

Re: [GHC] #5705: getGCStats only works with +RTS -s

2011-12-16 Thread GHC
#5705: getGCStats only works with +RTS -s ---+ Reporter: tibbe | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #5705: getGCStats only works with +RTS -s

2011-12-16 Thread GHC
#5705: getGCStats only works with +RTS -s ---+ Reporter: tibbe | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #5705: getGCStats only works with +RTS -s

2011-12-16 Thread GHC
#5705: getGCStats only works with +RTS -s ---+ Reporter: tibbe | Owner: Type: bug | Status: closed Priority: normal|

Re: [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
Hi, As mentioned in the committee's annual report (http://haskellorg.wordpress.com/2011/10/26/first-year-report/), our attempt to join SFC has stalled because they don't have the capacity to accept new projects at the moment. We therefore applied to join SPI (http://www.spi-inc.org/), and they

Re: [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
BTW as with the Don's original message about incorporating, I distributed this widely to increase awareness, but please restrict any feedback to haskell-cafe@ and committee@. Sorry for the noise! Ganesh On 16/12/2011 09:08, Ganesh Sittampalam wrote: Hi, As mentioned in the committee's

Re: [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
Hi, As mentioned in the committee's annual report (http://haskellorg.wordpress.com/2011/10/26/first-year-report/), our attempt to join SFC has stalled because they don't have the capacity to accept new projects at the moment. We therefore applied to join SPI (http://www.spi-inc.org/), and they

Re: [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
BTW as with the Don's original message about incorporating, I distributed this widely to increase awareness, but please restrict any feedback to haskell-cafe@ and committee@. Sorry for the noise! Ganesh On 16/12/2011 09:08, Ganesh Sittampalam wrote: Hi, As mentioned in the committee's

Re: [Haskell-cafe] smt solver bindings

2011-12-16 Thread Levent Erkok
Dimitrios: The SBV library (http://hackage.haskell.org/package/sbv) can indeed use Z3 as a backend SBV solver. However, it uses Z3 via SMT-Lib2, not via it's C-API. It aims to provide a much higher level interface, integrating with Haskell as smoothly as possible, keeping the SMT-solver

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
Hi, As mentioned in the committee's annual report (http://haskellorg.wordpress.com/2011/10/26/first-year-report/), our attempt to join SFC has stalled because they don't have the capacity to accept new projects at the moment. We therefore applied to join SPI (http://www.spi-inc.org/), and they

Re: [Haskell-cafe] Parallel Matrix Multiplication

2011-12-16 Thread Eric Kow
Hi Mukesh, Great to hear you're trying parallel Haskell! I can't yet help debug your parallel performance, but maybe I can offer something for your last request. Have you tried the Parallel Haskell portal? http://www.haskell.org/haskellwiki/Parallel You will find some links mainly aimed at

Re: [Haskell-cafe] SMP parallelism increasing GC time dramatically

2011-12-16 Thread Mikolaj Konarski
On Mon, Oct 10, 2011 at 15:55, Tom Thorne thomas.thorn...@gmail.com wrote: Yes I will try to run threadscope on it, I tried it before and the event log output produced about 1.8GB, and then crashed. Hi Tom, I'm one of the TS/ghc-events hackers and I'd like to learn more, fix it or at least

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
BTW as with the Don's original message about incorporating, I distributed this widely to increase awareness, but please restrict any feedback to haskell-cafe@ and committee@. Sorry for the noise! Ganesh On 16/12/2011 09:08, Ganesh Sittampalam wrote: Hi, As mentioned in the committee's

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

2011-12-16 Thread Ian-Woo Kim
Hi, all, I just uploaded hxournal-0.5.1 which is implemented with .hxournal config file, Use X Input menu enabled, and a fix for compilation problem of gdkconfig.h by Custom build during cabal configure using pkg-config --cflags gtk+-2.0 Please try the new version by cabal update cabal install

Re: [Haskell-cafe] SMP parallelism increasing GC time dramatically

2011-12-16 Thread Tom Thorne
Hi, I can't remember if it was threadscope that crashed or the RTS, since I was also having segfaults in the RTS because of this bug, that is fixed in 7.2.2: http://hackage.haskell.org/trac/ghc/ticket/5552 I successfully used threadscope by running my code for fewer iterations to produce a

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Giovanni Tirloni
On Fri, Dec 16, 2011 at 7:08 AM, Ganesh Sittampalam gan...@earth.li wrote: Q: If an umbrella non-profit organisation The Haskell Foundation was created, would haskell.org be able to join it? A: Yes. It's likely that in such a scenario, the Haskell Foundation would become the owner

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
On 16/12/2011 10:59, Giovanni Tirloni wrote: On Fri, Dec 16, 2011 at 7:08 AM, Ganesh Sittampalam gan...@earth.li mailto:gan...@earth.li wrote: Q: If an umbrella non-profit organisation The Haskell Foundation was created, would haskell.org http://haskell.org be able to join

Re: [Haskell-cafe] DB vs read/show for persisting large data

2011-12-16 Thread C K Kashyap
Thank you so much .. I am going to try out acid-state. I've been shying away from template-haskell ... but from the looks of it, acid-state/safecopy can do what I am looking for. Regards, Kashyap On Thu, Dec 15, 2011 at 12:13 AM, Bas van Dijk v.dijk@gmail.com wrote: On 14 December 2011

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

2011-12-16 Thread Ivan Perez
Thanks :) It's working now. I tried it with XInput and without it. Lines seem smoother when XInput is activated. On 16 December 2011 11:33, Ian-Woo Kim ianwoo...@gmail.com wrote: Hi, all, I just uploaded hxournal-0.5.1 which is implemented with .hxournal config file, Use X Input menu

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Thomas Schilling
On 16 December 2011 11:10, Ganesh Sittampalam gan...@earth.li wrote: On 16/12/2011 10:59, Giovanni Tirloni wrote: On Fri, Dec 16, 2011 at 7:08 AM, Ganesh Sittampalam gan...@earth.li mailto:gan...@earth.li wrote:     Q: If an umbrella non-profit organisation The Haskell Foundation was      

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Ganesh Sittampalam
On 16/12/2011 13:21, Thomas Schilling wrote: On 16 December 2011 11:10, Ganesh Sittampalam gan...@earth.li wrote: On 16/12/2011 10:59, Giovanni Tirloni wrote: Would it be a too ambitious goal to create the Haskell Foundation at this moment? It would be a lot of administrative effort -

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Thomas Schilling
On 16 December 2011 13:36, Ganesh Sittampalam gan...@earth.li wrote: Would a donation to haskell.org include a fee to SPI?  I couldn't find any information on their website. Yes - 5% goes to SPI to cover their overheads. It's detailed in

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Bas van Dijk
On 16 December 2011 05:26, Brent Yorgey byor...@seas.upenn.edu wrote: I, for one, would be quite in favor of changing the current Monoid (Maybe a) instance to correspond to the failure-and-prioritized-choice semantics So lets do this. Some questions: 1) What about the First type? Do we {-#

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Bas van Dijk
Attached is a git patch for base which makes the proposed changes. From 824bdca994b3fcceff21fcb68e1b18f1d4f03bd5 Mon Sep 17 00:00:00 2001 From: Bas van Dijk v.dijk@gmail.com Date: Fri, 16 Dec 2011 15:16:14 +0100 Subject: [PATCH] Give the Maybe Monoid the expected

[Haskell-cafe] Dutch national FP day, January 6, Utrecht

2011-12-16 Thread S D Swierstra
On http://www.cs.uu.nl/wiki/bin/view/FPDag2012/WebHome you will find the program and registration information about the next Dutch National Functional Programming day, on January 6, Utrecht University. Please forward this mail to anyone interested. Any questions can be directed to me.

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Yves Parès
1) What about the First type? Do we {-# DEPRECATE #-} it? Personnaly, I'm in favor of following the same logic than Int: Int itself is *not *a monoid. You have to be specific: it's either Sum or Mult. It should be the same for Maybe: we remove its instance of Monoid, and we only use First and

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Yves Parès
Sorry, I meant Sum and Product for the monoid equivalents of a Num instance. 2011/12/16 Yves Parès limestr...@gmail.com 1) What about the First type? Do we {-# DEPRECATE #-} it? Personnaly, I'm in favor of following the same logic than Int: Int itself is *not *a monoid. You have to be

[Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Michael Litchard
I'm learning what it means to be a professional Haskell programmer, and contemplating taking on side jobs. The path of least resistance seems to be web applications, as that is what I do at work. I've been investigating what some web developers have to say about their trade. One article addresses

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Colin Adams
I would think there were plenty of Haskell programmers ready to jump in as replacements. On 16 December 2011 15:37, Michael Litchard mich...@schmong.org wrote: I'm learning what it means to be a professional Haskell programmer, and contemplating taking on side jobs. The path of least

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Michael Litchard
Yes! I could cite the large and growing set of libraries on hackage as evidence. On Fri, Dec 16, 2011 at 7:40 AM, Colin Adams colinpaulad...@gmail.com wrote: I would think there were plenty of Haskell programmers ready to jump in as replacements. On 16 December 2011 15:37, Michael Litchard

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Marc Weber
What about just replying with this one link: http://www.haskellers.com/ As thumb of rule it takes half the time to review code compared to writing it (Don't remember where I read it ..). Thus even RoR can be a lock in and delay updates if stuff changes. The only chance is creating a team and

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Ketil Malde
Michael Litchard mich...@schmong.org writes: One article addresses the question above. His answer was that he uses RoR which has a large community and he is therefore easily replaceable. My question, for freelancers in general, and web developers in particular is this: How do you address this

Re: [Haskell-cafe] Dutch national FP day, January 6, Utrecht

2011-12-16 Thread Mathijs Kwik
Ik wil me graag inschrijven, inc dinner. Groeten, Mathijs On Fri, Dec 16, 2011 at 3:31 PM, S D Swierstra doai...@swierstra.net wrote: On http://www.cs.uu.nl/wiki/bin/view/FPDag2012/WebHome you will find the program and registration  information about the next Dutch National Functional

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Brian Hurt
I think the truck-factor implications of the programming language as dwarfed by the implications of everything else in the project. Any project of any significant size is going to have a huge amount of project-specific information tucked up inside the programmers head. It doesn't matter if there

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Steve Schafer
On Fri, 16 Dec 2011 11:17:20 -0500, Brian Hurt bh...@spnz.org wrote: I think the truck-factor implications of the programming language as dwarfed by the implications of everything else in the project. Any project of any significant size is going to have a huge amount of project-specific

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Ivan Perez
Just like Michael, I've been learning what it means to be a professional Haskell programmer for a few months. I think the case of Ruby on Rails and Haskell are very, very, very different. Ruby on Rails has been around for many years. There are books, tutorials, examples, websites, etc. Still,

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-16 Thread Niklas Broberg
On Thu, Dec 15, 2011 at 5:33 PM, Sean Leather leat...@cs.uu.nl wrote: On Thu, Dec 15, 2011 at 11:07, Niklas Broberg wrote: Envisioned: The function you ask for can definitely be written for haskell-src-exts, which I know you are currently using. I just need to complete my type checker for

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-16 Thread Niklas Broberg
On Thu, Dec 15, 2011 at 6:24 PM, Thomas Schilling nomin...@googlemail.comwrote: What exactly are the hopes for such a type checker? I can understand it being interesting as a research project, but as a realistic tools there are two huge issues: 1. It's going to take a LOT of time to reach

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Yves Parès
Tell them that if you were instead on Rails, you'd have a huge chance of being hit by a train, which is likely to deal far more damage than a bus. 2011/12/16 Michael Litchard mich...@schmong.org I'm learning what it means to be a professional Haskell programmer, and contemplating taking on

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Bardur Arantsson
Michael Litchard wrote: [--snip--] If getting hit by a bus is a significant factor in the overall outcome of the project then I think those are pretty good odds, aren't they? (I do realize that traffic accidents are a lot more frequent than we like to think, but still...) -- Bárður

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Andrew Coppin
On 16/12/2011 07:05 PM, Bardur Arantsson wrote: Michael Litchard wrote: [--snip--] If getting hit by a bus is a significant factor in the overall outcome of the project then I think those are pretty good odds, aren't they? (I do realize that traffic accidents are a lot more frequent than we

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Brian Hurt
On Fri, Dec 16, 2011 at 3:51 PM, Andrew Coppin andrewcop...@btinternet.comwrote: On 16/12/2011 07:05 PM, Bardur Arantsson wrote: Michael Litchard wrote: [--snip--] If getting hit by a bus is a significant factor in the overall outcome of the project then I think those are pretty good

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Bardur Arantsson
Andrew Coppin wrote: On 16/12/2011 07:05 PM, Bardur Arantsson wrote: Michael Litchard wrote: [--snip--] If getting hit by a bus is a significant factor in the overall outcome of the project then I think those are pretty good odds, aren't they? (I do realize that traffic accidents are a

[Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-16 Thread KC
... with the same functionality. Thus, your program would be a moving target to hackers. Would this be challenging with ghc? -- -- Regards, KC ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-16 Thread Chris Wong
On Sat, Dec 17, 2011 at 12:27 PM, KC kc1...@gmail.com wrote: ... with the same functionality. Thus, your program would be a moving target to hackers. Would this be challenging with ghc? Although it's possible, I doubt this would do anything. Most exploits are just programmer mistakes;

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-16 Thread Thomas Schilling
On 16 December 2011 17:44, Niklas Broberg niklas.brob...@gmail.com wrote: With all due respect, the sentiments you give voice to here are a large part of what drives me to do this project in the first place. Haskell is not GHC, and I think that the very dominant position of GHC many times leads

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-16 Thread Matthew Farkas-Dyck
On 15/12/2011, Gregory Crosswhite gcrosswh...@gmail.com wrote: 1) Documentation really needs to be improved 2) some/many cannot be physically separated from Alternative, but there *might* be an advantage to creating a subclass for them anyway purely for the sake of conveying more information

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Matthew Farkas-Dyck
On 15/12/2011, Conor McBride co...@strictlypositive.org wrote: On 15 Dec 2011, at 15:19, Brent Yorgey wrote: On Thu, Dec 15, 2011 at 06:49:13PM +1000, Gregory Crosswhite wrote: So at the end of the day... what is the point of even making Maybe and [] instances of Alternative? The

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 12:35 PM, Matthew Farkas-Dyck wrote: (1) If we do (4), then the documentation ought to be adequate as-is. I see your point that if we do (4) then some and many are no longer problematic for Maybe and [], and thus we don't need warnings for those types. However,

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 1:26 AM, Yves Parès wrote: 1) What about the First type? Do we {-# DEPRECATE #-} it? Personnaly, I'm in favor of following the same logic than Int: Int itself is not a monoid. You have to be specific: it's either Sum or Mult. It should be the same for Maybe: we remove

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 1:26 AM, Yves Parès wrote: 1) What about the First type? Do we {-# DEPRECATE #-} it? Personnaly, I'm in favor of following the same logic than Int: Int itself is not a monoid. You have to be specific: it's either Sum or Mult. It should be the same for Maybe: we remove

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 12:51 PM, Matthew Farkas-Dyck wrote: By my reason, the instance (Monoid a = Monoid (Maybe a)) is appropriate, since we have another class for inner-type-agnostic choice -- Alternative! (and MonadPlus, but that's essentially the same, and would be if (Functor m =

Re: [Haskell-cafe] Alternative versus Monoid

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 2:57 PM, Gregory Crosswhite wrote: +1 for this idea, because it follows the principle of least surprise. Sorry about the double-post! I was foolish enough not only to use unsafePerformIO to send my e-mail, but to forgot to mark the sending routine with NOINLINE pragma.

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-16 Thread Gregory Crosswhite
On Dec 17, 2011, at 9:58 AM, Thomas Schilling wrote: Wll... I've gotten a little bit of a different perspective on this since working at a company with very high code quality standards (at least for new code). There is practically no observable code review happening. I'm sure Dimitrios