Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case Richard Kelsey (28 Jun 2012 11:39 UTC)

Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case Richard Kelsey 28 Jun 2012 11:39 UTC

   Date: Wed, 27 Jun 2012 13:20:38 -0700
   From: Per Bothner <per@bothner.com>

   On 06/27/2012 01:05 PM, Richard Kelsey wrote:

   > Summary: #!fold-case and #!no-fold-case have no final delimiter
   > ...
   > I suggest that the #!... forms have an end as well as a beginning,
   > either
   >    #!...!
   > or
   >    #!...!#

   My suggestion:

   <lexical-directive> -->   #! <identifier>

   and then make the interpretation of <identifier>
   implementation-dependent, except for standard ones
   including #!fold-case and #!no-fold-case.

That is a better solution than either of the two I suggested.

                                            -Richard Kelsey

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports