Re: STG to JavaScript translation

2007-09-17 Thread Philippa Cowderoy
On Mon, 17 Sep 2007, Neil Mitchell wrote: > Hi > > > case e of b { pati -> rhsi } > > > > * evaluates 'e', > > * binds the resulting value to 'b', > > * performs case analysis on the result to find which alternative to choose > > * binds the variables of the pattern to the components of the value

Re: compiling on solaris 9

2007-09-17 Thread Sven Panne
On Monday 17 September 2007 18:14, skaller wrote: > [...] The algorithm I presented (crudely) goes further. > What you're doing is enough for a language that doesn't have to > bind to C and/or C++. [...] I think this is an exaggeration, we do bind to C and do this quite successfully. As long as C

Re: STG to JavaScript translation

2007-09-17 Thread Neil Mitchell
Hi > case e of b { pati -> rhsi } > > * evaluates 'e', > * binds the resulting value to 'b', > * performs case analysis on the result to find which alternative to choose > * binds the variables of the pattern to the components of the value The Yhc.Core translator converts this to: let b = e in c

Re: compiling on solaris 9

2007-09-17 Thread skaller
On Mon, 2007-09-17 at 13:03 +0100, Simon Marlow wrote: > skaller wrote: > > 1. Measure the size (and alignment, while at it) of all the > > integer types. (trial execute and run). > > We already do this. Incedentally, the GHC RTS does provide a full > complement of explicitly-sized types: Stg{I

RE: STG to JavaScript translation

2007-09-17 Thread Simon Peyton-Jones
case e of b { pati -> rhsi } * evaluates 'e', * binds the resulting value to 'b', * performs case analysis on the result to find which alternative to choose * binds the variables of the pattern to the components of the value This is described in the GHC commentary: http://hackage.haskell.org/tra

RE: [Haskell] Blocked STM & GC question

2007-09-17 Thread Simon Peyton-Jones
[Redirecting to GHC Users which is the right place for questions about GHC.] Yes, the garbage collector will (well, certainly should) find and kill such threads. By "kill" I mean that they get sent an asynchronous exception of some kind (I hope the documentation says which) so that the thread h

Re: STG to JavaScript translation

2007-09-17 Thread Simon Marlow
Victor Nazarov wrote: Hello. I'm working on the translation of GHC's STG language to JavaScript. I've started my implementation, but I've got stuck with the STG case statements. The problem is the binder in case expression. StgCase expr livevars liverhsvars bndr srt alttype alts Operationally,

Re: Another compilation problem

2007-09-17 Thread Simon Marlow
David Schonberger wrote: Another newbie question. To recap, running 6.6.1 on Vista. Fixed the other problem--lexical error, apparently a BOM added by Notepad--by getting Xemacs. Now when I type 'ghc -o hello hello.hs' at the prompt I get /gcc: installation problem, cannot exec 'as': no such fil

Re: compiling on solaris 9

2007-09-17 Thread Simon Marlow
skaller wrote: On Sat, 2007-09-15 at 11:09 +0200, Sven Panne wrote: On Friday 14 September 2007 16:33, Robert Andersson wrote: stdint.h seems to be unavailable on solaris 9. Looking at the rts/posix/OSMem.c file we find /* no C99 header stdint.h on OpenBSD? */ #if defined(openbsd_HOST_OS)

Re: STG to JavaScript translation

2007-09-17 Thread Neil Mitchell
Hi Are you aware that Dimitry is still working on ycr2js - and has made great progress. There are details available in The Monad Reader, issue 7 (http://www.haskell.org/haskellwiki/The_Monad.Reader) Thanks Neil On 9/17/07, Victor Nazarov <[EMAIL PROTECTED]> wrote: > Hello. > I'm working on the

STG to JavaScript translation

2007-09-17 Thread Victor Nazarov
Hello. I'm working on the translation of GHC's STG language to JavaScript. I've started my implementation, but I've got stuck with the STG case statements. The problem is the binder in case expression. StgCase expr livevars liverhsvars bndr srt alttype alts Operationally, I need to save continuat