FW: GHC core plugins

2010-01-27 Thread Simon Peyton-Jones
-Original Message- From: Simon Peyton-Jones Sent: 28 January 2010 07:50 To: 'austin s' Subject: RE: GHC core plugins compiler/cmm/ZipDataFlow.hs But we have great ideas for making it much simpler and more modular. In progress.. S | -Original Message- | From: mad@gmail.c

Fw: Re: Re[2]: No more ExitException? <- documentation bug

2010-01-27 Thread Volker Wysk
The following message went to Bulat Ziganshin alone. So here it is for the mailing list. Sorry. Begin forwarded message: On Wed, 27 Jan 2010 12:43:13 +0300 Bulat Ziganshin wrote: > > exitWith throws the ExitCode when it is called. This leads to the > > shutdown of the program, if it isn't caug

bug in template haskell (with recursion?)

2010-01-27 Thread Jake Wheat
Hello All, I'm trying to write a splice to make HList type signatures a bit more concise, I don't know whether this is a good idea or not. I wrote a small function to do '[(Type,Type)] -> Q Type' for this, and got the following from GHC. Should I add this to the bug tracker? Details: THBug1.hs:

Re: GHC core plugins

2010-01-27 Thread austin s
On Wed, Jan 27, 2010 at 10:24 AM, austin s wrote: > 2010/1/27 Simon Peyton-Jones : >> | Also, is Hoopl expected to be used on core -> core plugins, and, if so, is >> | the >> | infrastructure in place for this? >> >> no, Hoopl works on imperative control flow graphs, the C-- part of the back >> e

RE: GHC core plugins

2010-01-27 Thread Simon Peyton-Jones
| Also, is Hoopl expected to be used on core -> core plugins, and, if so, is | the | infrastructure in place for this? no, Hoopl works on imperative control flow graphs, the C-- part of the back end, not on Core. Simon ___ Glasgow-haskell-users mailing

Re: GHC core plugins

2010-01-27 Thread Daniel Peebles
I hope it'll be possible :) I heard a general overview of the plugins infrastructure a few months ago and it sounded like what I'd need, but I was unable to find a very detailed account of how it works and what specific information is available to plugins, so maybe I'm just dreaming. 2010/1/27 Ty

Re: GHC core plugins

2010-01-27 Thread Tyson Whitehead
On January 27, 2010 05:44:00 José Pedro Magalhães wrote: > Alright, ticket created: http://hackage.haskell.org/trac/ghc/ticket/3843 > > In any case, for now I am willing to hard-code a new core-to-core pass on > the compiler. Any pointers for where I have to look at? Just wondering a couple of thi

GHC core plugins

2010-01-27 Thread Max Bolingbroke
2010/1/27 José Pedro Magalhães : > Alright, ticket created: http://hackage.haskell.org/trac/ghc/ticket/3843 > > In any case, for now I am willing to hard-code a new core-to-core pass on > the compiler. Any pointers for where I have to look at? I recommend you look at compiler/simplCore/CSE.lhs. It

Re: GHC core plugins

2010-01-27 Thread José Pedro Magalhães
Alright, ticket created: http://hackage.haskell.org/trac/ghc/ticket/3843 In any case, for now I am willing to hard-code a new core-to-core pass on the compiler. Any pointers for where I have to look at? Thanks, Pedro 2010/1/27 Simon Peyton-Jones > Yes, I apologise for being slow about this.

Re[2]: No more ExitException? <- documentation bug

2010-01-27 Thread Bulat Ziganshin
Hello Volker, Wednesday, January 27, 2010, 8:19:44 AM, you wrote: > exitWith throws the ExitCode when it is called. This leads to the > shutdown of the program, if it isn't caught. Just like ExitException. > This isn't documented. i've googled for "exitWith throws the ExitCode" and it pointed m