bug#38236: R7RS reader does not support datum labels

2019-11-18 Thread Arne Babenhauserheide
Andy Wingo writes: >> I'm also a bit puzzled why you're apparently planning to rewrite >> everything I already did on the 'r7rs-wip' branch. The main issue on >> that branch is that the implementation of *writing* cyclic data turned >> out to be a mess, but it could be removed or replaced withou

bug#38236: R7RS reader does not support datum labels

2019-11-18 Thread Andy Wingo
Hey! On Mon 18 Nov 2019 16:10, Mark H Weaver writes: > Andy Wingo writes: > >> R7RS defines a lexical feature called "datum labels"; see section 2.4 in >> the report. An example would be: >> >>#0=(a b c . #0#) >> >> Guile's reader doesn't support this feature and it's not clear if we >> sh

bug#38236: R7RS reader does not support datum labels

2019-11-18 Thread Mark H Weaver
Hi Andy, Andy Wingo writes: > R7RS defines a lexical feature called "datum labels"; see section 2.4 in > the report. An example would be: > >#0=(a b c . #0#) > > Guile's reader doesn't support this feature and it's not clear if we > should, in general. FYI, I already implemented R7RS datum

bug#38236: R7RS reader does not support datum labels

2019-11-16 Thread John Cowan
I don't see where the incompatibility comes in, although more lookahead would be required. Per the Guile documentation, neither #n# nor #n= (where n is a sequence of digits) is a valid array tag. On Sat, Nov 16, 2019 at 3:50 PM Andy Wingo wrote: > R7RS defines a lexical feature called "datum la

bug#38236: R7RS reader does not support datum labels

2019-11-16 Thread Andy Wingo
R7RS defines a lexical feature called "datum labels"; see section 2.4 in the report. An example would be: #0=(a b c . #0#) Guile's reader doesn't support this feature and it's not clear if we should, in general. Note, datum literals appear to be incompatible with array literals. But we coul