Re: Tree-IL Questions

2011-11-17 Thread Noah Lavine
>> Then I have a new goal: understand that. :-) > > The deal is that macroexpansion produces tree-il.  The usual > macroexpander is provided by psyntax.  But before psyntax is loaded, > when the first bits of Scheme are seen, there is a boot expander written > in C that produces tree-il, with suppo

Re: Tree-IL Questions

2011-11-17 Thread Andy Wingo
On Thu 17 Nov 2011 18:44, Noah Lavine writes: >>> - On a related note, why do most of the Tree-IL record type not appear >>> in the define-type statement in tree-il.scm line 133, and is that >>> connected with the borrow-core-vtables macro that I don't understand >>> at all? :-) >> >> Yes. > > Th

Re: Tree-IL Questions

2011-11-17 Thread Noah Lavine
Hello, > Record-case parses slots by name, not by position. > Match destructures by position, not by name. Oh, interesting. >> - On a related note, why do most of the Tree-IL record type not appear >> in the define-type statement in tree-il.scm line 133, and is that >> connected with the bo

Re: Tree-IL Questions

2011-11-17 Thread Andy Wingo
On Thu 17 Nov 2011 00:46, Noah Lavine writes: > - It looks like every Tree-IL type has a src slot, correct? Yes > why doesn't the record-case at module/language/tree-il.scm line 271 > (unparse-tree-il) match those src slots? Record-case parses slots by name, not by position. > Especially sinc