Re: Using the GHC API to write an interpreter

2016-06-26 Thread Edward Z. Yang
I am not sure I entirely understand your proposal, but a good way of finding out if it works is giving it a try. Excerpts from Christopher Done's message of 2016-06-26 06:28:55 -0400: > I've been pondering how feasible it would be to: > > * Compile in stages a module with the byte code linker > *

Using the GHC API to write an interpreter

2016-06-26 Thread Christopher Done
I've been pondering how feasible it would be to: * Compile in stages a module with the byte code linker * Keep hold of the Core source * Interpret the Core AST within Haskell * When encountering built-in/primitives (or things from other libraries), we compile that Core term and link it as an HValu

Re: CMM-to-ASM: Register allocation wierdness

2016-06-26 Thread Ben Gamari
Harendra Kumar writes: > On 19 June 2016 at 14:03, Ben Gamari wrote: > >> >> Indeed it would be great if you could provide the program that produced >> this code. >> >> >> It would be great to open Trac tickets to track some of the optimization > > > Ok, I created an account on ghc trac and rais

Re: T8761 failing for ext-interp

2016-06-26 Thread Erik de Castro Lopo
Simon Marlow wrote: > Is it just perf-llvm? It seems to be. I build quite a large number of configurations in my Jenkins instance. All of the configurations other than perf-llvm built fine. > Does validate fail? I actually haven't tried validate directly because my build configrations explici

Re: T8761 failing for ext-interp

2016-06-26 Thread Simon Marlow
Is it just perf-llvm? Does validate fail? What platform is this? On 26 June 2016 at 07:29, Erik de Castro Lopo wrote: > Erik de Castro Lopo wrote: > > > > Erik, could it be the same symptom as Edward is seeing here? > > > https://ghc.haskell.org/trac/ghc/ticket/12230 > > > > Yes it is. > > Jus