Re: Some guile-unify activities

2011-05-09 Thread Andy Wingo
On Mon 09 May 2011 20:35, Stefan Israelsson Tampe writes: > I looked in psyntax.scm, I should be able to add some extra fields to > the tree-il representation as you wish. I will have a try of it Just to warn you that I'm fairly opinionated about these things; your patch may or may not make it

Re: [PATCH 5/5] Reveal guile-tools's inner simplicity...

2011-05-09 Thread Neil Jerram
Neil Jerram writes: > ...by not using its own-rolled getopt, and moving the `list' function > to a separate script That one wasn't quite right, please refer to the attached instead. Neil >From c106e51707004fb1549add9d1db59c0b45bfed18 Mon Sep 17 00:00:00 2001 From: Neil Jerram Date: Su

Re: Some guile-unify activities

2011-05-09 Thread Stefan Israelsson Tampe
I looked in psyntax.scm, I should be able to add some extra fields to the tree-il representation as you wish. I will have a try of it >I think that what I'm primarily interested in is a way to annotate > tree-il with type information, which the compiler may use to generate > more efficient code.

Re: Some guile-unify activities

2011-05-09 Thread Andy Wingo
On Mon 09 May 2011 13:15, Stefan Israelsson Tampe writes: > Hmm, type annotations in typed racket is defined according to > > http://docs.racket-lang.org/ts-guide/more.html#%28part._.Type_.Annotation_and_.Binding_.Forms%29 > > Any objections against that scheme? ideas? I think that what I'm pri

Re: pull and recompile for speed

2011-05-09 Thread dsmich
dsm...@roadrunner.com wrote: > > Andy Wingo wrote: > > Hi, > > > > The VM and compiler got a little help this weekend. Pull and recompile > > your .go files and things should be faster. > > Sounds great! I'm getting a build failure however. :( > > $ git describe > v2.0.1-53-g5eb7

guile-syntax-parse

2011-05-09 Thread Stefan Israelsson Tampe
Hi, check out guile-syntax-parse at https://gitorious.org/guile-syntax-parse/guile-syntax-parse (You have to patch some ice-9 routines to make this work (syntax-expression and syntax-object? need to be in the environment - the files are included) So by writing #| Syntax parse examples |# (use-mo

Re: Some guile-unify activities

2011-05-09 Thread Stefan Israelsson Tampe
Hmm, type annotations in typed racket is defined according to http://docs.racket-lang.org/ts-guide/more.html#%28part._.Type_.Annotation_and_.Binding_.Forms%29 Any objections against that scheme? ideas? A suggestion would be to have a type item in tree-il that works like ( type expression) And a

Re: pull and recompile for speed

2011-05-09 Thread dsmich
Andy Wingo wrote: > Hi, > > The VM and compiler got a little help this weekend. Pull and recompile > your .go files and things should be faster. Sounds great! I'm getting a build failure however. :( $ git describe v2.0.1-53-g5eb75b5 Making all in module make[2]: Entering directory `/