pushed updated library tests Felix Thibault (21 Aug 2020 22:28 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (22 Aug 2020 15:27 UTC)
Re: pushed updated library tests Felix Thibault (22 Aug 2020 16:23 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (25 Aug 2020 07:04 UTC)
Re: pushed updated library tests Alex Shinn (25 Aug 2020 07:20 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (25 Aug 2020 07:40 UTC)
Re: pushed updated library tests Alex Shinn (25 Aug 2020 07:58 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (25 Aug 2020 08:13 UTC)
Re: pushed updated library tests Alex Shinn (27 Aug 2020 02:14 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (27 Aug 2020 07:35 UTC)
Re: pushed updated library tests John Cowan (27 Aug 2020 17:43 UTC)
Re: pushed updated library tests Felix Thibault (27 Aug 2020 22:19 UTC)
Re: pushed updated library tests Arthur A. Gleckler (27 Aug 2020 23:23 UTC)
Re: pushed updated library tests Alex Shinn (28 Aug 2020 00:43 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (28 Aug 2020 05:26 UTC)
Re: pushed updated library tests Alex Shinn (28 Aug 2020 05:35 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (28 Aug 2020 05:52 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (28 Aug 2020 13:47 UTC)
Re: pushed updated library tests Alex Shinn (28 Aug 2020 14:24 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (28 Aug 2020 15:03 UTC)
Re: pushed updated library tests Alex Shinn (31 Aug 2020 13:14 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (31 Aug 2020 14:44 UTC)
Re: pushed updated library tests Alex Shinn (31 Aug 2020 21:15 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (01 Sep 2020 06:52 UTC)
Re: pushed updated library tests Alex Shinn (01 Sep 2020 07:18 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (01 Sep 2020 07:24 UTC)
Re: pushed updated library tests Alex Shinn (01 Sep 2020 07:29 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (01 Sep 2020 07:47 UTC)
Re: pushed updated library tests Alex Shinn (02 Sep 2020 01:19 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (02 Sep 2020 07:02 UTC)
Re: pushed updated library tests Marc Nieper-Wißkirchen (31 Aug 2020 15:50 UTC)

Re: pushed updated library tests Marc Nieper-Wißkirchen 01 Sep 2020 07:23 UTC

Am Di., 1. Sept. 2020 um 09:18 Uhr schrieb Alex Shinn <xxxxxx@gmail.com>:
>
> On Tue, Sep 1, 2020 at 3:52 PM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:
>>
>> Am Mo., 31. Aug. 2020 um 23:15 Uhr schrieb Alex Shinn <xxxxxx@gmail.com>
>> >
>> > We can, because <literal> also has a precise definition in the formal syntax:
>> >
>> >   <literal> -> <quotation> | <self-evaluating>
>> >   <quotation> -> ’<datum> | (quote <datum>)
>>
>> No, you can't in any sensible way (see my detailed argument in the
>> previous post).
>>
>> Given the program
>>
>> (import (scheme base) (scheme write))
>> (define-syntax print
>>   (syntax-rules ()
>>     ((print a) (begin (write a) (newline)))))
>> (print "Hello, World!")
>>
>> by your reading, "Hello, World!" is not a literal because by following
>> the production rules without taking macro expansion into account, you
>> will never get to the production rule of <literal>. You will end up
>> with <macro use> and be stuck there.
>
>
> The restriction and the entirety of section 7.1 refer to the _lexical_ structure
> of the program, well before macro expansion.

So, "Hello, World!" is not a literal in my above program in sense of
your reading?