On 1/17/13, David A. Wheeler <[email protected]> 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
[email protected]
https://lists.sourceforge.net/lists/listinfo/readable-discuss
