specification by implications and example Matthias Felleisen (16 Jan 2000 14:49 UTC)
Re: specification by implications and example Per Bothner (16 Jan 2000 21:33 UTC)
Re: specification by implications and example Shriram Krishnamurthi (16 Jan 2000 23:28 UTC)
Re: specification by implications and example Per Bothner (17 Jan 2000 00:14 UTC)
Re: specification by implications and example Matthias Felleisen (17 Jan 2000 00:34 UTC)
Re: specification by implications and example Shriram Krishnamurthi (17 Jan 2000 00:52 UTC)
Re: specification by implications and example Per Bothner (17 Jan 2000 01:38 UTC)

Re: specification by implications and example Shriram Krishnamurthi 17 Jan 2000 00:52 UTC

Per Bothner wrote:

> >   (set! ((lambda (x) x) y) V)
>
> It is valid syntactically.  It expands to:
>         ((setter (lambda (x) x)) y V)
> But since (lambda (x) x) does not have a setter associated
> with it, you'd get a (run-time) error.

The SRFI says nothing whatsoever about errors of this sort.

> But this is allowed:
>
>         (set! ((if (random) car cdr) x) v)

But when Matthias asked whether the grammar was

  (set! exp exp)

you said "No - that would be ambiguous".  I took a guess as to what
that might mean, but you say my guess at something that would be
erroneous is "valid syntactically".  So now I know neither what the
comment about ambiguity refers to nor what the SRFI permits.

'shriram