login signup
syntax for inferred upper bound Peter McGoron (15 Apr 2026 11:37 UTC)
Re: syntax for inferred upper bound Wolfgang Corcoran-Mathe (15 Apr 2026 15:55 UTC)
Re: syntax for inferred upper bound Peter McGoron (15 Apr 2026 16:31 UTC)
Re: syntax for inferred upper bound Artyom Bologov (15 Apr 2026 23:21 UTC)
Re: syntax for inferred upper bound Bradley Lucier (16 Apr 2026 00:21 UTC)
Re: syntax for inferred upper bound John Cowan (16 Apr 2026 01:19 UTC)
Re: syntax for inferred upper bound Bradley Lucier (16 Apr 2026 01:27 UTC)
Re: syntax for inferred upper bound Bradley Lucier 16 Apr 2026 01:27 UTC 
On 4/15/26 21:19, John Cowan wrote:
> Lexical syntax is understood before macros are run, and macros can't
> generate them.  The only way to produce new objects at the lexical
> level is with `read`.

I don't know what this statement has to do with my suggestion.  "read"
can be programmed to recognize the syntax I described.

Brad