Re: Some guile-unify activities

[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.  However I think it's premature to bless a
particular encoding of that information in Scheme, or any particular
type system... basically it should be a field in the tree-il, I think,
and anything else can be built on top of that.

MHO anyway :)  But yes, there is a lot to learn from Racket about this.
They've done the most advanced work that I'm aware of.

Andy
--
http://wingolog.org/