Hi David,<div><br></div><div>interesting paper (I used the direct address <a href="http://www.cse.unsw.edu.au/~davidt/downloads/ghc-llvm-hs10.pdf">http://www.cse.unsw.edu.au/~davidt/downloads/ghc-llvm-hs10.pdf</a> )</div><div>

<br></div><div>I like LLVM and enjoyed a lot playing with Concurrent Clean. </div><div>So, I hope developers of Concurrent Clean will be interested in merging of both things.</div><div><br clear="all">best regards<br>--<br>

Valery A.Khamenya<br>
<br><br><div class="gmail_quote">On Tue, Sep 14, 2010 at 3:44 PM, David Terei <span dir="ltr"><<a href="mailto:davidterei@gmail.com">davidterei@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Hi Valery<br>
<div class="im"><br>
On 13 September 2010 19:07, Valery Khamenya <<a href="mailto:khamenya@gmail.com">khamenya@gmail.com</a>> wrote:<br>
> are there any attempts to use LLVM in graph-rewriting (term-rewriting)<br>
> language implementations?<br>
<br>
</div>I've added a new LLVM backend to the ghc Haskell compiler.<br>
<div class="im"><br>
> How good is LLVM for this?<br>
<br>
</div>Works very well. I'm operating from the low levels of the ghc compiler<br>
though where I don't need to deal with the complexity of compiling a<br>
functional language. The input to my backend is an intermediate<br>
language called 'Cmm' that basically a lower level C like language.<br>
<br>
I've written a new paper about my experiences using LLVM with my<br>
supervisor, Manuel Chakravarty that I'll be presenting in a few weeks<br>
at the Haskell Symposium. You can grab it here:<br>
<a href="http://www.cse.unsw.edu.au/~davidt/papers.html" target="_blank">http://www.cse.unsw.edu.au/~davidt/papers.html</a><br>
<br>
Cheers,<br>
<font color="#888888">David<br>
</font></blockquote></div><br></div>