Re: [Scheme-reports] "unspecified values" Jim Rees (19 May 2011 18:51 UTC)
Re: [Scheme-reports] "unspecified values" Emmanuel Medernach (19 May 2011 19:50 UTC)
Re: [Scheme-reports] "unspecified values" Per Bothner (20 May 2011 07:42 UTC)
Re: [Scheme-reports] "unspecified values" John Cowan (20 May 2011 14:32 UTC)
Re: [Scheme-reports] "unspecified values" Andy Wingo (20 May 2011 15:19 UTC)
Re: [Scheme-reports] "unspecified values" John Cowan (20 May 2011 15:48 UTC)
Re: [Scheme-reports] "unspecified values" Andy Wingo (20 May 2011 16:02 UTC)
Re: [Scheme-reports] "unspecified values" Per Bothner (20 May 2011 16:02 UTC)
Re: [Scheme-reports] "unspecified values" Aaron W. Hsu (20 May 2011 16:35 UTC)
Re: [Scheme-reports] "unspecified values" Alex Shinn (20 May 2011 16:56 UTC)
Re: [Scheme-reports] "unspecified values" Jim Rees (20 May 2011 17:02 UTC)
Re: [Scheme-reports] "unspecified values" Andre van Tonder (20 May 2011 17:20 UTC)
Re: [Scheme-reports] "unspecified values" John Cowan (20 May 2011 20:03 UTC)
Re: [Scheme-reports] "unspecified values" Alaric Snell-Pym (23 May 2011 10:49 UTC)
Re: [Scheme-reports] "unspecified values" John Cowan (23 May 2011 15:50 UTC)
Re: [Scheme-reports] "unspecified values" Aaron W. Hsu (23 May 2011 22:50 UTC)
Re: [Scheme-reports] "unspecified values" Alaric Snell-Pym (23 May 2011 10:05 UTC)
Re: [Scheme-reports] "unspecified values" Andy Wingo (19 May 2011 21:42 UTC)

Re: [Scheme-reports] "unspecified values" Andy Wingo 19 May 2011 21:42 UTC

On Thu 19 May 2011 20:50, Jim Rees <jimreesma@gmail.com> writes:

>     (let ((x (if #f 'never))) <stuff that does not depend on x>)
>
> is legal Scheme code (based on the interpretation that initializers
> *must* return a single value, unspecified or not).

It is currently legal.  It runs on all systems that implement R5RS.  If
the the final Scheme 2011 came out tomorrow and it said that (if #f #f)
is "unspecified values" instead of "an unspecified value", then the
program still runs on those implementations.

However, it was never in good taste, not even now, before the new report
is out.

> I know nothing about the existing code that depends on this particular
> feature.   I would personally have preferred "any number", as it's
> handy for detecting buggy code.

Yeah, dunno.  But there are oodles of implementations out there.  If
someone needs this feature from their old program so badly, then they
can choose one of the vast majority of implementations that will
actually produce one single value.

MHO anyway :)

Andy
--
http://wingolog.org/

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