[r6rs-discuss] Import choices: flexibility vs. discoverability

[John Cowan]

Per Bothner scripsit:

> I think the best way to do this is to use LETREC* semantics, where
> a non-final <expression> is equivalent to
>   (define <unused> <expression>)

Okay, that's a plausible answer.

> (I would allow an implementation to catch such invalid
> forward references at compile-time, rather than evaluation-time,
> but that's a general issue of compile-time detection of
> program errors.)

I am not proposing a means of catching errors in small Scheme at
the present time.  I'll be happy to get a means of reporting errors
(viz. SRFI 23) into the standard.

-- 
John Cowan   cowan at ccil.org    http://ccil.org/~cowan
The known is finite, the unknown infinite; intellectually we stand
on an islet in the midst of an illimitable ocean of inexplicability.
Our business in every generation is to reclaim a little more land,
to add something to the extent and the solidity of our possessions.
        --Thomas Henry Huxley