Re: [Haskell-cafe] Re: Compiler backend question

2008-01-08 Thread Derek Elkins
On Tue, 2008-01-08 at 11:33 +0100, Peter Verswyvelen wrote: > Jon Harrop wrote: > > On Monday 07 January 2008 20:27:17 Peter Verswyvelen wrote: > > > >> If your compiler (pretty amazing job btw) does whole program optimization, > >> can it remove the dictionary (aka v-table in C/C++ parlance?) o

Re: [Haskell-cafe] Re: Compiler backend question

2008-01-08 Thread Peter Verswyvelen
Jon Harrop wrote: On Monday 07 January 2008 20:27:17 Peter Verswyvelen wrote: If your compiler (pretty amazing job btw) does whole program optimization, can it remove the dictionary (aka v-table in C/C++ parlance?) overhead of type classes? Because if I understand it correctly, unless one use

Re: [Haskell-cafe] Re: Compiler backend question

2008-01-07 Thread Derek Elkins
On Mon, 2008-01-07 at 20:26 +, Jon Harrop wrote: > On Monday 07 January 2008 20:27:17 Peter Verswyvelen wrote: > > If your compiler (pretty amazing job btw) does whole program optimization, > > can it remove the dictionary (aka v-table in C/C++ parlance?) overhead of > > type classes? Because i

Re: [Haskell-cafe] Re: Compiler backend question

2008-01-07 Thread John Meacham
On Mon, Jan 07, 2008 at 09:27:17PM +0100, Peter Verswyvelen wrote: > If your compiler (pretty amazing job btw) does whole program > optimization, can it remove the dictionary (aka v-table in C/C++ > parlance?) overhead of type classes? Because if I understand it > correctly, unless one uses existen

Re: [Haskell-cafe] Re: Compiler backend question

2008-01-07 Thread Jon Harrop
On Monday 07 January 2008 20:27:17 Peter Verswyvelen wrote: > If your compiler (pretty amazing job btw) does whole program optimization, > can it remove the dictionary (aka v-table in C/C++ parlance?) overhead of > type classes? Because if I understand it correctly, unless one uses > existential ty

RE: [Haskell-cafe] Re: Compiler backend question

2008-01-07 Thread Peter Verswyvelen
John Meacham wrote: > I would like to move jhc to more of a 'link-time-code-generation' model > though if I understand what you mean, right now jhc does a full Yes, LTCG is Microsoft's terminology. See http://msdn.microsoft.com/msdnmag/issues/02/05/Hood > monolithic compilation which is pretty r

Re: [Haskell-cafe] Re: Compiler backend question

2008-01-07 Thread John Meacham
On Tue, Jan 01, 2008 at 06:44:46PM +0100, Achim Schneider wrote: > Peter Verswyvelen <[EMAIL PROTECTED]> wrote: > > > Another question regarding the backend: a cool feature of the > > Microsoft Visual C++ (MVC) compiler is its ability to perform "LTCG" > > (link-time-code-generation), performing

[Haskell-cafe] Re: Compiler backend question

2008-01-01 Thread Achim Schneider
Peter Verswyvelen <[EMAIL PROTECTED]> wrote: > Another question regarding the backend: a cool feature of the > Microsoft Visual C++ (MVC) compiler is its ability to perform "LTCG" > (link-time-code-generation), performing whole program optimization. > It something like this possible with Haskell