Re: $$... parsing

[Alan Watson <alan@oldp.astro.wisc.edu>]

Harald writes:
> ; f4 = fee fie foe foo
> ; name = f4
> 
> Uh ... how to get foo starting from `name'?  Only solution I see is
> 
> ; echo <={let (x=$$name) result $x(4)}
> foo

Or more traditionally:

; list=$$name
; echo $list(4)
foo

> Maybe the parsing rules ought to be changed so that $$name(4) and
> $($name)(4) are parsed the same (and the latter the way I would have
> expected it to)?  

This still might be a good idea.