[plt-dev] new language dialog, iii

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sat Jan 30 19:58:05 EST 2010

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.