Associate type information to tree-il expansions

2011-05-14 Thread Stefan Israelsson Tampe
Hi, For the sake of discussion. I've tried to implement a let directive where we type the variable like (macroexpand '(let ((A : integer 1)) A)) $2 = # So we see how we specify a type of A as integer and that this information transfers to the tree-il representation. The model here is to add type

Re: [Guile-commits] GNU Guile branch, stable-2.0, updated. v2.0.1-40-g2252321

2011-05-14 Thread Andreas Rottmann
Andreas Rottmann writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Hi Andreas, >> >> Thanks for taking care of this, and thanks for the great doc too! >> >> "Andreas Rottmann" writes: >> >>> commit 2252321bb77fe83d98d5bcc9db1c76b914e9dd6a >>> Author: Andreas Rottmann >>> Date: Sat May 7 2

Re: redoing SCM representation in 2.2

2011-05-14 Thread Andy Wingo
Hi Mark, On Sat 14 May 2011 00:08, Mark H Weaver writes: > Andy Wingo writes: >> I'm looking at new SCM representation and tagging possibilities in 2.2. >> Read the whole mail please, as it's a little complicated. > > Unfortunately I don't have time to write a proper response right now, > but o