[plt-dev] new language dialog, iii

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Jan 30 20:25:22 EST 2010



On Sat, Jan 30, 2010 at 6:58 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> At Sat, 30 Jan 2010 18:28:48 -0500, Eli Barzilay wrote:
>> In any case, perhaps it's
>> best to have some "skip whitespace and comments" function from
>> mzscheme to deal with this situation.  Matthew: is this difficult to
>> get?
> It's awkward. How about having `read-language' (or a variant?) somehow
> report where the specification after `#lang' or `#!' started?
> Currently, `read-language' implicitly reports the end of the
> specification by leaving the port position there; if it seems useful,
> we could make that more explicit at the same time.
> At Sat, 30 Jan 2010 19:15:31 -0500, Eli Barzilay wrote:
>> (Now that I went through that whole story, I think that I've convinced
>> myself that using the complete set of sexpr comments is the right
>> thing.  Even "#;"...)
> That's where I always end up, too. A somewhat more restrictive syntax
> would work, but it wouldn't be especially simple. It's easiest to just
> use the syntax that we already have, even if it's a bit Scheme-centric.

Posted on the dev mailing list.