Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Malcolm Wallace
On 29 Apr 2013, at 07:00, Niklas Hambüchen wrote: > I would like to propose the development of source code refactoring tool > that operates on Haskell source code ASTs and lets you formulate rewrite > rules written in Haskell. Seen this? http://www.haskell.org/haskellwiki/HaRe Regards, Mal

Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Roman Cheplyaka
* Niklas Hambüchen [2013-04-29 14:00:23+0800] > I would like to propose the development of source code refactoring tool > that operates on Haskell source code ASTs and lets you formulate rewrite > rules written in Haskell. Hi Niklas, This is a great idea. I talked about it at HIW last year[1] an

Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Niklas Hambüchen
Hello Malcolm, no, I had indeed not seen this! Thanks for the link. It goes very much in the direction I was thinking of, but it does not seem to maintained and does not cabal install either. It also seems very much focused on interactive editor integration as compared to written-out transformat

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-29 Thread Alexander Kjeldaas
I see the pluggable markup being pushed in this thread again. I just want to remind everybody that we currently have a flavor of a markup issue on github. The ghc source code uses literal haskell, and it does not work well on github. http://www.haskell.org/pipermail/ghc-devs/2013-April/001099.ht

Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Alexander Kjeldaas
There is another aspect to this: How do you get maintainers to apply the patches? How should hackage be changed to accomodate large-scale refactorings? There was a discussion on this mailing list related to build regressions on GHC 7.6 last year. All of the regressions could be fixed using perl

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-29 Thread Ivan Lazar Miljenovic
On 29 April 2013 18:16, Alexander Kjeldaas wrote: > I see the pluggable markup being pushed in this thread again. > > I just want to remind everybody that we currently have a flavor of a markup > issue on github. > > The ghc source code uses literal haskell, and it does not work well on > github.

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-29 Thread kudah
On Mon, 29 Apr 2013 18:04:47 +1200 "Richard A. O'Keefe" wrote: > so that there is no possibility of catching errors early; > by definition in that processor there are no errors. Haddock's markup isn't any better in that regard. I spent two hours on my first day with haddock figuring out that I n

Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Simon Hengel
Hi Niklas, I haven't read the whole proposal as I'm short of time. But Alan Zimmerman is doing a lot of work on integrating HaRe with the GHC API [1]. He is alanz on freenode and a regular in #hspec. I haven't looked at the code, but maybe it's of interest to you. Cheers, Simon [1] https://git

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-29 Thread David Virebayre
I've got ghc working here on a centos 5.5 machine. But without root privilege, I don't know how. Perhaps you can use a virtual machine with centos 5.5 (you'd have root access on this machine), install ghc on this machine, compile your programs there, then transfer that on the first computer ? 20

Re: [Haskell-cafe] partially applied data constructor and corresponding type

2013-04-29 Thread Richard Eisenberg
There's a lot of recent work on GHC that might be helpful to you. Is it possible for your application to use GHC 7.6.x? If so, you could so something like this: {-# LANGUAGE DataKinds, GADTs, KindSignatures #-} data Nat = Zero | Succ Nat type One = Succ Zero type Two = Succ One type Three = Su

[Haskell-cafe] Fwd: GSoC Push Notifications project - communicating with mobile devices

2013-04-29 Thread Marcos Pividori
Hi, I am a Computer Science student from Argentina. I am interested in working this summer in a project related to Haskell for the Google Summer of Code. I have been discussing my idea with Michael Snoyman in order to have a clearer idea. Now, I would like to know the community interest in this pr

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

2013-04-29 Thread Duncan Coutts
On Thu, 2013-04-25 at 00:52 +0200, Gábor Lehel wrote: > On Wed, Apr 24, 2013 at 7:56 PM, Bryan O'Sullivan wrote: > > > On Wed, Apr 24, 2013 at 10:47 AM, Duncan Coutts < > > duncan.cou...@googlemail.com> wrote: > > > >> I address it briefly in my thesis [1], Section 4.8.2. I think it's a > >> funda

Re: [Haskell-cafe] GSoC Push Notifications project - communicating with mobile devices

2013-04-29 Thread Kristopher Micinski
I'm not sure if I understand what you want to do.. Am I correct in thinking that you are looking to provide a Haskell API to interface with these push notification services, so that (e.g.,) a Yesod app could send push notifications to a mobile device? I have a good amount of experience working wi

Re: [Haskell-cafe] Fwd: Google Summer of Code, news

2013-04-29 Thread Kristopher Micinski
I second that advice! I can technically read Spanish, but I find the complexity of the language barrier compounded with trying to understand the code becomes more confusing than I'd prefer :-). Kris On Sun, Apr 28, 2013 at 2:19 PM, Mateusz Kowalczyk wrote: > -BEGIN PGP SIGNED MESSAGE-

Re: [Haskell-cafe] Fwd: Google Summer of Code, news

2013-04-29 Thread Michael Snoyman
I'll throw in that Marcos mentioned this very issue to me about his code before showing it to me. It was written the way it was for the requirements of his course. He volunteered to translate the comments for me, but I told him it wasn't necessary in order to get an initial feel for the code (I als

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

2013-04-29 Thread Gábor Lehel
On Mon, Apr 29, 2013 at 4:05 PM, Duncan Coutts wrote: > On Thu, 2013-04-25 at 00:52 +0200, Gábor Lehel wrote: > > On Wed, Apr 24, 2013 at 7:56 PM, Bryan O'Sullivan >wrote: > > > > > On Wed, Apr 24, 2013 at 10:47 AM, Duncan Coutts < > > > duncan.cou...@googlemail.com> wrote: > > > > > >> I addres

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

2013-04-29 Thread Duncan Coutts
On Mon, 2013-04-29 at 20:19 +0200, Gábor Lehel wrote: > Thanks for the explanation. I looked at your thesis previously, but only > read through a couple of sections (including the one about concatMap). I > might go through the state machine parts as well now that I know the > significance/relevanc

Re: [Haskell-cafe] Stream fusion and span/break/group/init/tails

2013-04-29 Thread Dan Doel
On Mon, Apr 29, 2013 at 10:05 AM, Duncan Coutts < duncan.cou...@googlemail.com> wrote: > On Thu, 2013-04-25 at 00:52 +0200, Gábor Lehel wrote: > > On Wed, Apr 24, 2013 at 7:56 PM, Bryan O'Sullivan >wrote: > > > > > On Wed, Apr 24, 2013 at 10:47 AM, Duncan Coutts < > > > duncan.cou...@googlemail.c

Re: [Haskell-cafe] GSoC proposal: Haskell AST-based refactoring and API upgrading tool

2013-04-29 Thread Davorak
The latest updates on HaRe with GHC API project seem to be posted on the google+ community page: https://plus.google.com/communities/116266567145785623821 On Monday, April 29, 2013 5:09:56 AM UTC-5, Simon Hengel wrote: > > Hi Niklas, > I haven't read the whole proposal as I'm short of time. Bu

Re: [Haskell-cafe] partially applied data constructor and corresponding type

2013-04-29 Thread TP
Thanks a lot for your message. I can use a recent version of GHC 7.6.x (I will install the last version of Kubuntu for that purpose). However, it will take me some time to understand correctly this code (e.g. I do not know "data kinds"), I will go back to you if I encounter difficulties. Thanks,

Re: [Haskell-cafe] GSoC Push Notifications project - communicating with mobile devices

2013-04-29 Thread Kristopher Micinski
On Mon, Apr 29, 2013 at 4:46 PM, Marcos Pividori wrote: > Hi, thanks for your response! this really help me. > > * About the code in Spanish: I will replace it for an English version in the > next weeks. As Michael said, I had to write it in Spanish because it was a > project for my university. So

[Haskell-cafe] Fwd: [darcs-users] Google Summer of Code

2013-04-29 Thread Guillaume Hoffmann
-- Forwarded message -- From: Ganesh Sittampalam Date: 2013/4/25 Subject: [darcs-users] Google Summer of Code To: darcs-users Hi, darcs.net will participating in Google Summer of Code this year, under the umbrella of haskell.org - Google will be allocating 1 or 2 extra slots sp

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-29 Thread Richard A. O'Keefe
On 29/04/2013, at 10:04 PM, kudah wrote: > On Mon, 29 Apr 2013 18:04:47 +1200 "Richard A. O'Keefe" > wrote: > >> so that there is no possibility of catching errors early; >> by definition in that processor there are no errors. > > Haddock's markup isn't any better in that regard. Did I praise

[Haskell-cafe] ghc-7 -fPIC error

2013-04-29 Thread Christopher Howard
Hey guys, this probably isn't the official GHC mailing list, but I've been trying to build and install a new GHC on an old RHEL5 system, as mentioned in my previous Cafe thread. I was able to make some good headway: I installed a ghc-6.8 binary, and then used that to build ghc-6.10 source, and then

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-29 Thread Conrad Parker
On 30 April 2013 09:28, Richard A. O'Keefe wrote: > > On 29/04/2013, at 10:04 PM, kudah wrote: > >> On Mon, 29 Apr 2013 18:04:47 +1200 "Richard A. O'Keefe" >> wrote: >> >>> so that there is no possibility of catching errors early; >>> by definition in that processor there are no errors. >> >> Had