Poll: Have you heard of or used GHC External Core? - Haskell-Cafe - Haskell.org

newer
How to increase performance using...

Poll: Have you heard of or used GHC External Core?

older
xattr takeover

James Fisher

13 Feb 2012 13 Feb '12

3:08 p.m.

Hi all: I'm conducting a poll on Haskellers.com to assess the community importance of GHC External Core. Here's the link: http://www.haskellers.com/poll/7 Thanks, James Fisher

Attachments:

attachment.html (text/html — 310 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

James Fisher

13 Feb 13 Feb

3:31 p.m.

New subject: Poll: Have you heard of or used GHC External Core?

To clarify and expand, the motivation behind this poll is that in a ticket on the External Core feature of GHChttp://hackage.haskell.org/trac/ghc/ticket/5844, SPJ wrote: "I wonder who uses External Core?" I'm working on that ticket and an answer to that question would be useful. In particular, the poll results would be useful to assess the importance of maintenance of External Core. James On Mon, Feb 13, 2012 at 8:08 PM, James Fisher wrote:

Hi all:

I'm conducting a poll on Haskellers.com to assess the community importance of GHC External Core. Here's the link: http://www.haskellers.com/poll/7

Thanks,

James Fisher

Reply

Sign in to reply online Use email software

Jason Dagit

4:01 p.m.

New subject: Poll: Have you heard of or used GHC External Core?

On Mon, Feb 13, 2012 at 12:08 PM, James Fisher wrote:

Hi all:

I'm conducting a poll on Haskellers.com to assess the community importance of GHC External Core. Here's the link: http://www.haskellers.com/poll/7

Is this the same or different than what you get with the -fext-core command? Jason

Reply

Sign in to reply online Use email software

James Fisher

4:24 p.m.

New subject: Poll: Have you heard of or used GHC External Core?

On Mon, Feb 13, 2012 at 9:01 PM, Jason Dagit wrote:

Is this the same or different than what you get with the -fext-core command?

The very same.

Reply

Sign in to reply online Use email software

Jason Dagit

4:35 p.m.

New subject: Poll: Have you heard of or used GHC External Core?

On Mon, Feb 13, 2012 at 1:24 PM, James Fisher wrote:

On Mon, Feb 13, 2012 at 9:01 PM, Jason Dagit wrote:

...
Is this the same or different than what you get with the -fext-core command?

The very same.

In that case, I'll fill out the survey, but let me explain how I've use it: I was part of a (currently dormant) effort to translate Haskell to Isabelle/HOLCF. We found it easiest to let GHC do much of the front end compilation so that we really only had to work with System Fc. That led us to using the output with -fext-core when translating to Isabelle. I would like to pick the project up again in the future (we lost our isabelle experts and need to find more). If ext-core was not available we could probably make due with ghc-api. Ideally we would be able to translate Haskell directly but there are even more technical challenges there and using ext-core seemed like a good intermediate step to prove that the idea could work. Jason

Reply

Sign in to reply online Use email software

Roman Cheplyaka

5:23 p.m.

* James Fisher [2012-02-13 21:24:26+0000]

On Mon, Feb 13, 2012 at 9:01 PM, Jason Dagit wrote:

...
Is this the same or different than what you get with the -fext-core command?

The very same.

Oh. I usually use -ddump-simpl. Are they different for the purpose of this poll? In that case I should change my vote. It's also worth then to clarify this in the poll description. -- Roman I. Cheplyaka :: http://ro-che.info/

Reply

Sign in to reply online Use email software

4847

Age (days ago)

4847

Last active (days ago)

Download

5 comments

3 participants

tags

participants (3)

James Fisher
Jason Dagit
Roman Cheplyaka