On 1/17/13, David A. Wheeler <dwhee...@dwheeler.com> wrote: > Alan Manuel Gloria: >> So given the above semantics, we can define an R6RS library as so: >> >> <* >> library \\ amkg animals $ 1 0 >> export >> cat >> rename $ rover dog >> import >> only >> amkg pets $ 1 0 >> rover >> >> define cat 'meow >> >> *> > > I just ran your same through my ANTLR processor, which now implements the > "sequence of i_expr" semantics. I still need to examine the draft action > rules more carefully, but even so, it came up with this: > > (library > ((amkg animals) (1 0)) > (export cat (rename (rover dog))) > (import (only ((amkg pets) (1 0)) rover)) > (define cat (quote meow))) > > That certainly seems like a plausible interpretation of the example. Do you > agree?
Whoa whoa whoa - there seems to be problems with SUBLIST and SPLICE! amkg animals $ 1 0 ==> (amkg animals (1 0)) remember: define foo(x) $ cond { x = 0 } $ bar() else $ core-foo x ==> (define (foo x) (cond ((= x 0) (bar)) (else (core-foo x)))) So the ((amkg animals) (1 0)) looks wrong here. In fact: library \\ amkg animals $ 1 0 ...should be equivalent to: library amkg animals $ 1 0 ...should be equivalent to: library amkg animals 1 0 ...And then: library (amkg animals (1 0)) So something looks wrong.... Sincerely, AmkG ------------------------------------------------------------------------------ Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft MVPs and experts. ON SALE this month only -- learn more at: http://p.sf.net/sfu/learnmore_122712 _______________________________________________ Readable-discuss mailing list Readable-discuss@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/readable-discuss